Publications of Martin STRECKER
Maxim Kolomeets, Amira Benachour, Didier El Baz, Andrey Chechulin, Martin Strecker, Igor Kotenko
Reference architecture for social networks graph analysis tool
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2019, 10 (4), pp.109-125. ⟨10.22667/JOWUA.2019.12.31.109⟩
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Reasoning Formally About Database Queries and Updates
Lecture Notes in Computer Science, 2019, pp.556-572. ⟨10.1007/978-3-030-30942-8_33⟩
Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad
Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance
IEEE Access, 2018, 6, pp.64728-64741. ⟨10.1109/ACCESS.2018.2878311⟩
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 141, pp. 153-169, August 2005.
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⟩
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⟩
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⟩
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
Nadezhda Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin Strecker, Hanh Nhi Tran
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
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
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Proving Correctness of Logically Decorated Graph Rewriting Systems
FSCD 2016, 2016, Porto, Portugal
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, ⟨10.1007/978-3-319-30246-1_7⟩
Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
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
Jon Haël 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⟩
Christian Percebois, Martin Strecker, Hanh Nhi Tran
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (regular paper)
In : Software Engineering and Formal Methods, Madrid, Spain, 25/09/13-27/09/13, Vol. 8137, Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (Eds.), Springer, Lecture Notes in Computer Science, pp. 106-121, September 2013.
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
A Case Study in Combining Formal Verification and Model-Driven Engineering (regular paper)
In : Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2012), Kherson, 06/06/12-10/06/12, Vol. 848, CEUR-WS : Workshop proceedings, pp. 275-289, 2013.
URL : http://www.irit.fr/~Martin.Strecker/Publications/smsv2012.html – https://oatao.univ-toulouse.fr/12409/
BibTeXNadezhda Baklanova, Martin Strecker
Abstraction and Verification of Properties of a Real-Time Java (regular paper)
In : ICT in Education, Research, and Industrial Applications, Kherson, 06/06/12-10/06/12, Springer, pp. 1-18, 2013.
URL : http://www.irit.fr/~Martin.Strecker/Publications/icteri2012.html – https://oatao.univ-toulouse.fr/12408/
BibTeXSelma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-modeling (regular paper)
In : Model and Data Engineering, Poitiers, 03/10/12-05/10/12, Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah (Eds.), Springer, pp. 55-66, September 2012.
Locality in Reasoning about Graph Transformations (regular paper)
In : Applications of Graph Transformations with Industrial Relevance, Budapest, 01/01/12, Andy Schürr, Dániel Varró, Gergely Varró (Eds.), Springer, pp. 169-181, January 2012.
URL : http://www.irit.fr/~Martin.Strecker/Publications/agtive11.html
BibTeXMathieu Giorgino, Martin Strecker
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (regular paper)
In : Formal Methods (FM 2012), Paris, France, 27/08/12-31/08/12, Vol. 7436, Dimitra Giannakopoulou, Dominique Méry (Eds.), Springer, Lecture Notes in Computer Sciences, pp. 202-216, 2012.
URL : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiSt2012BDD.html
BibTeXOlivier Gasquet, François Schwarzentruber, Martin Strecker
Panda: a Proof Assistant in Natural Deduction for All. A Gentzen style proof assistant for undergraduate students} (regular paper)
In : International Congress on Tools for Teaching Logic (ICTTL 2011), Salamanca (Spain), 01/06/11-04/06/11, Vol. 6680, Patrick Blackburn, Hans P. van Ditmarsch, Maria Manzano, Fernando Soler-Tosca (Eds.), Springer, Lecture Notes in Computer Science, pp. 85-92, 2011.
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Satoulouse: the computational power of propositional logic shown to beginners (regular paper)
In : International Congress on Tools for Teaching Logic (ICTTL 2011), Salamanca (Spain), 01/06/11-04/06/11, Vol. 6680, Patrick Blackburn, Hans P. van Ditmarsch, Maria Manzano, Fernando Soler-Tosca (Eds.), Springer, Lecture Notes in Computer Science, pp. 77-84, 2011.
Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
Verification of the Schorr-Waite algorithm – From trees to graphs (regular paper)
In : International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), Hagenberg, Austria, 23/07/10-25/07/10, María Alpuente (Eds.), Springer, (on line), March 2011.
Abstract URL : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiSt2010SchorrWaite.html
BibTeXMathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
Verification of the Schorr-Waite algorithm – From trees to graphs (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2010), Toulouse, France, 31/03/10-01/04/10, ONERA, (on line), April 2010.
Abstract URL : http://seminaire-verif.enseeiht.fr/FAC/2010/actes.html
BibTeXIevgen Ivanov, Mykola Nikitchenko, Louis Féraud, Martin Strecker
Modeling programs over complex-named data by term rewriting systems (regular paper)
In : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/10-08/10/10, Presses universitaires de l’Université Taras Shevchenko, pp. 40-49, October 2010.
Mathieu Giorgino, Martin Strecker
BDDs verified in a proof assistant (Preliminary report) (regular paper)
In : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/10-08/10/10, A.V. Anisimov, M.S. Nikitchenko (Eds.), Presses universitaires de l’Université Taras Shevchenko, (on line), October 2010.
Abstract URL : http://www.irit.fr/~Martin.Strecker/Publications/taapsd10.html
BibTeXMohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Vérification d’une méthode de preuve pour la logique de description ALC (regular paper)
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), Poitiers, 09/06/10-11/06/10, Yamine Ait-Ameur (Eds.), LISI-ENSMA, pp. 149-163, June 2010.
URL : http://www.irit.fr/~Martin.Strecker/Publications/afadl10.html
BibTeXLoïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Helena Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software (regular paper)
In : Workshop on Formal Methods for Aerospace (FMA 2009), Eindhoven, 03/11/09, Vol. 20, Manuela Bujorianu, Michael Fisher (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 80-87, March 2010.
Alexandre Cortier, Jean-Paul Bodeveix, Marc Pantel, Martin Strecker, Gérald Garcia, Eric Morand, Ana-Helena Rugina, Jean-Pierre Talpin
Synoptic : a Domain Specific Modeling Language for Embed- ded Real-Time Flight Software Design (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (electronic medium), May 2010.
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Formalisation de la logique de description ALC dans l’assistant de preuve Coq (regular paper)
In : Journées d’Etudes Algéro-Françaises en Imagerie Médicale (JETIM 2009), Poitiers, 03/12/09-04/12/09, ACM : Association for Computing Machinery, pp. 139-147, December 2009.
URL : http://www.irit.fr/~Martin.Strecker/Publications/jfo09.html
BibTeXMathieu Giorgino, Ralph Matthes, Martin Strecker
Génération de programmes efficaces et vérifiés (short paper)
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2009), Toulouse, 26/01/09-28/01/09, Marc Pantel, Christel Seguin (Eds.), IRIT, pp. 67-68, January 2009.
Abstract URL : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiMaSt2009Generation.html
BibTeXNassima Izerrouken, Marc Pantel, Xavier Thirioux, Martin Strecker
Certifying an Automated Code Generator Using Formal Tools: Preliminary experiments in the GeneAuto project (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (on line), April 2008.
URL : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/53.pdf
BibTeXNassima Izerrouken, Xavier Thirioux, Marc Pantel, Martin Strecker
Certifying an Automated Code Generator Using Formal Tools : Preliminary Experiments in the GeneAuto Project
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), 2008.
Ralph Matthes, Martin Strecker
Verification of the Redecoration Algorithm for Triangular Matrices
In : Conference of the Types Project (TYPES 2007), Cividale, Italie, 02/05/07-05/05/07, Vol. 4941, Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.), Springer-Verlag, Lecture Notes in Computer Science, pp. 125-141, 2008.
Abstract URL : http://www.irit.fr/~Ralph.Matthes/works.html
BibTeXModeling and Verifying Graph Transformations in Proof Assistants
In : International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007), Braga/Portugal, 31/03/07, Vol. 203, Ian Mackie, Detlef Plump (Eds.), Elsevier Science, Electronic Notes in Theoretical Computer Science, pp. 135-148, March 2008.
URL : http://www.irit.fr/~Martin.Strecker/Publications/termgraph07.html
BibTeXJean-Paul Bodeveix, David Chemouil, Mamoun Filali, Nicolas Lalevee, Martin Strecker
Towards the verification of model transformations
In : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (electronic medium), 2006.
URL : http://www.sia.fr/evenement_detail_erts2006_embedded_real_time_actes_365.htm
BibTeXMartin Strecker, Mathieu Giorgino
Towards a Formalisation of Graph Transformations in Proof Assistants
In : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2006), Nancy, 18/09/06-19/09/06, Stephan Merz, Tobias Nipkow (Eds.), Archives ouvertes HAL, (on line), September 2006.
URL : http://www.irit.fr/~Martin.Strecker/Publications/avocs06.html
BibTeXJean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalizing AADL in proof assistants
In : Formal Foundations of Embedded software and component-based softare architectures (ETAPS), Edinburgh, 02/04/05-10/04/05, Juliana Kuster-Filipe, Iman Poernomo , Ralf Reussner, Sandeep Shukla (Eds.), LFCS (University of Edinburgh), pp. 137-153, April 2005.
Jean-Paul Bodeveix, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants
In : Journées FAC’05, Toulouse LAAS, 09/03/05-10/04/05.
How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
Automating Defeasible Reasoning in Law
2022