Skip to Main content Skip to Navigation

Search by documents

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-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-02559762v1  Conference papers
Amani MakhloufHanh Nhi TranChristian PerceboisMartin Strecker. Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations
International Conference on Tests and Proofs (TAP 2016), Jul 2016, Vienna, Austria. pp.183-190
hal-00944370v1  Conference papers
Mohamed ChaabaniRachid EchahedMartin Strecker. Logical Foundations for Reasoning about Transformations of Knowledge Bases
International Workshop on Description Logics, 2013, Ulm, Germany. pp.616-627
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-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-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilM 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-02267722v1  Conference papers
Alexandre CortierJean-Paul BodeveixM FilaliG. GarciaE. Morand et al.  Synoptic: a DSML for On-Board Real-Time Software Design
5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), May 2010, Toulouse, France
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-02443865v1  Journal articles
Maxim KolomeetsAmira BenachourDidier El BazAndrey ChechulinMartin Strecker et al.  Reference architecture for social networks graph analysis tool
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Innovative Information Science & Technology Research Group (ISYOU), 2019, 10 (4), pp.109-125. ⟨10.22667/JOWUA.2019.12.31.109⟩
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-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-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-02879713v1  Conference papers
Nadezhda BaklanovaJon Haël BrenasAmani MakhloufChristian PerceboisMartin Strecker et al.  Coding, Executing and Verifying Graph Transformations with small-tALCQe
International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), Jul 2016, Vienna, Austria. pp.1-15
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-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-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-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