Search by documents

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01403585v1 Conference papers Jon Haël Brenas, Rachid Echahed, Martin 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 Brenas, Rachid Echahed, Martin 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-01403183v1 Conference papers Jon Haël Brenas, Rachid Echahed, Martin Strecker. Proving Correctness of Logically Decorated Graph Rewriting Systems FSCD 2016, 2016, Porto, Portugal
	hal-02559762v1 Conference papers Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin 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 Chaabani, Rachid Echahed, Martin 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 Baklanova, Martin 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 Giorgino, Martin Strecker, Ralph Matthes, Marc 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 Bodeveix, David Chemouil, M Filali, Martin 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-02080552v1 Conference papers Jon Haël Brenas, Rachid Echahed, Martin Strecker. Verifying Graph Transformation Systems with Description Logics ICGT 2018, 2018, Toulouse, France. pp.155-170, ⟨10.1007/978-3-319-92991-0_10⟩
	hal-02270296v1 Conference papers Nassima Izerrouken, Xavier Thirioux, Marc Pantel, Martin Strecker. Certifying an Automated Code Generator Using Formal Tools: Preliminary experiments in the GeneAuto project. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
	hal-02267722v1 Conference papers Alexandre Cortier, Jean-Paul Bodeveix, M Filali, G. Garcia, E. 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 Strecker, Mathieu 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 Kolomeets, Amira Benachour, Didier El Baz, Andrey Chechulin, Martin 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-00624134v1 Conference papers Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix et al. Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
	hal-01264523v1 Conference papers Selma Djeddai, Mohamed Mezghiche, Martin 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 Brenas, Rachid Echahed, Martin 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-02080548v1 Journal articles Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad. Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance IEEE Access, IEEE, 2018, 6, pp.64728-64741. ⟨10.1109/ACCESS.2018.2878311⟩
	hal-01402040v1 Conference papers Jon Brenas, Rachid Echahed, Martin 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 Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien 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 Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin 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 Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin 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 Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin 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 Percebois, Martin Strecker, Hanh 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 Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien 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
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Search by documents

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

CONTACT