Martin Strecker

60 papers A 1B 6C 4Misc 10Journal 13Unranked 24

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Automating Defeasible Reasoning in Law with Answer Set Programming. ICLP Workshops How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2022	J	`jnl`	Automating Defeasible Reasoning in Law. CoRR How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2022	J	`jnl`	User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version). CoRR Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2022	C	`conf`	User Guided Abductive Proof Generation for Answer Set Programming Queries. PPDP Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2020	J	`jnl`	An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. Softw. Innov. Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2019	J	`jnl`	Identification of Attacks against Wireless Sensor Networks Based on Behaviour Analysis. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Viktoriia Korzhuk, Anton Groznykh, Alexander Menshikov, Martin Strecker
2019	B	`conf`	Reasoning Formally About Database Queries and Updates. FM Jon Haël Brenas, Rachid Echahed, Martin Strecker
2019	J	`jnl`	Reference architecture for social networks graph analysis. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Maxim Kolomeets, Amira Benachour, Didier El Baz, Andrey Chechulin, Martin Strecker, Igor V. Kotenko
2019	J	`jnl`	Verification of Model Transformations Using Isabelle/HOL and Scala. Inf. Syst. Frontiers Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2018	J	`jnl`	Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad
2018	Misc	`conf`	Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving. AISC Martin Strecker
2018	J	`jnl`	Interactive and automated proofs for graph transformations. Math. Struct. Comput. Sci. Martin Strecker
2018	J	`jnl`	On the Verification of Logically Decorated Graph Transformations. CoRR Jon Haël Brenas, Rachid Echahed, Martin Strecker
2018	B	`conf`	Verifying Graph Transformation Systems with Description Logics. ICGT Jon Haël Brenas, Rachid Echahed, Martin Strecker
2018	Misc	`conf`	Verifying Graph Transformations with Guarded Logics. TASE Jon Haël Brenas, Rachid Echahed, Martin Strecker
2017	—	`conf`	C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS Jon Haël Brenas, Rachid Echahed, Martin Strecker
2017	Misc	`conf`	On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. IRI Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2017	—	`conf`	Voronoi Maps for Planar Sensor Networks Visualization. MobiSec Maxim Kolomeets, Andrey Chechulin, Igor V. Kotenko, Martin Strecker
2016	—	`conf`	Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. TAP@STAF Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
2016	C	`conf`	Ensuring Correctness of Model Transformations While Remaining Decidable. ICTAC Jon Haël Brenas, Rachid Echahed, Martin Strecker
2016	—	`conf`	On the Closure of Description Logics under Substitutions. Description Logics Jon Haël Brenas, Rachid Echahed, Martin Strecker
2016	B	`conf`	Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD Jon Haël Brenas, Rachid Echahed, Martin Strecker
2016	—	`conf`	Transformation and validation of BPMN models to Petri nets models using GROOVE. ICAASE Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche
2015	Misc	`conf`	Abstracting an Operational Semantics to Finite Automata. ICTERI Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
2015	—	`conf`	Abstracting an Operational Semantics to Finite Automata. ICTERI (Revised Selected Papers) Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
2015	Misc	`conf`	Provably Correct Graph Transformations with Small-tALC. ICTERI Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
2014	—	`conf`	A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS Jon Haël Brenas, Rachid Echahed, Martin Strecker
2014	J	`jnl`	Abstracting an operational semantics to finite automata. CoRR Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
2014	J	`jnl`	Integrating a Formal Development for DSLs into Meta-Modeling. J. Data Semant. Selma Djeddai, Martin Strecker, Mohamed Mezghiche
2014	J	`jnl`	SROIQsigma is decidable. CoRR Jon Haël Brenas, Rachid Echahed, Martin Strecker
2013	Misc	`conf`	A Formal Model of Resource Sharing Conicts in Multithreaded Java. ICTERI Nadezhda Baklanova, Martin Strecker
2013	—	`conf`	Logical Foundations for Reasoning about Transformations of Knowledge Bases. Description Logics Mohamed Chaabani, Rachid Echahed, Martin Strecker
2013	Misc	`conf`	Logical Foundations for Reasoning about Transformations of Knowledge Bases. ICTERI Mohamed Chaabani, Rachid Echahed, Martin Strecker
2013	B	`conf`	Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. SEFM Christian Percebois, Martin Strecker, Hanh Nhi Tran
2012	Misc	`conf`	A Case Study in Combining Formal Verification and Model-Driven Engineering. ICTERI Selma Djeddai, Mohamed Mezghiche, Martin Strecker
2012	—	`conf`	Abstraction and Verification of Properties of a Real-Time Java. ICTERI (Revised Selected Papers) Nadezhda Baklanova, Martin Strecker
2012	Misc	`conf`	Abstraction and Verification of Properties of a Real-Time Java. ICTERI Martin Strecker
2012	—	`conf`	Combining Verification and MDE Illustrated by a Formal Java Development. ICTERI (Revised Selected Papers) Selma Djeddai, Mohamed Mezghiche, Martin Strecker
2012	B	`conf`	Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. FM Mathieu Giorgino, Martin Strecker
2012	—	`conf`	Formal verification of a proof procedure for the description logic ALC. SCSS Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
2012	C	`conf`	Integrating a Formal Development for DSLs into Meta-modeling. MEDI Selma Djeddai, Martin Strecker, Mohamed Mezghiche
2011	—	`conf`	Locality in Reasoning about Graph Transformations. AGTIVE Martin Strecker
2011	—	`conf`	Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. TICTTL Olivier Gasquet, François Schwarzentruber, Martin Strecker
2011	—	`conf`	Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL Olivier Gasquet, François Schwarzentruber, Martin Strecker
2010	—	`ch.`	Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. Synthesis of Embedded Software Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, Mamoun Filali, Gérald Garcia, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin
2010	C	`conf`	Verification of the Schorr-Waite Algorithm - From Trees to Graphs. LOPSTR Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
2009	—	`conf`	Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat
2007	—	`conf`	Modeling and Verifying Graph Transformations in Proof Assistants. TERMGRAPH@ETAPS Martin Strecker
2007	—	`conf`	Verification of the Redecoration Algorithm for Triangular Matrices. TYPES Ralph Matthes, Martin Strecker
2005	—	`conf`	Towards formalising AADL in Proof Assistants. FESCA@ETAPS Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
2004	—	`conf`	CASE Support and Model-Based Development. Modellierung Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker
2004	J	`jnl`	Verified bytecode verification and type-certifying compilation. J. Log. Algebraic Methods Program. Gerwin Klein, Martin Strecker
2003	—	`conf`	Extracting a formally verified, fully executable compiler from a proof assistant. COCV Stefan Berghofer, Martin Strecker
2002	A	`conf`	Formal Verification of a Java Compiler in Isabelle. CADE Martin Strecker
2002	B	`conf`	Investigating Type-Certifying Compilation with Isabelle. LPAR Martin Strecker
1999	—	`—`	Construction and deduction in type theories. Martin Strecker
1997	Misc	`conf`	Integrating an Equality Prover into a Software Development System Based on Type Theory. KI Martin Strecker, Maria Sorea
1997	—	`conf`	Typelab: An Environment for Modular Program Development. TAPSOFT Friedrich W. von Henke, Marko Luther, Martin Strecker
1996	—	`conf`	The TYPELAB Specification and Verification Environment. AMAST Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
1991	—	`conf`	Presentation Layer Conformance Testing with TTCN. PSTV Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg