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 Seventh European Conference on Modelling Foundations and Applications 6698 (2011) 35-51 [hal-00593425 - version 1]

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

Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems Gamatié A., Gonnord L. Dans ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011 (2011) 71-80 [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. N° RR-7423 (2010) [inria-00526561 - version 1]

Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings Alias C., Darte A., Feautrier P., Gonnord L. N° RR-7235 (2010) [inria-00464356 - version 1]

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

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs Alias C., Darte A., Feautrier P., Gonnord L. Dans Static Analysis Symposium (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. (2009) [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. N° RR-6565 (2008) [inria-00289937 − version 2]

1 - 2

L'URL de cette page est : http://hal.inria.fr/aut/gonnord/