Hernán Ponce de León

Stefan Winter

Dagstuhl Artifacts Ser., 2023

2022

CAAT: consistency as a theory.

[BibT_eX]

[DOI]

Thomas Haas

Proc. ACM Program. Lang., 2022

Dartagnan: SMT-based Violation Witness Validation (Competition Contribution).

[BibT_eX]

[DOI]

Thomas Haas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks.

[BibT_eX]

[DOI]

Rafael Lourenco de Lima Chehab

Johannes Kinder

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models.

[BibT_eX]

[DOI]

Ming Fu

CoRR, 2021

Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution).

[BibT_eX]

[DOI]

Thomas Haas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account.

[BibT_eX]

[DOI]

Pierre Bouvier

Hubert Garavel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Incorporating negative information to process discovery of complex systems.

[BibT_eX]

[DOI]

Seppe K. L. M. vanden Broucke

Lucio Nardelli

Josep Carmona

Inf. Sci., 2018

Compact and efficiently verifiable models for concurrent systems.

[BibT_eX]

[DOI]

Andrey Mokhov

Formal Methods Syst. Des., 2018

BMC with Memory Models as Modules.

[BibT_eX]

[DOI]

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Minimizing Test Suites with Unfoldings of Multithreaded Programs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models.

[BibT_eX]

[DOI]

CoRR, 2017

Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Model-based testing for concurrent systems: unfolding-based test selection.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

2015

Distributed Analysis for Diagnosability in Concurrent Systems.

[BibT_eX]

[DOI]

Gonzalo Bonigo

Laura Brandán Briones

CoRR, 2015

Distributed Diagnosability Analysis with Petri Nets.

[BibT_eX]

[DOI]

Laura Brandán Briones

Agnes Madalinski

CoRR, 2015

Test Case Generation for Concurrent Systems Using Event Structures.

[BibT_eX]

[DOI]

Konstantinos Athanasiou

Stefan Schwoon

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Building Bridges Between Sets of Partial Orders.

[BibT_eX]

[DOI]

Andrey Mokhov

Proceedings of the Language and Automata Theory and Applications, 2015

POD - A Tool For Process Discovery Using Partial Orders and Independence Information.

[BibT_eX]

[DOI]

César Rodríguez

Josep Carmona

Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Incorporating Negative Information in Process Discovery.

[BibT_eX]

[DOI]

Seppe K. L. M. vanden Broucke

Josep Carmona

Proceedings of the Business Process Management - 13th International Conference, 2015

Unfolding-Based Process Discovery.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

Unfolding Based Minimal Test Suites for Testing Multithreaded Programs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Testing concurrent systems through event structures. (Test de systèmes concurrents à l'aide de structures d'événements).

[BibT_eX]

[DOI]

PhD thesis, 2014

Model-based testing for concurrent systems with labelled event structures.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Unfolding-Based Test Selection for Concurrent Conformance.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2013

2012

Conformance Relations for Labeled Event Structures.

[BibT_eX]

[DOI]