Martin Strecker

Meng Weng Wong

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2020

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models.

[BibT_eX]

[DOI]

Int. J. Softw. Innov., 2020

2019

Identification of Attacks against Wireless Sensor Networks Based on Behaviour Analysis.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2019

Reference architecture for social networks graph analysis.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2019

Verification of Model Transformations Using Isabelle/HOL and Scala.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2019

Reasoning Formally About Database Queries and Updates.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Interactive and automated proofs for graph transformations.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2018

On the Verification of Logically Decorated Graph Transformations.

[BibT_eX]

[DOI]

CoRR, 2018

Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance.

[BibT_eX]

[DOI]

IEEE Access, 2018

Verifying Graph Transformations with Guarded Logics.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Verifying Graph Transformation Systems with Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 11th International Conference, 2018

Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions.

[BibT_eX]

[DOI]

Proceedings of the SCSS 2017, 2017

Voronoi Maps for Planar Sensor Networks Visualization.

[BibT_eX]

[DOI]

Proceedings of the Mobile Internet Security - Second International Symposium, 2017

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016

Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Proving Correctness of Logically Decorated Graph Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Ensuring Correctness of Model Transformations While Remaining Decidable.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Transformation and validation of BPMN models to Petri nets models using GROOVE.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

On the Closure of Description Logics under Substitutions.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Abstracting an Operational Semantics to Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015

Provably Correct Graph Transformations with Small-tALC.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on ICT in Education, 2015

2014

Integrating a Formal Development for DSLs into Meta-Modeling.

[BibT_eX]

[DOI]

Selma Djeddai

J. Data Semant., 2014

SROIQsigma is decidable.

[BibT_eX]

[DOI]

CoRR, 2014

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2014

2013

Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure.

[BibT_eX]

[DOI]

Christian Percebois

Hanh Nhi Tran

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Logical Foundations for Reasoning about Transformations of Knowledge Bases.

[BibT_eX]

[DOI]

Mohamed Chaabani

Proceedings of the 9th International Conference on ICT in Education, 2013

A Formal Model of Resource Sharing Conicts in Multithreaded Java.

[BibT_eX]

[DOI]

Nadezhda Baklanova

Proceedings of the 9th International Conference on ICT in Education, 2013

2012

Formal verification of a proof procedure for the description logic ALC.

[BibT_eX]

[DOI]

Mohamed Chaabani

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

Abstraction and Verification of Properties of a Real-Time Java.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on ICT in Education, 2012

Combining Verification and MDE Illustrated by a Formal Java Development.

[BibT_eX]

[DOI]

Selma Djeddai

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012

A Case Study in Combining Formal Verification and Model-Driven Engineering.

[BibT_eX]

[DOI]

Selma Djeddai

Proceedings of the 8th International Conference on ICT in Education, 2012

Abstraction and Verification of Properties of a Real-Time Java.

[BibT_eX]

[DOI]

Nadezhda Baklanova

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012

Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction.

[BibT_eX]

[DOI]

Mathieu Giorgino

Proceedings of the FM 2012: Formal Methods, 2012

2011

Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students.

[BibT_eX]

[DOI]

Olivier Gasquet

François Schwarzentruber

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Satoulouse: The Computational Power of Propositional Logic Shown to Beginners.

[BibT_eX]

[DOI]

Olivier Gasquet

François Schwarzentruber

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Locality in Reasoning about Graph Transformations.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010

Verification of the Schorr-Waite Algorithm - From Trees to Graphs.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.

[BibT_eX]

[DOI]

Proceedings of the Synthesis of Embedded Software, 2010

2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

[BibT_eX]

[DOI]

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2007

Modeling and Verifying Graph Transformations in Proof Assistants.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Verification of the Redecoration Algorithm for Triangular Matrices.

[BibT_eX]

[DOI]

Ralph Matthes

Proceedings of the Types for Proofs and Programs, International Conference, 2007

2005

Towards formalising AADL in Proof Assistants.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

2004

Verified bytecode verification and type-certifying compilation.

[BibT_eX]

[DOI]

Gerwin Klein

J. Log. Algebraic Methods Program., 2004

CASE Support and Model-Based Development.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

2003

Extracting a formally verified, fully executable compiler from a proof assistant.

[BibT_eX]

[DOI]

Stefan Berghofer

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

2002

Investigating Type-Certifying Compilation with Isabelle.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

Formal Verification of a Java Compiler in Isabelle.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

1999

Construction and deduction in type theories.

[BibT_eX]

[DOI]

PhD thesis, 1999

1997

Typelab: An Environment for Modular Program Development.

[BibT_eX]

[DOI]

Friedrich W. von Henke

Marko Luther

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Integrating an Equality Prover into a Software Development System Based on Type Theory.

[BibT_eX]

[DOI]