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: 7.

Conference or Workshop Item

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 Fri Nov 15 17:22:14 2019 CET.