| 1 |
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
|
|
|
|
In: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-01401849 ; 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus ; https://sites.google.com/site/fideworkshop2016/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Systematic generation of standard compliant tool support of diagrammatic modeling languages
|
|
|
|
In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) ; https://hal-cea.archives-ouvertes.fr/cea-01836563 ; 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.348-357, ⟨10.1109/MODELS.2015.7338266⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)
|
|
|
|
In: https://hal.inria.fr/hal-00983711 ; [Research Report] RR-8527, INRIA. 2014 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Instrumentation of annotated c programs for test generation
|
|
|
|
In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Semantic parameterization: A process for modeling domain descriptions
|
|
|
|
In: http://www4.ncsu.edu/~tdbreaux/publications/tdbreaux-tosem09.pdf (2008)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Rule-Based Software Verification and Correction.
|
|
|
|
In: Riunet (2008)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Specifying norm-governed computational societies
|
|
|
|
In: http://tocl.acm.org/accepted/304artikis.pdf (2007)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Formal Verification in the Polyhedral Model ; Vérification Formelle dans le Modèle Polyédrique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011522 ; Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français (2004)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
A formal foundation for process modeling
|
|
|
|
In: http://philebus.tamu.edu/cmenzel/Papers/FOIS-2001.pdf (2001)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A formal foundation for process modeling
|
|
|
|
In: http://philebus.tamu.edu/cmenzel/Papers/FOIS-2001.pdf (2001)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Languages and Problem Specification
|
|
|
|
In: Words, Sequences, Languages : Where Computer Science, Biology and Linguistics Meet ; https://hal.inria.fr/inria-00107844 ; Carlos Martin-Vide. Words, Sequences, Languages : Where Computer Science, Biology and Linguistics Meet, Kluwer Publishing House, 8 p, 2000 (2000)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
The Design and Implementation of a Syntax Directed Editor for the Specification Language Spec
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
High-Level Reliability Languages Using A General Intermediate Domain
|
|
In: http://www.cs.wm.edu/~coppit/wiki/images/4/41/hlrl_using_intermediate_domains.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
