24 results  save search


...
hal-01178554v1  Conference papers
Christian PerceboisMartin StreckerHanh Nhi Tran. Rule-level verification of graph transformations for invariants based on edges' transitive closure
11th International Conference Software Engineering and Formal Methods (SEFM 2013), Sep 2013, Madrid, Spain. pp. 106-121
...
hal-01517373v1  Conference papers
Nadezhda BaklanovaJon Haël BrenasRachid EchahedChristian PerceboisMartin Strecker et al.  Provably correct graph transformations with small-tALC
11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp. 78-93
hal-02084211v1  Conference papers
Jon Haël BrenasRachid EchahedMartin Strecker. Verifying Graph Transformations with Guarded Logics
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), Aug 2018, Guangzhou, China. pp.124-131, ⟨10.1109/TASE.2018.00024⟩
...
hal-01402040v1  Conference papers
Jon BrenasRachid EchahedMartin Strecker. A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
hal-01403216v1  Conference papers
Jon Haël BrenasRachid EchahedMartin Strecker. On the Closure of Description Logics under Substitutions
Description Logics, 2016, Cape Town, South Africa
hal-02080556v1  Conference papers
Jon Haël BrenasRachid EchahedMartin Strecker. Verifying Graph Transformations with Guarded Logics
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), Aug 2018, Guangzhou, China. pp.124-131, ⟨10.1109/TASE.2018.00024⟩
...
hal-01403585v1  Conference papers
Jon Haël BrenasRachid EchahedMartin Strecker. Ensuring Correctness of Model Transformations While Remaining Decidable
Theoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
hal-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun FilaliMartin Strecker. Towards formalising AADL in Proof Assistants
Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩
hal-00788450v1  Conference papers
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain specific modeling language for embedded flight-software
FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
...
inria-00091666v1  Conference papers
Martin StreckerMathieu Giorgino. Towards a Formalisation of Graph Transformations in Proof Assistants
Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.178-183
...
hal-01782563v1  Conference papers
Nadezhda BaklanovaWilmer RicciottiJan-Georg SmausMartin Strecker. Abstracting an Operational Semantics to Finite Automata
11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp. 109-123
...
hal-00601440v1  Conference papers
Mathieu GiorginoMartin StreckerRalph MatthesMarc Pantel. Verification of the Schorr-Waite Algorithm - From Trees to Graphs
Logic-Based Program Synthesis and Transformation, Jul 2010, Hagenberg, Austria. pp.67-83, ⟨10.1007/978-3-642-20551-4_5⟩
hal-02061818v1  Book sections
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain-specific modeling language for space on-board application software
Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
...
hal-01264523v1  Conference papers
Selma DjeddaiMohamed MezghicheMartin Strecker. A case study in combining formal verification and model-driven engineering
International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2012) in : 8th International Conference on ICT in Education, Research, and Industrial Applications - ICTERI 2012, Jun 2012, Kherson, Ukraine. pp.275-289
...
hal-01264525v1  Conference papers
Nadezhda BaklanovaMartin Strecker. Abstraction and Verification of Properties of a Real-Time Java
8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18
...
hal-02089261v1  Conference papers
Jon Haël BrenasRachid EchahedMartin Strecker. On the Closure of Description Logics under Substitutions
29th International Workshop on Description Logics (DL 2016), Apr 2016, Cape Town, South Africa. pp.1-12
hal-00944370v1  Conference papers
Mohamed ChaabaniRachid EchahedMartin Strecker. Logical Foundations for Reasoning about Transformations of Knowledge Bases
International Workshop on Description Logics, 2013, Germany. pp.616-627