OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Strecker, Martin"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 9.

Conference or Workshop Item

Baklanova, Nadezhda and Brenas, Jon Haël and Makhlouf, Amani and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Coding, Executing and Verifying Graph Transformations with small-tALCQe. (2016) In: International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), 4 July 2016 (Vienna, Austria).

Makhlouf, Amani and Tran, Hanh Nhi and Percebois, Christian and Strecker, Martin. Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. (2016) In: International Conference on Tests and Proofs (TAP 2016), 5 July 2016 - 7 July 2016 (Vienna, Austria).

Brenas, Jon Haël and Echahed, Rachid and Strecker, Martin. On the Closure of Description Logics under Substitutions. (2016) In: 29th International Workshop on Description Logics (DL 2016), 22 April 2016 - 25 April 2016 (Cape Town, South Africa).

Brenas, Jon Haël and Echahed, Rachid and Strecker, Martin. Proving Correctness of Logically Decorated Graph Rewriting Systems. (2016) In: 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), 22 June 2016 - 26 June 2016 (Porto, Portugal).

Baklanova, Nadezhda and Ricciotti, Wilmer and Smaus, Jan-Georg and Strecker, Martin. Abstracting an Operational Semantics to Finite Automata. (2015) In: 11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015), 14 May 2015 - 16 May 2015 (Lviv, Ukraine).

Baklanova, Nadezhda and Brenas, Jon Haël and Echahed, Rachid and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Provably correct graph transformations with small-tALC. (2015) In: 11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015), 14 May 2015 - 16 May 2015 (Lviv, Ukraine).

Djeddai, Selma and Mezghiche, Mohamed and Strecker, Martin. A case study in combining formal verification and model-driven engineering. (2013) In: 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, 6 June 2012 - 10 June 2012 (Kherson, Ukraine).

Baklanova, Nadezhda and Strecker, Martin. Abstraction and Verification of Properties of a Real-Time Java. (2013) In: 8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), 6 June 2012 - 10 June 2012 (Kherson, Ukraine).

Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Rule-level verification of graph transformations for invariants based on edges' transitive closure. (2013) In: 11th International Conference Software Engineering and Formal Methods (SEFM 2013), 25 September 2013 - 27 September 2013 (Madrid, Spain).

This list was generated on Mon Sep 20 03:38:37 2021 CEST.