-
1
المؤلفون: Timo Kehrer, Ji Wang, Minxing Tang, Pavel Parizek, Elena Sherman, Eric Mercer, Peter Aldous, Zhenbang Chen, Ismet Burak Kadron, Koushik Sen, Tevfik Bultan, Yannic Noller, Hoang Lam Nguyen, Cyrille Artho, Benjamin M. Ogles, Kyle Storey, Joshua Hooker, Lucas Bang, Egor Namakonov, Alyas Almaawi, Hengbiao Yu, Lars Grunske, Corina S. Păsăreanu, Seemanta Saha, S. Jacob Powell, Willem Visser, William Eiers, Sarfraz Khurshid, David Lo, Quoc-Sang Phan, Xuan-Bach D. Le, Wei Dong, Rohan Padhye, Simon Goldsmith, Hayes Converse, Lasse Berglund, Sasa Misailovic, Milos Gligoric
المصدر: ACM SIGSOFT Software Engineering Notes. 45:20-22
مصطلحات موضوعية: Software model checker, Java, Computer science, business.industry, 020207 software engineering, Java bytecode, 02 engineering and technology, General Medicine, Program analysis, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Java pathfinder, State (computer science), Android (operating system), Software engineering, business, computer, PATH (variable), computer.programming_language
-
2
المؤلفون: Andrej Čižmárik, Pavel Parizek
المصدر: Runtime Verification ISBN: 9783030605070
RVمصطلحات موضوعية: Source code, business.operation, Computer science, Programming language, Interface (Java), Concurrency, media_common.quotation_subject, computer.software_genre, Monitoring program, Roadrunner, Middleware (distributed applications), Plug-in, Instrumentation (computer programming), business, computer, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8518781713ccbb3eb2a764777d6e5eb8
https://doi.org/10.1007/978-3-030-60508-7_16 -
3
المؤلفون: Pavel Parizek, Roman Kápl
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030452360
TACAS (2)مصطلحات موضوعية: Theoretical computer science, Computer science, Order (business), Endianness, Numeric data, Representation (systemics), Byte
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7431a332a6996e268ae9c4406bd8f9cb
https://doi.org/10.1007/978-3-030-45237-7_15 -
4
المؤلفون: Ondřej Lhoták, Pavel Parizek
المصدر: International Journal on Software Tools for Technology Transfer. 21:365-400
مصطلحات موضوعية: Java, Backtracking, Computer science, Concurrency, 020207 software engineering, 02 engineering and technology, Thread (computing), Tree traversal, Theory of computation, 0202 electrical engineering, electronic engineering, information engineering, Standard algorithms, Error detection and correction, Algorithm, computer, Software, Information Systems, computer.programming_language
-
5
المؤلفون: Pavel Parizek
المصدر: Automated Technology for Verification and Analysis ISBN: 9783030317836
ATVAمصطلحات موضوعية: 050101 languages & linguistics, Java, Computer science, business.industry, 05 social sciences, 02 engineering and technology, Thread (computing), Scalability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Software system, Software engineering, business, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4fd147ecaa5689fd263336af5dfb2338
https://doi.org/10.1007/978-3-030-31784-3_13 -
6
المؤلفون: Eric Mercer, Kyle Storey, Egor Namakonov, Pavel Parizek
المصدر: ACM SIGSOFT Software Engineering Notes. 44:18-18
مصطلحات موضوعية: Race (biology), Computer science, Gender studies, General Medicine
-
7
المؤلفون: Kyle Storey, Eric Mercer, Pavel Parizek
المصدر: ACM SIGSOFT Software Engineering Notes. 44:15-15
مصطلحات موضوعية: Model checking, Java, Interface (Java), Computer science, 020207 software engineering, 02 engineering and technology, General Medicine, Parallel computing, Scheduling (computing), Set (abstract data type), Partial order reduction, 0202 electrical engineering, electronic engineering, information engineering, Overhead (computing), 020201 artificial intelligence & image processing, State (computer science), computer, computer.programming_language
-
8
المؤلفون: Ondřej Lhoták, Pavel Parizek
المصدر: Science of Computer Programming. 98:735-763
مصطلحات موضوعية: Model checking, Java, Programming language, Computer science, Concurrency, Thread (computing), Static analysis, computer.software_genre, Partial order reduction, Scalability, computer, Software, computer.programming_language, Heap (data structure)
-
9
المؤلفون: Jakub Daniel, Pavel Parizek, Corina S. Păsăreanu
المصدر: ACM SIGSOFT Software Engineering Notes. 39:1-5
مصطلحات موضوعية: Statement (computer science), Theoretical computer science, Computer science, Programming language, General Medicine, Extension (predicate logic), computer.software_genre, Data type, Predicate (grammar), Pathfinder, Predicate abstraction, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Aliasing (computing), computer, Abstraction (linguistics)
-
10
المؤلفون: Pavel Parizek
المصدر: 2016 Formal Methods in Computer-Aided Design (FMCAD).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cbe2f00a4b689dba2f07f093ee7b825e
https://doi.org/10.1109/fmcad.2016.7886672