-
1
المؤلفون: Groote, J.F., Wijs, A.J., Chechik, M., Raskin, J.-F.
المساهمون: Mathematics and Computer Science, Software Engineering and Technology, Formal System Analysis
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACAS
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, 607-624
STARTPAGE=607;ENDPAGE=624;TITLE=Tools and Algorithms for the Construction and Analysis of Systemsمصطلحات موضوعية: Discrete mathematics, Branching bisimulation, Kripke structure, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Space (mathematics), Binary logarithm, 01 natural sciences, Combinatorics, Orders of magnitude (bit rate), 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Time complexity, Stuttering equivalence, Algorithm, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cf02b61a4d0e9b642b1eb3bd154549d
http://www.scopus.com/inward/record.url?scp=84964057222&partnerID=8YFLogxK -
2
المؤلفون: Wijs, A.J.
المساهمون: Fokkink, Wan, van de Pol, J.C., Theoretical Computer Science
مصطلحات موضوعية: timed branching bisimilarity, scheduling, state space searching, timed process algebra, Model Checking
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::03ae1fb1e55e1b7436494eaa53f64da6
https://research.vu.nl/en/publications/4b2024ab-f24d-4812-9a5c-835a5304cf61 -
3
المؤلفون: Wijs, A.J., Engelen, L.J.P., Badger, J.M., Rozier, K.Y.
المساهمون: Computational Biology
المصدر: Lecture Notes in Computer Science ISBN: 9783319061993
NASA Formal Methods
NASA Formal Methods (6th International Symposium, NFM 2014, Houston TX, USA, April 29-May 1, 2014. Proceedings), 258-263
STARTPAGE=258;ENDPAGE=263;TITLE=NASA Formal Methods (6th International Symposium, NFM 2014, Houston TX, USA, April 29-May 1, 2014. Proceedings)مصطلحات موضوعية: Model checking, System development, Engineering drawing, Source code, Computer science, Semantics (computer science), Programming language, media_common.quotation_subject, Liveness, computer.software_genre, Development (topology), Refining, Formal verification, computer, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0aeb5cfe915fb56975ec7fc370b5bc0
https://doi.org/10.1007/978-3-319-06200-6_21 -
4
المؤلفون: Wijs, A.J., Bosnacki, D., Edelkamp, S.
المساهمون: Algorithms, Geometry and Applications, Computational Biology, Sectie Softwaretechnologie
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::135a5d8e4ab99f32384a404010f04e08
https://research.tue.nl/nl/publications/703157f1-3658-48cf-be16-a9ebde23305d -
5
المؤلفون: Wijs, A.J., Pol, van de, J.C., Bortnik, E., Margaria, T., Massink, M.
المساهمون: Computational Biology
المصدر: International journal on software tools for technology transfer, 11(5):10.1007/s10009-009-0110-9, 375-392. Springer
Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005), 54-61
STARTPAGE=54;ENDPAGE=61;TITLE=Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005)
International Journal on Software Tools for Technology Transfer, 11(5):375, 375-392. Springer
Scopus-Elsevierمصطلحات موضوعية: Rate-monotonic scheduling, Model checking, Theoretical computer science, Computer science, Scheduling, Process calculus, Analyser, EWI-15882, METIS-263973, Dynamic priority scheduling, Specification language, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS, Round-robin scheduling, FMT-MC: MODEL CHECKING, Fair-share scheduling, Scheduling (computing), Distributed algorithm, Two-level scheduling, Beam search, Batch production, IR-67846, Algorithm, Software, Information Systems
وصف الملف: application/pdf; application/octet-stream
-
6
المؤلفون: Bosnacki, D., Katoen, J.P., Wijs, A.J., Biere, A., Bloem, R.
المساهمون: Computational Biology
المصدر: Computer Aided Verification (26th International Conference, CAV 2014, Vienna, Austria, July 18-22, 2014. Proceedings), 310-326
STARTPAGE=310;ENDPAGE=326;TITLE=Computer Aided Verification (26th International Conference, CAV 2014, Vienna, Austria, July 18-22, 2014. Proceedings)
Computer Aided Verification ISBN: 9783319088662
CAVمصطلحات موضوعية: Modular decomposition, Strongly connected component, Mathematical optimization, Theoretical computer science, Computer science, Stochastic game, Probabilistic logic, Parallel algorithm, Markov decision process, Central processing unit, Graphics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::920af60f5aa650a1bb9ca1c5cbee7032
https://research.tue.nl/en/publications/7d128736-4091-46d5-9217-848b935c7acc -
7
المؤلفون: Torabi Dashti, M., Wijs, A.J., Namjoshi, K.S.
المساهمون: Computational Biology, Formal System Analysis, Specification and Analysis of Embedded Systems
المصدر: Proceedings of the 5th International Symposium of Automated Technology for Verification and Analysis, 543-552
STARTPAGE=543;ENDPAGE=552;TITLE=Proceedings of the 5th International Symposium of Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis ISBN: 9783540755951
ATVAمصطلحات موضوعية: Incremental heuristic search, Theoretical computer science, State space search, Search algorithm, Beam stack search, Combinatorial search, Beam search, Physics::Accelerator Physics, Best-first search, Iterative deepening depth-first search, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c18f29b3b87abb6b2c5800bd357f5724
https://research.tue.nl/nl/publications/2309bfb7-42d4-4db4-83b8-cf394dc20e7b -
8
المؤلفون: Wijs, A.J., Neele, T.S., Majumdar, R., Kunčak, V.
المساهمون: Software Engineering and Technology
المصدر: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, 570-590
STARTPAGE=570;ENDPAGE=590;TITLE=Computer Aided Verification
Computer Aided Verification ISBN: 9783319633862
CAV (1)مصطلحات موضوعية: Model checking, Correctness, Series (mathematics), Computer science, Property (programming), 020207 software engineering, 02 engineering and technology, 0202 electrical engineering, electronic engineering, information engineering, State space, 020201 artificial intelligence & image processing, Temporal logic, Point (geometry), Algorithm, Counterexample
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa38a68094f1191e281c6b22bba6da1e
https://research.tue.nl/nl/publications/31781f6c-89bc-4105-92e5-8b1a0779814c -
9
المؤلفون: Zhang, D., Bosnacki, D., Brand, van den, M.G.J., Engelen, L.J.P., Huizing, C., Kuiper, R., Wijs, A.J., Dingel, J., Lara, de, J., Lúcio, L., Vangheluwe, H.
المساهمون: Algorithms, Geometry and Applications, Computational Biology, Software Engineering and Technology
المصدر: Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)), 64-69
STARTPAGE=64;ENDPAGE=69;TITLE=Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::3387539116633f7dcb30667e1f6b22ab
https://research.tue.nl/nl/publications/98622e25-b6c5-4602-99cd-fffcffeeb2d6 -
10
المؤلفون: Engelen, L.J.P., Wijs, A.J.
المساهمون: Computational Biology, Sectie Softwaretechnologie
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::37f821d2ec1ffb258cf376ee829eddd1
https://research.tue.nl/nl/publications/7c380ba8-483d-4a6c-9121-cdb3922fa202