BibTeX records: Stefan Klikovits

download as .bib file

@inproceedings{DBLP:conf/apn/KlikovitsLRB18,
  author    = {Stefan Klikovits and
               Alban Linard and
               Dimitri Racordon and
               Didier Buchs},
  title     = {Petri Sport: {A} Sport for Petri Netters},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'18), co-located with the39th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2018 and the 18th International Conference on Application of Concurrency
               to System Design {ACSD} 2018, Bratislava, Slovakia, June 24-29, 2018.},
  pages     = {35--56},
  year      = {2018},
  crossref  = {DBLP:conf/apn/2018pnse},
  url       = {http://ceur-ws.org/Vol-2138/paper2.pdf},
  timestamp = {Wed, 18 Jul 2018 09:21:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/KlikovitsLRB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BuchsKLMR18,
  author    = {Didier Buchs and
               Stefan Klikovits and
               Alban Linard and
               Romain Mencattini and
               Dimitri Racordon},
  title     = {A Model Checker Collection for the Model Checking Contest Using Docker
               and Machine Learning},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
               Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
               2018, Proceedings},
  pages     = {385--395},
  year      = {2018},
  crossref  = {DBLP:conf/apn/2018},
  url       = {https://doi.org/10.1007/978-3-319-91268-4\_21},
  doi       = {10.1007/978-3-319-91268-4\_21},
  timestamp = {Tue, 29 May 2018 12:36:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/BuchsKLMR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KlikovitsCB18,
  author    = {Stefan Klikovits and
               Aurelien Coet and
               Didier Buchs},
  title     = {{ML4CREST:} Machine Learning for {CPS} Models},
  booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018.},
  pages     = {515--520},
  year      = {2018},
  crossref  = {DBLP:conf/models/2018w},
  url       = {http://ceur-ws.org/Vol-2245/mde4iot\_paper\_4.pdf},
  timestamp = {Mon, 19 Nov 2018 06:41:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/models/KlikovitsCB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/KlikovitsLB18,
  author    = {Stefan Klikovits and
               Alban Linard and
               Didier Buchs},
  title     = {{CREST} - {A} {DSL} for Reactive Cyber-Physical Systems},
  booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Systems
               Engineering - 10th International Conference, {SAM} 2018, Copenhagen,
               Denmark, October 15-16, 2018, Proceedings},
  pages     = {29--45},
  year      = {2018},
  crossref  = {DBLP:conf/sam/2018},
  url       = {https://doi.org/10.1007/978-3-030-01042-3\_3},
  doi       = {10.1007/978-3-030-01042-3\_3},
  timestamp = {Mon, 08 Oct 2018 16:43:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sam/KlikovitsLB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KlikovitsLB17,
  author    = {Stefan Klikovits and
               Alban Linard and
               Didier Buchs},
  title     = {{CREST} - {A} Continuous, REactive SysTems {DSL}},
  booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
               ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
               MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
               Research Competition, and Tools and Demonstrations co-located with
               {ACM/IEEE} 20th International Conference on Model Driven Engineering
               Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
               17, 2017.},
  pages     = {286--291},
  year      = {2017},
  crossref  = {DBLP:conf/models/2017s},
  url       = {http://ceur-ws.org/Vol-2019/gemoc\_2.pdf},
  timestamp = {Tue, 19 Dec 2017 19:42:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/models/KlikovitsLB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KlikovitsDMS17,
  author    = {Stefan Klikovits and
               Joachim Denil and
               Alexandre Muzy and
               Rick Salay},
  title     = {Modeling Frames},
  booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
               ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
               MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
               Research Competition, and Tools and Demonstrations co-located with
               {ACM/IEEE} 20th International Conference on Model Driven Engineering
               Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
               17, 2017.},
  pages     = {315--320},
  year      = {2017},
  crossref  = {DBLP:conf/models/2017s},
  url       = {http://ceur-ws.org/Vol-2019/modevva\_3.pdf},
  timestamp = {Tue, 19 Dec 2017 19:42:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/models/KlikovitsDMS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/DenilKMVV17,
  author    = {Joachim Denil and
               Stefan Klikovits and
               Pieter J. Mosterman and
               Antonio Vallecillo and
               Hans Vangheluwe},
  title     = {The experiment model and validity frame in M{\&}S},
  booktitle = {Proceedings of the Symposium on Theory of Modeling {\&} Simulation,
               Virginia Beach, VA, USA, April 23 - 26, 2017},
  pages     = {10:1--10:12},
  year      = {2017},
  crossref  = {DBLP:conf/springsim/2017tms},
  url       = {http://dl.acm.org/citation.cfm?id=3108915},
  timestamp = {Fri, 20 Apr 2018 11:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/springsim/DenilKMVV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KlikovitsLGB16,
  author    = {Stefan Klikovits and
               David P. Y. Lawrence and
               Manuel Gonzalez{-}Berges and
               Didier Buchs},
  title     = {Automated Test Case Generation for the {CTRL} Programming Language
               Using Pex: Lessons Learned},
  booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
               {SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
  pages     = {117--132},
  year      = {2016},
  crossref  = {DBLP:conf/serene/2016},
  url       = {https://doi.org/10.1007/978-3-319-45892-2\_9},
  doi       = {10.1007/978-3-319-45892-2\_9},
  timestamp = {Tue, 23 May 2017 01:10:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/serene/KlikovitsLGB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KlikovitsLGB15,
  author    = {Stefan Klikovits and
               David P. Y. Lawrence and
               Manuel Gonzalez{-}Berges and
               Didier Buchs},
  title     = {Considering Execution Environment Resilience: {A} White-Box Approach},
  booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
               {SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
  pages     = {46--61},
  year      = {2015},
  crossref  = {DBLP:conf/serene/2015},
  url       = {https://doi.org/10.1007/978-3-319-23129-7\_4},
  doi       = {10.1007/978-3-319-23129-7\_4},
  timestamp = {Thu, 15 Jun 2017 21:39:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/serene/KlikovitsLGB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2018pnse,
  editor    = {Daniel Moldt and
               Ekkart Kindler and
               Heiko R{\"{o}}lke},
  title     = {Proceedings of the International Workshop on Petri Nets and Software
               Engineering (PNSE'18), co-located with the39th International Conference
               on Application and Theory of Petri Nets and Concurrency Petri Nets
               2018 and the 18th International Conference on Application of Concurrency
               to System Design {ACSD} 2018, Bratislava, Slovakia, June 24-29, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2138},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2138},
  urn       = {urn:nbn:de:0074-2138-5},
  timestamp = {Wed, 18 Jul 2018 09:21:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2018pnse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2018,
  editor    = {Victor Khomenko and
               Olivier H. Roux},
  title     = {Application and Theory of Petri Nets and Concurrency - 39th International
               Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
               2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10877},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-91268-4},
  doi       = {10.1007/978-3-319-91268-4},
  isbn      = {978-3-319-91267-7},
  timestamp = {Tue, 29 May 2018 12:36:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2018w,
  editor    = {Regina Hebig and
               Thorsten Berger},
  title     = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2245},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2245},
  urn       = {urn:nbn:de:0074-2245-1},
  timestamp = {Mon, 19 Nov 2018 06:41:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/models/2018w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sam/2018,
  editor    = {Ferhat Khendek and
               Reinhard Gotzhein},
  title     = {System Analysis and Modeling. Languages, Methods, and Tools for Systems
               Engineering - 10th International Conference, {SAM} 2018, Copenhagen,
               Denmark, October 15-16, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11150},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-01042-3},
  doi       = {10.1007/978-3-030-01042-3},
  isbn      = {978-3-030-01041-6},
  timestamp = {Mon, 08 Oct 2018 16:43:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sam/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2017s,
  editor    = {Loli Burgue{\~{n}}o and
               Jonathan Corley and
               Nelly Bencomo and
               Peter J. Clarke and
               Philippe Collet and
               Michalis Famelis and
               Sudipto Ghosh and
               Martin Gogolla and
               Joel Greenyer and
               Esther Guerra and
               Sahar Kokaly and
               Alfonso Pierantonio and
               Julia Rubin and
               Davide Di Ruscio},
  title     = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
               ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
               MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
               Research Competition, and Tools and Demonstrations co-located with
               {ACM/IEEE} 20th International Conference on Model Driven Engineering
               Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
               17, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2019},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-2019},
  urn       = {urn:nbn:de:0074-2019-2},
  timestamp = {Tue, 19 Dec 2017 19:42:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/models/2017s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/springsim/2017tms,
  editor    = {Fernando Barros and
               Xiaolin Hu and
               Joachim Denil and
               Rhys Goldstein},
  title     = {Proceedings of the Symposium on Theory of Modeling {\&} Simulation,
               Virginia Beach, VA, USA, April 23 - 26, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3108905},
  timestamp = {Fri, 20 Apr 2018 11:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/springsim/2017tms},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2016,
  editor    = {Ivica Crnkovic and
               Elena Troubitsyna},
  title     = {Software Engineering for Resilient Systems - 8th International Workshop,
               {SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9823},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45892-2},
  doi       = {10.1007/978-3-319-45892-2},
  isbn      = {978-3-319-45891-5},
  timestamp = {Tue, 23 May 2017 01:10:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/serene/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2015,
  editor    = {Alessandro Fantechi and
               Patrizio Pelliccione},
  title     = {Software Engineering for Resilient Systems - 7th International Workshop,
               {SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9274},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23129-7},
  doi       = {10.1007/978-3-319-23129-7},
  isbn      = {978-3-319-23128-0},
  timestamp = {Thu, 15 Jun 2017 21:39:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/serene/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier