BibTeX records: Martin Strecker

download as .bib file

@article{DBLP:journals/isf/MeghziliCSK19,
  author    = {Said Meghzili and
               Allaoua Chaoui and
               Martin Strecker and
               Elhillali Kerkouche},
  title     = {Verification of Model Transformations Using Isabelle/HOL and Scala},
  journal   = {Information Systems Frontiers},
  volume    = {21},
  number    = {1},
  pages     = {45--65},
  year      = {2019},
  url       = {https://doi.org/10.1007/s10796-018-9860-9},
  doi       = {10.1007/s10796-018-9860-9},
  timestamp = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isf/MeghziliCSK19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/KorzhukGMS19,
  author    = {Viktoriia Korzhuk and
               Anton Groznykh and
               Alexander Menshikov and
               Martin Strecker},
  title     = {Identification of Attacks against Wireless Sensor Networks Based on
               Behaviour Analysis},
  journal   = {JoWUA},
  volume    = {10},
  number    = {2},
  pages     = {1--21},
  year      = {2019},
  url       = {https://doi.org/10.22667/JOWUA.2019.06.30.001},
  doi       = {10.22667/JOWUA.2019.06.30.001},
  timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jowua/KorzhukGMS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BrenasES19,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {Reasoning Formally About Database Queries and Updates},
  booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
               Porto, Portugal, October 7-11, 2019, Proceedings},
  pages     = {556--572},
  year      = {2019},
  crossref  = {DBLP:conf/fm/2019},
  url       = {https://doi.org/10.1007/978-3-030-30942-8\_33},
  doi       = {10.1007/978-3-030-30942-8\_33},
  timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/BrenasES19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BrenasSES18,
  author    = {Jon Ha{\"{e}}l Brenas and
               Martin Strecker and
               Rachid Echahed and
               Arash Shaban{-}Nejad},
  title     = {Applied Graph Transformation and Verification With Use Cases in Malaria
               Surveillance},
  journal   = {{IEEE} Access},
  volume    = {6},
  pages     = {64728--64741},
  year      = {2018},
  url       = {https://doi.org/10.1109/ACCESS.2018.2878311},
  doi       = {10.1109/ACCESS.2018.2878311},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/access/BrenasSES18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Strecker18,
  author    = {Martin Strecker},
  title     = {Interactive and automated proofs for graph transformations},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {28},
  number    = {8},
  pages     = {1333--1362},
  year      = {2018},
  url       = {https://doi.org/10.1017/S096012951800021X},
  doi       = {10.1017/S096012951800021X},
  timestamp = {Fri, 14 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/Strecker18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Strecker18,
  author    = {Martin Strecker},
  title     = {Deciding Extended Modal Logics by Combining State Space Generation
               and {SAT} Solving},
  booktitle = {Artificial Intelligence and Symbolic Computation - 13th International
               Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
  pages     = {119--135},
  year      = {2018},
  crossref  = {DBLP:conf/aisc/2018},
  url       = {https://doi.org/10.1007/978-3-319-99957-9\_8},
  doi       = {10.1007/978-3-319-99957-9\_8},
  timestamp = {Tue, 19 Nov 2019 15:07:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/Strecker18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BrenasES18,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {Verifying Graph Transformation Systems with Description Logics},
  booktitle = {Graph Transformation - 11th International Conference, {ICGT} 2018,
               Held as Part of {STAF} 2018, Toulouse, France, June 25-26, 2018, Proceedings},
  pages     = {155--170},
  year      = {2018},
  crossref  = {DBLP:conf/gg/2018},
  url       = {https://doi.org/10.1007/978-3-319-92991-0\_10},
  doi       = {10.1007/978-3-319-92991-0\_10},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/BrenasES18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BrenasES18,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {Verifying Graph Transformations with Guarded Logics},
  booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2018, Guangzhou, China, August 29-31, 2018},
  pages     = {124--131},
  year      = {2018},
  crossref  = {DBLP:conf/tase/2018},
  url       = {https://doi.org/10.1109/TASE.2018.00024},
  doi       = {10.1109/TASE.2018.00024},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tase/BrenasES18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-02776,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {On the Verification of Logically Decorated Graph Transformations},
  journal   = {CoRR},
  volume    = {abs/1803.02776},
  year      = {2018},
  url       = {http://arxiv.org/abs/1803.02776},
  archivePrefix = {arXiv},
  eprint    = {1803.02776},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1803-02776},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/MeghziliCSK17,
  author    = {Said Meghzili and
               Allaoua Chaoui and
               Martin Strecker and
               Elhillali Kerkouche},
  title     = {On the Verification of {UML} State Machine Diagrams to Colored Petri
               Nets Transformation Using Isabelle/HOL},
  booktitle = {2017 {IEEE} International Conference on Information Reuse and Integration,
               {IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
  pages     = {419--426},
  year      = {2017},
  crossref  = {DBLP:conf/iri/2017},
  url       = {https://doi.org/10.1109/IRI.2017.63},
  doi       = {10.1109/IRI.2017.63},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/MeghziliCSK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisec2/KolomeetsCKS17,
  author    = {Maxim Kolomeets and
               Andrey Chechulin and
               Igor V. Kotenko and
               Martin Strecker},
  title     = {Voronoi Maps for Planar Sensor Networks Visualization},
  booktitle = {Mobile Internet Security - Second International Symposium, MobiSec
               2017, Jeju Island, Republic of Korea, October 19-22, 2017, Revised
               Selected Papers},
  pages     = {96--109},
  year      = {2017},
  crossref  = {DBLP:conf/mobisec2/2017},
  url       = {https://doi.org/10.1007/978-981-13-3732-1\_7},
  doi       = {10.1007/978-981-13-3732-1\_7},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mobisec2/KolomeetsCKS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/BrenasES17,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {{C2PDLS:} {A} Combination of Combinatory and Converse {PDL} with Substitutions},
  booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
               in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  pages     = {29--41},
  year      = {2017},
  crossref  = {DBLP:conf/sycss/2017},
  url       = {http://www.easychair.org/publications/paper/C2PDLS\_A\_Combination\_of\_Combinatory\_and\_Converse\_PDL\_with\_Substitutions},
  timestamp = {Wed, 26 Apr 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sycss/BrenasES17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BrenasES16,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {On the Closure of Description Logics under Substitutions},
  booktitle = {Proceedings of the 29th International Workshop on Description Logics,
               Cape Town, South Africa, April 22-25, 2016},
  year      = {2016},
  crossref  = {DBLP:conf/dlog/2016},
  url       = {http://ceur-ws.org/Vol-1577/paper\_47.pdf},
  timestamp = {Tue, 28 May 2019 16:23:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BrenasES16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/MeghziliCSK16,
  author    = {Said Meghzili and
               Allaoua Chaoui and
               Martin Strecker and
               Elhillali Kerkouche},
  title     = {Transformation and validation of {BPMN} models to Petri nets models
               using {GROOVE}},
  booktitle = {2016 International Conference on Advanced Aspects of Software Engineering,
               {ICAASE} 2016, Constantine, Algeria, October 29-30, 2016},
  pages     = {22--29},
  year      = {2016},
  crossref  = {DBLP:conf/icaase/2016},
  url       = {https://doi.org/10.1109/ICAASE.2016.7843859},
  doi       = {10.1109/ICAASE.2016.7843859},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaase/MeghziliCSK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BrenasES16,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {Ensuring Correctness of Model Transformations While Remaining Decidable},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International
               Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
  pages     = {315--332},
  year      = {2016},
  crossref  = {DBLP:conf/ictac/2016},
  url       = {https://doi.org/10.1007/978-3-319-46750-4\_18},
  doi       = {10.1007/978-3-319-46750-4\_18},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/BrenasES16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BrenasES16,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {Proving Correctness of Logically Decorated Graph Rewriting Systems},
  booktitle = {1st International Conference on Formal Structures for Computation
               and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  pages     = {14:1--14:15},
  year      = {2016},
  crossref  = {DBLP:conf/rta/2016},
  url       = {https://doi.org/10.4230/LIPIcs.FSCD.2016.14},
  doi       = {10.4230/LIPIcs.FSCD.2016.14},
  timestamp = {Thu, 02 May 2019 17:40:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/BrenasES16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MakhloufTPS16,
  author    = {Amani Makhlouf and
               Hanh Nhi Tran and
               Christian Percebois and
               Martin Strecker},
  title     = {Combining Dynamic and Static Analysis to Help Develop Correct Graph
               Transformations},
  booktitle = {Tests and Proofs - 10th International Conference, {TAP} 2016, Held
               as Part of {STAF} 2016, Vienna, Austria, July 5-7, 2016, Proceedings},
  pages     = {183--190},
  year      = {2016},
  crossref  = {DBLP:conf/tap/2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_11},
  doi       = {10.1007/978-3-319-41135-4\_11},
  timestamp = {Sat, 19 Oct 2019 20:02:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/MakhloufTPS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/BaklanovaBEPST15,
  author    = {Nadezhda Baklanova and
               Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Christian Percebois and
               Martin Strecker and
               Hanh Nhi Tran},
  title     = {Provably Correct Graph Transformations with Small-tALC},
  booktitle = {Proceedings of the 11th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015},
  pages     = {78--93},
  year      = {2015},
  crossref  = {DBLP:conf/icteri/2015},
  url       = {http://ceur-ws.org/Vol-1356/paper\_14.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/BaklanovaBEPST15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/BaklanovaRSS15,
  author    = {Nadezhda Baklanova and
               Wilmer Ricciotti and
               Jan{-}Georg Smaus and
               Martin Strecker},
  title     = {Abstracting an Operational Semantics to Finite Automata},
  booktitle = {Proceedings of the 11th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015},
  pages     = {354--365},
  year      = {2015},
  crossref  = {DBLP:conf/icteri/2015},
  url       = {http://ceur-ws.org/Vol-1356/paper\_76.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/BaklanovaRSS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/DjeddaiSM14,
  author    = {Selma Djeddai and
               Martin Strecker and
               Mohamed Mezghiche},
  title     = {Integrating a Formal Development for DSLs into Meta-Modeling},
  journal   = {J. Data Semantics},
  volume    = {3},
  number    = {3},
  pages     = {143--155},
  year      = {2014},
  url       = {https://doi.org/10.1007/s13740-013-0030-4},
  doi       = {10.1007/s13740-013-0030-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jodsn/DjeddaiSM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BrenasES14,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {A Hoare-Like Calculus Using the {SROIQ} {\(\sigma\)} Logic on Transformations
               of Graphs},
  booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
               Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
  pages     = {164--178},
  year      = {2014},
  crossref  = {DBLP:conf/ifipTCS/2014},
  url       = {https://doi.org/10.1007/978-3-662-44602-7\_14},
  doi       = {10.1007/978-3-662-44602-7\_14},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/BrenasES14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrenasES14,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {SROIQsigma is decidable},
  journal   = {CoRR},
  volume    = {abs/1406.6605},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.6605},
  archivePrefix = {arXiv},
  eprint    = {1406.6605},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BrenasES14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaklanovaRSS14,
  author    = {Nadezhda Baklanova and
               Wilmer Ricciotti and
               Jan{-}Georg Smaus and
               Martin Strecker},
  title     = {Abstracting an operational semantics to finite automata},
  journal   = {CoRR},
  volume    = {abs/1409.7841},
  year      = {2014},
  url       = {http://arxiv.org/abs/1409.7841},
  archivePrefix = {arXiv},
  eprint    = {1409.7841},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BaklanovaRSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ChaabaniES13,
  author    = {Mohamed Chaabani and
               Rachid Echahed and
               Martin Strecker},
  title     = {Logical Foundations for Reasoning about Transformations of Knowledge
               Bases},
  booktitle = {Informal Proceedings of the 26th International Workshop on Description
               Logics, Ulm, Germany, July 23 - 26, 2013},
  pages     = {616--627},
  year      = {2013},
  crossref  = {DBLP:conf/dlog/2013},
  url       = {http://ceur-ws.org/Vol-1014/paper\_23.pdf},
  timestamp = {Tue, 28 May 2019 16:23:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/ChaabaniES13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/ChaabaniES13,
  author    = {Mohamed Chaabani and
               Rachid Echahed and
               Martin Strecker},
  title     = {Logical Foundations for Reasoning about Transformations of Knowledge
               Bases},
  booktitle = {Proceedings of the 9th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013},
  pages     = {521--532},
  year      = {2013},
  crossref  = {DBLP:conf/icteri/2013},
  url       = {http://ceur-ws.org/Vol-1000/ICTERI-2013-p-521-532-SMSV.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/ChaabaniES13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/BaklanovaS13,
  author    = {Nadezhda Baklanova and
               Martin Strecker},
  title     = {A Formal Model of Resource Sharing Conicts in Multithreaded Java},
  booktitle = {Proceedings of the 9th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013},
  pages     = {550--564},
  year      = {2013},
  crossref  = {DBLP:conf/icteri/2013},
  url       = {http://ceur-ws.org/Vol-1000/ICTERI-2013-p-550-564-SMSV.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/BaklanovaS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PerceboisST13,
  author    = {Christian Percebois and
               Martin Strecker and
               Hanh Nhi Tran},
  title     = {Rule-Level Verification of Graph Transformations for Invariants Based
               on Edges' Transitive Closure},
  booktitle = {Software Engineering and Formal Methods - 11th International Conference,
               {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  pages     = {106--121},
  year      = {2013},
  crossref  = {DBLP:conf/sefm/2013},
  url       = {https://doi.org/10.1007/978-3-642-40561-7\_8},
  doi       = {10.1007/978-3-642-40561-7\_8},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/PerceboisST13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GiorginoS12,
  author    = {Mathieu Giorgino and
               Martin Strecker},
  title     = {Correctness of Pointer Manipulating Algorithms Illustrated by a Verified
               {BDD} Construction},
  booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  pages     = {202--216},
  year      = {2012},
  crossref  = {DBLP:conf/fm/2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9\_18},
  doi       = {10.1007/978-3-642-32759-9\_18},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/GiorginoS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/Strecker12,
  author    = {Martin Strecker},
  title     = {Abstraction and Verification of Properties of a Real-Time Java},
  booktitle = {Proceedings of the 8th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012},
  pages     = {13},
  year      = {2012},
  crossref  = {DBLP:conf/icteri/2012},
  url       = {http://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-Invited-3-p-13.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/Strecker12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/DjeddaiMS12,
  author    = {Selma Djeddai and
               Mohamed Mezghiche and
               Martin Strecker},
  title     = {A Case Study in Combining Formal Verification and Model-Driven Engineering},
  booktitle = {Proceedings of the 8th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012},
  pages     = {275--289},
  year      = {2012},
  crossref  = {DBLP:conf/icteri/2012},
  url       = {http://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-SMSV-paper-1-p-275-289.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/DjeddaiMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/DjeddaiSM12,
  author    = {Selma Djeddai and
               Martin Strecker and
               Mohamed Mezghiche},
  title     = {Integrating a Formal Development for DSLs into Meta-modeling},
  booktitle = {Model and Data Engineering - 2nd International Conference, {MEDI}
               2012, Poitiers, France, October 3-5, 2012. Proceedings},
  pages     = {55--66},
  year      = {2012},
  crossref  = {DBLP:conf/medi/2012},
  url       = {https://doi.org/10.1007/978-3-642-33609-6\_7},
  doi       = {10.1007/978-3-642-33609-6\_7},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/medi/DjeddaiSM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ChaabaniMS13,
  author    = {Mohamed Chaabani and
               Mohamed Mezghiche and
               Martin Strecker},
  title     = {Formal verification of a proof procedure for the description logic
               {ALC}},
  booktitle = {Proceedings Fourth International Symposium on Symbolic Computation
               in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
               2012},
  pages     = {51--61},
  year      = {2012},
  crossref  = {DBLP:journals/corr/BouhoulaIK13},
  url       = {https://doi.org/10.4204/EPTCS.122.5},
  doi       = {10.4204/EPTCS.122.5},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChaabaniMS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/Strecker11,
  author    = {Martin Strecker},
  title     = {Locality in Reasoning about Graph Transformations},
  booktitle = {Applications of Graph Transformations with Industrial Relevance -
               4th International Symposium, {AGTIVE} 2011, Budapest, Hungary, October
               4-7, 2011, Revised Selected and Invited Papers},
  pages     = {169--181},
  year      = {2011},
  crossref  = {DBLP:conf/agtive/2011},
  url       = {https://doi.org/10.1007/978-3-642-34176-2\_15},
  doi       = {10.1007/978-3-642-34176-2\_15},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agtive/Strecker11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ticttl/GasquetSS11,
  author    = {Olivier Gasquet and
               Fran{\c{c}}ois Schwarzentruber and
               Martin Strecker},
  title     = {Satoulouse: The Computational Power of Propositional Logic Shown to
               Beginners},
  booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
               2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
  pages     = {77--84},
  year      = {2011},
  crossref  = {DBLP:conf/ticttl/2011},
  url       = {https://doi.org/10.1007/978-3-642-21350-2\_10},
  doi       = {10.1007/978-3-642-21350-2\_10},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ticttl/GasquetSS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ticttl/GasquetSS11a,
  author    = {Olivier Gasquet and
               Fran{\c{c}}ois Schwarzentruber and
               Martin Strecker},
  title     = {Panda: {A} Proof Assistant in Natural Deduction for All. {A} Gentzen
               Style Proof Assistant for Undergraduate Students},
  booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
               2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
  pages     = {85--92},
  year      = {2011},
  crossref  = {DBLP:conf/ticttl/2011},
  url       = {https://doi.org/10.1007/978-3-642-21350-2\_11},
  doi       = {10.1007/978-3-642-21350-2\_11},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ticttl/GasquetSS11a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GiorginoSMP10,
  author    = {Mathieu Giorgino and
               Martin Strecker and
               Ralph Matthes and
               Marc Pantel},
  title     = {Verification of the Schorr-Waite Algorithm - From Trees to Graphs},
  booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
               Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
               Selected Papers},
  pages     = {67--83},
  year      = {2010},
  crossref  = {DBLP:conf/lopstr/2010},
  url       = {https://doi.org/10.1007/978-3-642-20551-4\_5},
  doi       = {10.1007/978-3-642-20551-4\_5},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/GiorginoSMP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/CortierBBBDFGOPRST10,
  author    = {Alexandre Cortier and
               Lo{\"{\i}}c Besnard and
               Jean{-}Paul Bodeveix and
               J{\'{e}}r{\'{e}}my Buisson and
               Fabien Dagnat and
               Mamoun Filali and
               G. Garcia and
               Julien Ouy and
               Marc Pantel and
               A. Rugina and
               Martin Strecker and
               Jean{-}Pierre Talpin},
  title     = {Synoptic: {A} Domain-Specific Modeling Language for Space On-board
               Application Software},
  booktitle = {Synthesis of Embedded Software - Frameworks and Methodologies for
               Correctness by Construction},
  pages     = {79--119},
  year      = {2010},
  crossref  = {DBLP:books/sp/10/ST2010},
  url       = {https://doi.org/10.1007/978-1-4419-6400-7\_3},
  doi       = {10.1007/978-1-4419-6400-7\_3},
  timestamp = {Mon, 16 Sep 2019 14:43:22 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/10/CortierBBBDFGOPRST10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-0554,
  author    = {Lo{\"{\i}}c Besnard and
               Thierry Gautier and
               Julien Ouy and
               Jean{-}Pierre Talpin and
               Jean{-}Paul Bodeveix and
               Alexandre Cortier and
               Marc Pantel and
               Martin Strecker and
               G. Garcia and
               A. Rugina and
               J{\'{e}}r{\'{e}}my Buisson and
               Fabien Dagnat},
  title     = {Polychronous Interpretation of Synoptic, a Domain Specific Modeling
               Language for Embedded Flight-Software},
  booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
               2009, Eindhoven, The Netherlands, 3rd November 2009},
  pages     = {80--87},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-1003-5363},
  url       = {https://doi.org/10.4204/EPTCS.20.9},
  doi       = {10.4204/EPTCS.20.9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1003-0554},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Strecker08,
  author    = {Martin Strecker},
  title     = {Modeling and Verifying Graph Transformations in Proof Assistants},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {203},
  number    = {1},
  pages     = {135--148},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.03.039},
  doi       = {10.1016/j.entcs.2008.03.039},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Strecker08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/MatthesS07,
  author    = {Ralph Matthes and
               Martin Strecker},
  title     = {Verification of the Redecoration Algorithm for Triangular Matrices},
  booktitle = {Types for Proofs and Programs, International Conference, {TYPES} 2007,
               Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers},
  pages     = {125--141},
  year      = {2007},
  crossref  = {DBLP:conf/types/2007},
  url       = {https://doi.org/10.1007/978-3-540-68103-8\_9},
  doi       = {10.1007/978-3-540-68103-8\_9},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/types/MatthesS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BodeveixCFS05,
  author    = {Jean{-}Paul Bodeveix and
               David Chemouil and
               Mamoun Filali and
               Martin Strecker},
  title     = {Towards formalising {AADL} in Proof Assistants},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {141},
  number    = {3},
  pages     = {153--169},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.05.008},
  doi       = {10.1016/j.entcs.2005.05.008},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BodeveixCFS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KleinS04,
  author    = {Gerwin Klein and
               Martin Strecker},
  title     = {Verified bytecode verification and type-certifying compilation},
  journal   = {J. Log. Algebr. Program.},
  volume    = {58},
  number    = {1-2},
  pages     = {27--60},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.jlap.2003.07.004},
  doi       = {10.1016/j.jlap.2003.07.004},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/KleinS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/SchatzRSS04,
  author    = {Bernhard Sch{\"{a}}tz and
               Jan Romberg and
               Oscar Slotosch and
               Martin Strecker},
  title     = {{CASE} Support and Model-Based Development},
  booktitle = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"{a}}rz
               2004, Marburg, Proceedings},
  pages     = {283--284},
  year      = {2004},
  crossref  = {DBLP:conf/modellierung/2004},
  url       = {https://dl.gi.de/20.500.12116/29241},
  timestamp = {Thu, 14 Nov 2019 16:35:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/modellierung/SchatzRSS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BerghoferS03,
  author    = {Stefan Berghofer and
               Martin Strecker},
  title     = {Extracting a formally verified, fully executable compiler from a proof
               assistant},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {82},
  number    = {2},
  pages     = {377--394},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)82598-8},
  doi       = {10.1016/S1571-0661(05)82598-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BerghoferS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Strecker02,
  author    = {Martin Strecker},
  title     = {Formal Verification of a Java Compiler in Isabelle},
  booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  pages     = {63--77},
  year      = {2002},
  crossref  = {DBLP:conf/cade/2002},
  url       = {https://doi.org/10.1007/3-540-45620-1\_5},
  doi       = {10.1007/3-540-45620-1\_5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Strecker02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Strecker02,
  author    = {Martin Strecker},
  title     = {Investigating Type-Certifying Compilation with Isabelle},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
               International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
               2002, Proceedings},
  pages     = {403--417},
  year      = {2002},
  crossref  = {DBLP:conf/lpar/2002},
  url       = {https://doi.org/10.1007/3-540-36078-6\_27},
  doi       = {10.1007/3-540-36078-6\_27},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/Strecker02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Strecker99,
  author    = {Martin Strecker},
  title     = {Construction and deduction in type theories},
  school    = {University of Ulm, Germany},
  year      = {1999},
  url       = {http://vts.uni-ulm.de/docs/1999/259/vts\_259.pdf},
  urn       = {urn:nbn:de:bsz:289-vts-2596},
  timestamp = {Mon, 16 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Strecker99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/StreckerS97,
  author    = {Martin Strecker and
               Maria Sorea},
  title     = {Integrating an Equality Prover into a Software Development System
               Based on Type Theory},
  booktitle = {{KI-97:} Advances in Artificial Intelligence, 21st Annual German Conference
               on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997,
               Proceedings},
  pages     = {147--158},
  year      = {1997},
  crossref  = {DBLP:conf/ki/1997},
  url       = {https://doi.org/10.1007/3540634932\_11},
  doi       = {10.1007/3540634932\_11},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/StreckerS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/HenkeLS97,
  author    = {Friedrich W. von Henke and
               Marko Luther and
               Martin Strecker},
  title     = {Typelab: An Environment for Modular Program Development},
  booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
               Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  pages     = {851--854},
  year      = {1997},
  crossref  = {DBLP:conf/tapsoft/1997},
  url       = {https://doi.org/10.1007/BFb0030645},
  doi       = {10.1007/BFb0030645},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/HenkeLS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HenkeLPRSSW96,
  author    = {Friedrich W. von Henke and
               Marko Luther and
               Holger Pfeifer and
               Harald Rue{\ss} and
               Detlef Schwier and
               Martin Strecker and
               Matthias Wagner},
  title     = {The {TYPELAB} Specification and Verification Environment},
  booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
               {AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
  pages     = {604--607},
  year      = {1996},
  crossref  = {DBLP:conf/amast/1996},
  url       = {https://doi.org/10.1007/BFb0014353},
  doi       = {10.1007/BFb0014353},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/HenkeLPRSSW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BarSSE91,
  author    = {Udo B{\"{a}}r and
               Martin Strecker and
               Willi Stoll and
               Wolfgang Effelsberg},
  title     = {Presentation Layer Conformance Testing with {TTCN}},
  booktitle = {Protocol Specification, Testing and Verification XI, Proceedings of
               the {IFIP} {WG6.1} International Symposium on Protocol Specification,
               Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages     = {283--298},
  year      = {1991},
  crossref  = {DBLP:conf/pstv/1991},
  timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pstv/BarSSE91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2019,
  editor    = {Maurice H. ter Beek and
               Annabelle McIver and
               Jos{\'{e}} N. Oliveira},
  title     = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
               Porto, Portugal, October 7-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11800},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-30942-8},
  doi       = {10.1007/978-3-030-30942-8},
  isbn      = {978-3-030-30941-1},
  timestamp = {Mon, 23 Sep 2019 13:47:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2018,
  editor    = {Jacques D. Fleuriot and
               Dongming Wang and
               Jacques Calmet},
  title     = {Artificial Intelligence and Symbolic Computation - 13th International
               Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11110},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99957-9},
  doi       = {10.1007/978-3-319-99957-9},
  isbn      = {978-3-319-99956-2},
  timestamp = {Tue, 19 Nov 2019 15:07:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2018,
  editor    = {Leen Lambers and
               Jens H. Weber},
  title     = {Graph Transformation - 11th International Conference, {ICGT} 2018,
               Held as Part of {STAF} 2018, Toulouse, France, June 25-26, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10887},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92991-0},
  doi       = {10.1007/978-3-319-92991-0},
  isbn      = {978-3-319-92990-3},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2018,
  editor    = {Jun Pang and
               Chenyi Zhang and
               Jifeng He and
               Jian Weng},
  title     = {2018 International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2018, Guangzhou, China, August 29-31, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8558619/proceeding},
  isbn      = {978-1-5386-7305-8},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tase/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iri/2017,
  editor    = {Chengcui Zhang and
               Balaji Palanisamy and
               Latifur Khan and
               Sahra Sedigh Sarvestani},
  title     = {2017 {IEEE} International Conference on Information Reuse and Integration,
               {IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8100855/proceeding},
  isbn      = {978-1-5386-1562-1},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iri/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mobisec2/2017,
  editor    = {Ilsun You and
               Hsing{-}Chung Chen and
               Vishal Sharma and
               Igor V. Kotenko},
  title     = {Mobile Internet Security - Second International Symposium, MobiSec
               2017, Jeju Island, Republic of Korea, October 19-22, 2017, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {971},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-981-13-3732-1},
  doi       = {10.1007/978-981-13-3732-1},
  isbn      = {978-981-13-3731-4},
  timestamp = {Mon, 21 Jan 2019 09:47:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisec2/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sycss/2017,
  editor    = {Mohamed Mosbah and
               Micha{\"{e}}l Rusinowitch},
  title     = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
               in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series    = {EPiC Series in Computing},
  volume    = {45},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/SCSS\_2017},
  timestamp = {Wed, 26 Apr 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sycss/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2016,
  editor    = {Maurizio Lenzerini and
               Rafael Pe{\~{n}}aloza},
  title     = {Proceedings of the 29th International Workshop on Description Logics,
               Cape Town, South Africa, April 22-25, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1577},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1577},
  urn       = {urn:nbn:de:0074-1577-5},
  timestamp = {Tue, 28 May 2019 16:23:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaase/2016,
  title     = {2016 International Conference on Advanced Aspects of Software Engineering,
               {ICAASE} 2016, Constantine, Algeria, October 29-30, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7833514/proceeding},
  isbn      = {978-1-5090-3263-1},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaase/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2016,
  editor    = {Augusto Sampaio and
               Farn Wang},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International
               Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9965},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46750-4},
  doi       = {10.1007/978-3-319-46750-4},
  isbn      = {978-3-319-46749-8},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2016,
  editor    = {Delia Kesner and
               Brigitte Pientka},
  title     = {1st International Conference on Formal Structures for Computation
               and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series    = {LIPIcs},
  volume    = {52},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-010-1},
  isbn      = {978-3-95977-010-1},
  timestamp = {Thu, 02 May 2019 17:40:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2016,
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Tests and Proofs - 10th International Conference, {TAP} 2016, Held
               as Part of {STAF} 2016, Vienna, Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4},
  doi       = {10.1007/978-3-319-41135-4},
  isbn      = {978-3-319-41134-7},
  timestamp = {Sat, 19 Oct 2019 20:02:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icteri/2015,
  editor    = {Sotiris Batsakis and
               Heinrich C. Mayr and
               Vitaliy Yakovyna and
               Mykola S. Nikitchenko and
               Grygoriy Zholtkevych and
               Vyacheslav Kharchenko and
               Hennadiy Kravtsov and
               Vitaliy Kobets and
               Vladimir S. Peschanenko and
               Vadim Ermolayev and
               Yuriy Bobalo and
               Aleksander Spivakovsky},
  title     = {Proceedings of the 11th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1356},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1356},
  urn       = {urn:nbn:de:0074-1356-8},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2014,
  editor    = {Josep D{\'{\i}}az and
               Ivan Lanese and
               Davide Sangiorgi},
  title     = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
               Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8705},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44602-7},
  doi       = {10.1007/978-3-662-44602-7},
  isbn      = {978-3-662-44601-0},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2013,
  editor    = {Thomas Eiter and
               Birte Glimm and
               Yevgeny Kazakov and
               Markus Kr{\"{o}}tzsch},
  title     = {Informal Proceedings of the 26th International Workshop on Description
               Logics, Ulm, Germany, July 23 - 26, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1014},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1014},
  urn       = {urn:nbn:de:0074-1014-7},
  timestamp = {Tue, 28 May 2019 16:23:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icteri/2013,
  editor    = {Vadim Ermolayev and
               Heinrich C. Mayr and
               Mykola S. Nikitchenko and
               Aleksander Spivakovsky and
               Grygoriy Zholtkevych and
               Mikhail Zavileysky and
               Hennadiy Kravtsov and
               Vitaliy Kobets and
               Vladimir S. Peschanenko},
  title     = {Proceedings of the 9th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1000},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1000},
  urn       = {urn:nbn:de:0074-1000-9},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2013,
  editor    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Mario Bravetti},
  title     = {Software Engineering and Formal Methods - 11th International Conference,
               {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8137},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40561-7},
  doi       = {10.1007/978-3-642-40561-7},
  isbn      = {978-3-642-40560-0},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2012,
  editor    = {Dimitra Giannakopoulou and
               Dominique M{\'{e}}ry},
  title     = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7436},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9},
  doi       = {10.1007/978-3-642-32759-9},
  isbn      = {978-3-642-32758-2},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icteri/2012,
  editor    = {Vadim Ermolayev and
               Heinrich C. Mayr and
               Mykola S. Nikitchenko and
               Aleksander Spivakovsky and
               Grygoriy Zholtkevych and
               Mikhail Zavileysky and
               Vitaliy Kobets},
  title     = {Proceedings of the 8th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {848},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-848},
  urn       = {urn:nbn:de:0074-848-8},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/medi/2012,
  editor    = {Alberto Abell{\'{o}} and
               Ladjel Bellatreche and
               Boualem Benatallah},
  title     = {Model and Data Engineering - 2nd International Conference, {MEDI}
               2012, Poitiers, France, October 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7602},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33609-6},
  doi       = {10.1007/978-3-642-33609-6},
  isbn      = {978-3-642-33608-9},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/medi/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BouhoulaIK13,
  editor    = {Adel Bouhoula and
               Tetsuo Ida and
               Fairouz Kamareddine},
  title     = {Proceedings Fourth International Symposium on Symbolic Computation
               in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
               2012},
  series    = {{EPTCS}},
  volume    = {122},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.122},
  doi       = {10.4204/EPTCS.122},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BouhoulaIK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agtive/2011,
  editor    = {Andy Sch{\"{u}}rr and
               D{\'{a}}niel Varr{\'{o}} and
               Gergely Varr{\'{o}}},
  title     = {Applications of Graph Transformations with Industrial Relevance -
               4th International Symposium, {AGTIVE} 2011, Budapest, Hungary, October
               4-7, 2011, Revised Selected and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7233},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34176-2},
  doi       = {10.1007/978-3-642-34176-2},
  isbn      = {978-3-642-34175-5},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agtive/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ticttl/2011,
  editor    = {Patrick Blackburn and
               Hans van Ditmarsch and
               Mar{\'{\i}}a Manzano and
               Fernando Soler{-}Toscano},
  title     = {Tools for Teaching Logic - Third International Congress, {TICTTL}
               2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6680},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21350-2},
  doi       = {10.1007/978-3-642-21350-2},
  isbn      = {978-3-642-21349-6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ticttl/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2010,
  editor    = {Mar{\'{\i}}a Alpuente},
  title     = {Logic-Based Program Synthesis and Transformation - 20th International
               Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6564},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20551-4},
  doi       = {10.1007/978-3-642-20551-4},
  isbn      = {978-3-642-20550-7},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/10/ST2010,
  editor    = {Sandeep Kumar Shukla and
               Jean{-}Pierre Talpin},
  title     = {Synthesis of Embedded Software - Frameworks and Methodologies for
               Correctness by Construction},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-1-4419-6400-7},
  doi       = {10.1007/978-1-4419-6400-7},
  isbn      = {978-1-4419-6399-4},
  timestamp = {Mon, 16 Sep 2019 14:43:22 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/10/ST2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1003-5363,
  editor    = {Manuela L. Bujorianu and
               Michael Fisher},
  title     = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
               2009, Eindhoven, The Netherlands, 3rd November 2009},
  series    = {{EPTCS}},
  volume    = {20},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.20},
  doi       = {10.4204/EPTCS.20},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1003-5363},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/2007,
  editor    = {Marino Miculan and
               Ivan Scagnetto and
               Furio Honsell},
  title     = {Types for Proofs and Programs, International Conference, {TYPES} 2007,
               Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4941},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68103-8},
  doi       = {10.1007/978-3-540-68103-8},
  isbn      = {978-3-540-68084-0},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/types/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modellierung/2004,
  editor    = {Bernhard Rumpe and
               Wolfgang Hesse},
  title     = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"{a}}rz
               2004, Marburg, Proceedings},
  series    = {{LNI}},
  volume    = {{P-45}},
  publisher = {{GI}},
  year      = {2004},
  url       = {https://dl.gi.de/handle/20.500.12116/29212},
  timestamp = {Thu, 14 Nov 2019 16:35:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/modellierung/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2002,
  editor    = {Andrei Voronkov},
  title     = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2392},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45620-1},
  doi       = {10.1007/3-540-45620-1},
  isbn      = {3-540-43931-5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2002,
  editor    = {Matthias Baaz and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
               International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
               2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2514},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36078-6},
  doi       = {10.1007/3-540-36078-6},
  isbn      = {3-540-00010-0},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1997,
  editor    = {Gerhard Brewka and
               Christopher Habel and
               Bernhard Nebel},
  title     = {{KI-97:} Advances in Artificial Intelligence, 21st Annual German Conference
               on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1303},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63493-2},
  doi       = {10.1007/3-540-63493-2},
  isbn      = {3-540-63493-2},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1997,
  editor    = {Michel Bidoit and
               Max Dauchet},
  title     = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
               Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1214},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0030581},
  doi       = {10.1007/BFb0030581},
  isbn      = {3-540-62781-2},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/1996,
  editor    = {Martin Wirsing and
               Maurice Nivat},
  title     = {Algebraic Methodology and Software Technology, 5th International Conference,
               {AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1101},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0014301},
  doi       = {10.1007/BFb0014301},
  isbn      = {3-540-61463-X},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pstv/1991,
  editor    = {Bengt Jonsson and
               Joachim Parrow and
               Bj{\"{o}}rn Pehrson},
  title     = {Protocol Specification, Testing and Verification XI, Proceedings of
               the {IFIP} {WG6.1} International Symposium on Protocol Specification,
               Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89210-9},
  timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pstv/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics