List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Compositional schedulability analysis of real-time actor-based systems Acta Informatica | 2017-06-09 | Paper |
| Distributed testing of concurrent systems: vector clocks to the rescue Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
| Some general results about proof normalization Logica Universalis | 2013-01-25 | Paper |
| Conformance relations for labeled event structures Tests and Proofs | 2012-07-20 | Paper |
| Proof-guided test selection from first-order specifications with equality Journal of Automated Reasoning | 2011-01-12 | Paper |
| Integration Testing from Structured First-Order Specifications via Deduction Modulo Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
| Specification-Based Testing for CoCasl’s Modal Specifications Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
| Test Selection Criteria for Quantifier-Free First-Order Specifications Lecture Notes in Computer Science | 2008-07-01 | Paper |
Research outcomes over time
This page was built for person: Delphine Longuet
