| Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning | 0 | 0.34 | 2019 |
| Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. | 1 | 0.35 | 2017 |
| Exhaustive test sets for algebraic specifications | 0 | 0.34 | 2016 |
| A Logic For Complex Computing Systems: Properties Preservation Along Integration And Abstraction | 0 | 0.34 | 2014 |
| Results for Compositional Timed Testing | 2 | 0.37 | 2013 |
| An Adequate Logic for Heterogeneous Systems | 1 | 0.37 | 2013 |
| A formal abstract framework for modelling and testing complex software systems | 9 | 0.58 | 2012 |
| Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems. | 7 | 0.61 | 2012 |
| Special issue on complex systems design and management. | 0 | 0.34 | 2012 |
| Embedding of Biological Regulatory Networks and Property Preservation. | 0 | 0.34 | 2011 |
| Proof-Guided Test Selection from First-Order Specifications with Equality | 3 | 0.38 | 2010 |
| Some General Results About Proof Normalization | 0 | 0.34 | 2010 |
| Integration Testing from Structured First-Order Specifications via Deduction Modulo | 0 | 0.34 | 2009 |
| Spatial Information and Boolean Genetic Regulatory Networks | 0 | 0.34 | 2009 |
| Symbolic Execution Techniques Extended to Systems | 2 | 0.41 | 2009 |
| Property Preservation along Embedding of Biological Regulatory Networks | 1 | 0.35 | 2008 |
| Emergent Properties in Reactive Systems | 2 | 0.41 | 2008 |
| A Formal Definition of Complex Software | 4 | 0.50 | 2008 |
| Test selection criteria for quantifier-free first-order specifications | 7 | 0.44 | 2007 |
| Stratified institutions and elementary homomorphisms | 8 | 0.47 | 2007 |
| An Institution-independent Proof of the Beth Definability Theorem | 9 | 0.51 | 2007 |
| Structures for Abstract Rewriting | 2 | 0.37 | 2007 |
| Specification-based testing for COCASL'S modal specifications | 1 | 0.35 | 2007 |
| Test Selection Criteria for Modal Specifications of Reactive Systems | 1 | 0.35 | 2007 |
| An Abstract Way to Define Rewriting Logic | 0 | 0.34 | 2006 |
| Automatic Generation of Functional Programs from CASL Specifications | 0 | 0.34 | 2006 |
| Feature specification and static analysis for interaction resolution | 4 | 0.44 | 2006 |
| Toward an automatic parallelization of sparse matrix computations | 0 | 0.34 | 2005 |
| A Temporal Logic for Input Output Symbolic Transition Systems | 6 | 0.64 | 2005 |
| Testing from algebraic specifications: test data set selection by unfolding axioms | 11 | 0.58 | 2005 |
| ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement | 2 | 0.36 | 2004 |
| Une approche générique de la réécriture. | 1 | 0.36 | 2003 |
| Feature logics and refinement | 2 | 0.44 | 2002 |
| On a Generalised Logicality Theorem | 5 | 0.42 | 2002 |
| Automatic Parallelization of Sparse Matrix Computations: A Static Analysis | 0 | 0.34 | 2000 |
| Algebraic Treatment Of Feature-Oriented Systems | 3 | 0.40 | 2000 |
| Label algebras and exception handling | 4 | 0.43 | 1994 |
