P. Parízek, L. Hermann:
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners, in 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE 2024 - SEIP), pp. 25-35, 2024
DOI: 10.1145/3639477.3639739
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners, in 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE 2024 - SEIP), pp. 25-35, 2024
DOI: 10.1145/3639477.3639739
C. Artho, P. Parízek, D. Qu, V. Galgali, P. Yi:
JPF: From 2003 to 2023, in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), pp. 3-22, 2024
DOI: 10.1007/978-3-031-57249-4_1
JPF: From 2003 to 2023, in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), pp. 3-22, 2024
DOI: 10.1007/978-3-031-57249-4_1
V. Dort, Y. Li, O. Lhoták, P. Parízek:
Pure Methods for roDOT, in 38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 13:1-13:29, 2024
DOI: 10.4230/LIPICS.ECOOP.2024.13
Pure Methods for roDOT, in 38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 13:1-13:29, 2024
DOI: 10.4230/LIPICS.ECOOP.2024.13
V. Dort, L. Yufeng, O. Lhoták, P. Parízek:
Pure methods for roDOT (an extended version), Technical report no. D3S-TR-2024-01, Department of Distributed and Dependable Systems, Charles University, 2024
Pure methods for roDOT (an extended version), Technical report no. D3S-TR-2024-01, Department of Distributed and Dependable Systems, Charles University, 2024
P. Parízek, F. Kliber:
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs, in Proceedings of JPF Workshop 2022, pp. 27-31, 2023
DOI: 10.1145/3573074.3573082
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs, in Proceedings of JPF Workshop 2022, pp. 27-31, 2023
DOI: 10.1145/3573074.3573082
P. Parízek, F. Kliber:
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads, Technical report no. D3S-TR-2022-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-15, 2022
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads, Technical report no. D3S-TR-2022-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-15, 2022
R. Kápl, P. Parízek:
Endicheck: Dynamic Analysis for Detecting Endianness Bugs, in Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), pp. 254-270, 2020
DOI: 10.1007/978-3-030-45237-7_15
Endicheck: Dynamic Analysis for Detecting Endianness Bugs, in Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), pp. 254-270, 2020
DOI: 10.1007/978-3-030-45237-7_15
A. Čižmárik, P. Parízek:
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs, in Proceedings of the 20th International Conference on Runtime Verification (RV 2020), pp. 298-309, 2020
DOI: 10.1007/978-3-030-60508-7_16
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs, in Proceedings of the 20th International Conference on Runtime Verification (RV 2020), pp. 298-309, 2020
DOI: 10.1007/978-3-030-60508-7_16
K. Storey, E. Mercer, P. Parízek:
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder, in ACM SIGSOFT Software Engineering Notes 44(4), 2019
DOI: 10.1145/3364452.3364457
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder, in ACM SIGSOFT Software Engineering Notes 44(4), 2019
DOI: 10.1145/3364452.3364457
P. Parízek:
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment, in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), pp. 228-245, 2019
DOI: 10.1007/978-3-030-31784-3_13
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment, in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), pp. 228-245, 2019
DOI: 10.1007/978-3-030-31784-3_13
P. Parízek, O. Lhoták:
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking, in International Journal on Software Tools for Technology Transfer 21(4), pp. 365-400, 2019
DOI: 10.1007/s10009-018-0484-7
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking, in International Journal on Software Tools for Technology Transfer 21(4), pp. 365-400, 2019
DOI: 10.1007/s10009-018-0484-7
P. Vysoký, P. Parízek, V. Pech:
INGRID: Creating Languages in MPS from ANTLR Grammars, Technical report no. D3S-TR-2018-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-18, 2018
INGRID: Creating Languages in MPS from ANTLR Grammars, Technical report no. D3S-TR-2018-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-18, 2018
R. Al-Ali, T. Bureš, B. Hartmann, J. Havlik, R. Heinrich, P. Hnětynka, A. Juan-Verdejo, P. Parízek, S. Seifermann, M. Walter:
Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems, Technical report no. 1000085169, Karlsruher Institut für Technologie, pp. 1-42, 2018
Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems, Technical report no. 1000085169, Karlsruher Institut für Technologie, pp. 1-42, 2018
P. Parízek:
Fast Error Detection with Hybrid Analyses of Future Accesses, in Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 1251–1254, 2016
DOI: 10.1145/2851613.2851935
Fast Error Detection with Hybrid Analyses of Future Accesses, in Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 1251–1254, 2016
DOI: 10.1145/2851613.2851935
P. Parízek:
Hybrid Analysis for Partial Order Reduction of Programs with Arrays, in Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 291–310, 2016
DOI: 10.1007/978-3-662-49122-5_14
Hybrid Analysis for Partial Order Reduction of Programs with Arrays, in Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 291–310, 2016
DOI: 10.1007/978-3-662-49122-5_14
P. Parízek:
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information, in 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 141–148, 2016
DOI: 10.1109/FMCAD.2016.7886672
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information, in 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 141–148, 2016
DOI: 10.1109/FMCAD.2016.7886672
P. Parízek, O. Lhoták:
Model Checking of Concurrent Programs with Static Analysis of Field Accesses, in Sci. Comput. Program. 98, pp. 735–763, 2015
DOI: 10.1016/j.scico.2014.10.008
Model Checking of Concurrent Programs with Static Analysis of Field Accesses, in Sci. Comput. Program. 98, pp. 735–763, 2015
DOI: 10.1016/j.scico.2014.10.008
J. Daniel, P. Parízek:
PANDA: Simultaneous Predicate Abstraction and Concrete Execution, in Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 87–103, 2015
DOI: 10.1007/978-3-319-26287-1_6
PANDA: Simultaneous Predicate Abstraction and Concrete Execution, in Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 87–103, 2015
DOI: 10.1007/978-3-319-26287-1_6
P. Jančík, P. Parízek, J. Kofroň:
BeJC: Checking Compliance Between Java Implementation and Behavior Specification, in Proceedings of WCOP 2014, pp. 31–36, 2012
ISBN: 978-1-4503-1348-3, DOI: 10.1145/2304676.2304683
BeJC: Checking Compliance Between Java Implementation and Behavior Specification, in Proceedings of WCOP 2014, pp. 31–36, 2012
ISBN: 978-1-4503-1348-3, DOI: 10.1145/2304676.2304683
J. Kofroň, P. Jančík, P. Parízek:
Refinement between TBP and Java Implementation of Components, Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University, 2011
Refinement between TBP and Java Implementation of Components, Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University, 2011
P. Parízek, F. Plášil:
Assume-guarantee verification of software components in SOFA 2 framework., in IET Software 4(3), pp. 210-211, 2010
DOI: 10.1049/iet-sen.2009.0016
Assume-guarantee verification of software components in SOFA 2 framework., in IET Software 4(3), pp. 210-211, 2010
DOI: 10.1049/iet-sen.2009.0016
J. Kofroň, P. Parízek, O. Šerý:
On Teaching Formal Methods: Behavior Models and Code Analysis, in Proceedings of TFM 2009, pp. 144-157, 2009
ISBN: 978-3-642-04912-5, DOI: 10.1007/978-3-642-04912-5_10
On Teaching Formal Methods: Behavior Models and Code Analysis, in Proceedings of TFM 2009, pp. 144-157, 2009
ISBN: 978-3-642-04912-5, DOI: 10.1007/978-3-642-04912-5_10
L. Bulej, T. Bureš, T. Coupaye, M. Děcký, P. Ježek, P. Parízek, F. Plášil, T. Poch, N. Rivierre, O. Šerý, P. Tůma:
CoCoME in Fractal, in The Common Component Modeling Example, pp. 357-387, 2008
ISBN: 978-3-540-85288-9 978-3-540-85289-6
CoCoME in Fractal, in The Common Component Modeling Example, pp. 357-387, 2008
ISBN: 978-3-540-85288-9 978-3-540-85289-6
T. Bureš, M. Děcký, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Šerý, P. Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
P. Parízek, F. Plášil:
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities., in Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 2-21, 2008
DOI: 10.1007/978-3-540-69824-1_2
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities., in Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 2-21, 2008
DOI: 10.1007/978-3-540-69824-1_2
T. Bureš, M. Decky, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Sery, P. Tůma:
CoCoME in SOFA 2.0, in Intel 12th EMEA Academic Forum, 2007
CoCoME in SOFA 2.0, in Intel 12th EMEA Academic Forum, 2007
P. Parízek, F. Plášil:
Modeling Environment for Component Model Checking from Hierarchical Architecture., in Electr. Notes Theor. Comput. Sci. 182, pp. 139-153, 2007
DOI: 10.1016/j.entcs.2006.09.036
Modeling Environment for Component Model Checking from Hierarchical Architecture., in Electr. Notes Theor. Comput. Sci. 182, pp. 139-153, 2007
DOI: 10.1016/j.entcs.2006.09.036
P. Parízek, F. Plášil:
Partial Verification of Software Components: Heuristics for Environment Construction., in 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 75-82, 2007
DOI: 10.1109/EUROMICRO.2007.46
Partial Verification of Software Components: Heuristics for Environment Construction., in 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 75-82, 2007
DOI: 10.1109/EUROMICRO.2007.46
P. Parízek, F. Plášil:
Specification and Generation of Environment for Model Checking of Software Components., in Electr. Notes Theor. Comput. Sci. 176(2), pp. 143-154, 2007
DOI: 10.1016/j.entcs.2006.02.036
Specification and Generation of Environment for Model Checking of Software Components., in Electr. Notes Theor. Comput. Sci. 176(2), pp. 143-154, 2007
DOI: 10.1016/j.entcs.2006.02.036
J. Kofroň, J. Adamek, T. Bureš, P. Ježek, V. Mencl, P. Parízek, F. Plášil:
Checking Fractal Component Behavior Using Behavior Protocols, in the 5th Fractal Workshop - part of ECOOP, 2006
Checking Fractal Component Behavior Using Behavior Protocols, in the 5th Fractal Workshop - part of ECOOP, 2006
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. Plášil:
Component reliability extensions for fractal component model, Technical report no. XX/2006, Institute of Computer Science Academy of Sciences of the Czech Republic & France Telecom, 2006
Component reliability extensions for fractal component model, Technical report no. XX/2006, Institute of Computer Science Academy of Sciences of the Czech Republic & France Telecom, 2006
P. Parízek, F. Plášil, J. Kofroň:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, in Proceedings of SEW 2006, pp. 133-141, 2006
ISBN: 0-7695-2624-1, DOI: 10.1109/SEW.2006.23
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, in Proceedings of SEW 2006, pp. 133-141, 2006
ISBN: 0-7695-2624-1, DOI: 10.1109/SEW.2006.23
P. Parízek, F. Plášil, J. Kofroň:
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker, Technical report no. 2006/02, Department of Software Engineering, Charles University, 2006
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker, Technical report no. 2006/02, Department of Software Engineering, Charles University, 2006
J. Adamek, T. Bureš, P. Ježek, J. Kofroň, V. Mencl, P. Parízek, F. Plášil:
Real-life Behavior Specification of Software Components, in The 11th EMEA Academic Forum, Dublin, Ireland, 2006
Real-life Behavior Specification of Software Components, in The 11th EMEA Academic Forum, Dublin, Ireland, 2006