Nombre de documents trouvés : 16 documents

1 - 2

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics Combemale B., Gonnord L., Rusu V. in Modelling Foundations and Applications, 7th European Conference, ECMFA 2011, Birmingham United Kingdom, June 6-9, 2011. Proceedings - Seventh European Conference on Modelling Foundations and Applications, United Kingdom (2011) [hal-00593425 - version 1]

Using Bounded Model Checking to Focus Fixpoint Iterations Monniaux D., Gonnord L. in Static analysis - Static analysis symposium (SAS), Italy (2011) [hal-00600087 - version 1]

Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems Gamatié A., Gonnord L. ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, États-Unis (2011) [inria-00586137 - version 1]

Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics Rusu V., Gonnord L., Combemale B. Rapport de recherche (2010) [inria-00526561 - version 1]

Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings Alias C., Darte A., Feautrier P., Gonnord L. Rapport de recherche (2010) 32 [inria-00464356 - version 1]

Accelerated Invariant Generation for C Programs with Aspic and C2fsm Feautrier P., Gonnord L. in . - Tools for Automatic Program AnalysiS, France (2010) [inria-00523320 - version 1]

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs Alias C., Darte A., Feautrier P., Gonnord L. Static Analysis Symposium, France (2010) [inria-00523298 - version 1]

Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions Alias C., Darte A., Feautrier P., Gonnord L., Quinson C. Rapport de recherche (2009) 31 [inria-00434037 − version 1]

Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems Gonnord L., Babau J.-P. AICCSA (2009) [inria-00349918 − version 2]

Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture Gonnord L., Babau J.-P. Rapport de recherche (2008) [inria-00289937 − version 2]

1 - 2

L'URL de cette page est : http://hal.archives-ouvertes.fr/aut/gonnord/