Delphine Longuet
From MaRDI portal
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
