default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Didier Buchs
@inproceedings{DBLP:conf/apn/MorardDB24,
author = {Damien Morard and
Lucas Donati and
Didier Buchs},
editor = {Lars Michael Kristensen and
Jan Martijn E. M. van der Werf},
title = {Symbolic Model Checking Using Intervals of Vectors},
booktitle = {Application and Theory of Petri Nets and Concurrency - 45th International
Conference, {PETRI} {NETS} 2024, Geneva, Switzerland, June 26-28,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14628},
pages = {269--290},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61433-0\_13},
doi = {10.1007/978-3-031-61433-0\_13},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MorardDB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/KlikovitsB24,
author = {Stefan Klikovits and
Didier Buchs},
editor = {Judith Michael and
Mathias Weske},
title = {Pragmatic Reuse for {DSML} Development},
booktitle = {Modellierung 2024, Potsdam, Germany, March 12-15, 2024},
series = {{LNI}},
volume = {{P-348}},
pages = {215--216},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/modellierung2024\_021},
doi = {10.18420/MODELLIERUNG2024\_021},
timestamp = {Wed, 26 Jun 2024 15:06:10 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/KlikovitsB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-03375,
author = {Sahar Aljalbout and
Gilles Falquet and
Didier Buchs},
title = {Handling Wikidata Qualifiers in Reasoning},
journal = {CoRR},
volume = {abs/2304.03375},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.03375},
doi = {10.48550/ARXIV.2304.03375},
eprinttype = {arXiv},
eprint = {2304.03375},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-03375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BuchsCK22,
author = {Didier Buchs and
Josep Carmona and
Jetty Kleijn},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {187},
number = {2-4},
year = {2022},
url = {https://doi.org/10.3233/FI-222132},
doi = {10.3233/FI-222132},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/BuchsCK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/RacordonCB22,
author = {Dimitri Racordon and
Aur{\'{e}}lien Coet and
Didier Buchs},
title = {Toward a Lingua Franca for Memory Safety},
journal = {J. Object Technol.},
volume = {21},
number = {2},
pages = {2:1--11},
year = {2022},
url = {https://doi.org/10.5381/jot.2022.21.2.a3},
doi = {10.5381/JOT.2022.21.2.A3},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/RacordonCB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KlikovitsB21,
author = {Stefan Klikovits and
Didier Buchs},
title = {Pragmatic reuse for {DSML} development},
journal = {Softw. Syst. Model.},
volume = {20},
number = {3},
pages = {837--866},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00831-4},
doi = {10.1007/S10270-020-00831-4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/KlikovitsB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2021,
editor = {Didier Buchs and
Josep Carmona},
title = {Application and Theory of Petri Nets and Concurrency - 42nd International
Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12734},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3},
doi = {10.1007/978-3-030-76983-3},
isbn = {978-3-030-76982-6},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-12434,
author = {Dimitri Racordon and
Aur{\'{e}}lien Coet and
Didier Buchs},
title = {Fuel: {A} Compiler Framework for Safe Memory Management},
journal = {CoRR},
volume = {abs/2106.12434},
year = {2021},
url = {https://arxiv.org/abs/2106.12434},
eprinttype = {arXiv},
eprint = {2106.12434},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-12434.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/RacordonB20,
author = {Dimitri Racordon and
Didier Buchs},
editor = {Ademar Aguiar and
Shigeru Chiba and
Elisa Gonzalez Boix},
title = {LogicKit: bringing logic programming to swift},
booktitle = {Programming'20: 4th International Conference on the Art, Science,
and Engineering of Programming, Porto, Portugal, March 23-26, 2020},
pages = {13--16},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3397537.3399575},
doi = {10.1145/3397537.3399575},
timestamp = {Fri, 14 Aug 2020 22:01:55 +0200},
biburl = {https://dblp.org/rec/conf/programming/RacordonB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/RacordonB20,
author = {Dimitri Racordon and
Didier Buchs},
editor = {Ralf L{\"{a}}mmel and
Laurence Tratt and
Juan de Lara},
title = {Featherweight Swift: a Core calculus for Swift's type system},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2020, Virtual Event, USA, November
16-17, 2020},
pages = {140--154},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426425.3426939},
doi = {10.1145/3426425.3426939},
timestamp = {Thu, 10 Dec 2020 12:02:20 +0100},
biburl = {https://dblp.org/rec/conf/sle/RacordonB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/RacordonCSB20,
author = {Dimitri Racordon and
Aur{\'{e}}lien Coet and
Emmanouela Stachtiari and
Didier Buchs},
editor = {Aldeida Aleti and
Annibale Panichella},
title = {Solving Schedulability as a Search Space Problem with Decision Diagrams},
booktitle = {Search-Based Software Engineering - 12th International Symposium,
{SSBSE} 2020, Bari, Italy, October 7-8, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12420},
pages = {73--87},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59762-7\_6},
doi = {10.1007/978-3-030-59762-7\_6},
timestamp = {Wed, 30 Sep 2020 18:02:38 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/RacordonCSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/AljalboutBF19,
author = {Sahar Aljalbout and
Didier Buchs and
Gilles Falquet},
editor = {Dominik Endres and
Mehwish Alam and
Diana Sotropa},
title = {Introducing Contextual Reasoning to the Semantic Web with {OWL} {\^{}}C},
booktitle = {Graph-Based Representation and Reasoning - 24th International Conference
on Conceptual Structures, {ICCS} 2019, Marburg, Germany, July 1-4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11530},
pages = {13--26},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23182-8\_2},
doi = {10.1007/978-3-030-23182-8\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/AljalboutBF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldk/AljalboutBF19,
author = {Sahar Aljalbout and
Didier Buchs and
Gilles Falquet},
editor = {Maria Eskevich and
Gerard de Melo and
Christian F{\"{a}}th and
John P. McCrae and
Paul Buitelaar and
Christian Chiarcos and
Bettina Klimek and
Milan Dojchinovski},
title = {OWL\({}^{\mbox{C}}\): {A} Contextual Two-Dimensional Web Ontology
Language},
booktitle = {2nd Conference on Language, Data and Knowledge, {LDK} 2019, May 20-23,
2019, Leipzig, Germany},
series = {OASIcs},
volume = {70},
pages = {2:1--2:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/OASIcs.LDK.2019.2},
doi = {10.4230/OASICS.LDK.2019.2},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ldk/AljalboutBF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RacordonB19,
author = {Dimitri Racordon and
Didier Buchs},
editor = {Daniele Bonetta and
Yu David Liu},
title = {Implementing a language with explicit assignment semantics},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
Virtual Machines and Intermediate Languages, VMIL@SPLASH 2019, Athens,
Greece, October 22, 2019},
pages = {12--21},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3358504.3361227},
doi = {10.1145/3358504.3361227},
timestamp = {Fri, 18 Oct 2019 13:22:36 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RacordonB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11317,
author = {Dimitri Racordon and
Didier Buchs},
title = {Explicit and Controllable Assignment Semantics},
journal = {CoRR},
volume = {abs/1907.11317},
year = {2019},
url = {http://arxiv.org/abs/1907.11317},
eprinttype = {arXiv},
eprint = {1907.11317},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/BarrocaAB18,
author = {Bruno Barroca and
Vasco Amaral and
Didier Buchs},
title = {Semantic languages for developing correct language translations},
journal = {Softw. Qual. J.},
volume = {26},
number = {2},
pages = {417--453},
year = {2018},
url = {https://doi.org/10.1007/s11219-016-9352-4},
doi = {10.1007/S11219-016-9352-4},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/BarrocaAB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KlikovitsLRB18,
author = {Stefan Klikovits and
Alban Linard and
Dimitri Racordon and
Didier Buchs},
editor = {Daniel Moldt and
Ekkart Kindler and
Heiko R{\"{o}}lke},
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},
series = {{CEUR} Workshop Proceedings},
volume = {2138},
pages = {35--56},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2138/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/KlikovitsLRB18.bib},
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},
editor = {Victor Khomenko and
Olivier H. Roux},
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},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {385--395},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_21},
doi = {10.1007/978-3-319-91268-4\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BuchsKLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/AljalboutFB18,
author = {Sahar Aljalbout and
Gilles Falquet and
Didier Buchs},
editor = {David Aveiro and
Jan L. G. Dietz and
Joaquim Filipe},
title = {A Practical Implementation of Contextual Reasoning on the Semantic
Web},
booktitle = {Proceedings of the 10th International Joint Conference on Knowledge
Discovery, Knowledge Engineering and Knowledge Management, {IC3K}
2018, Volume 2: KEOD, Seville, Spain, September 18-20, 2018},
pages = {253--260},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006936802530260},
doi = {10.5220/0006936802530260},
timestamp = {Mon, 01 Oct 2018 13:53:44 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/AljalboutFB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KlikovitsCB18,
author = {Stefan Klikovits and
Aur{\'{e}}lien Coet and
Didier Buchs},
editor = {Regina Hebig and
Thorsten Berger},
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},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {515--520},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/mde4iot\_paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/KlikovitsCB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/KlikovitsLB18,
author = {Stefan Klikovits and
Alban Linard and
Didier Buchs},
editor = {Ferhat Khendek and
Reinhard Gotzhein},
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},
series = {Lecture Notes in Computer Science},
volume = {11150},
pages = {29--45},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01042-3\_3},
doi = {10.1007/978-3-030-01042-3\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/KlikovitsLB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/RacordonB18,
author = {Dimitri Racordon and
Didier Buchs},
editor = {David J. Pearce and
Tanja Mayerhofer and
Friedrich Steimann},
title = {A practical type system for safe aliasing},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2018, Boston, MA, USA, November
05-06, 2018},
pages = {133--146},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3276604.3276612},
doi = {10.1145/3276604.3276612},
timestamp = {Wed, 26 May 2021 08:40:05 +0200},
biburl = {https://dblp.org/rec/conf/sle/RacordonB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LinardB17,
author = {Alban Linard and
Didier Buchs},
title = {Ardoises: Collaborative {\&} Interactive Editing Using Layered
Data},
booktitle = {17th International Conference on Application of Concurrency to System
Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ACSD.2017.11},
doi = {10.1109/ACSD.2017.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LinardB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai2/PuraATB17,
author = {Mihai{-}Lica Pura and
Iulian Aciobanitei and
Stefan{-}Adrian Toma and
Didier Buchs},
title = {{CTL} formula evaluation by term rewriting inversion},
booktitle = {9th International Conference on Electronics, Computers and Artificial
Intelligence, {ECAI} 2017, Targoviste, Romania, June 29 - July 1,
2017},
pages = {1--10},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ECAI.2017.8166468},
doi = {10.1109/ECAI.2017.8166468},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai2/PuraATB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KlikovitsLB17,
author = {Stefan Klikovits and
Alban Linard and
Didier Buchs},
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 = {{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},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {286--291},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/gemoc\_2.pdf},
timestamp = {Wed, 26 Jun 2024 17:26:37 +0200},
biburl = {https://dblp.org/rec/conf/models/KlikovitsLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-05194,
author = {Dimitri Racordon and
Didier Buchs},
title = {Extracting Formal Specifications to Strenghten Type Behaviour Testing},
journal = {CoRR},
volume = {abs/1708.05194},
year = {2017},
url = {http://arxiv.org/abs/1708.05194},
eprinttype = {arXiv},
eprint = {1708.05194},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-05194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LinardBBCDHM16,
author = {Alban Linard and
Beno{\^{\i}}t Barbot and
Didier Buchs and
Maximilien Colange and
Cl{\'{e}}ment D{\'{e}}moulins and
Lom{-}Messan Hillah and
Alexis Martin},
editor = {Lawrence Cabac and
Lars Michael Kristensen and
Heiko R{\"{o}}lke},
title = {Layered Data: {A} Modular Formal Definition without Formalisms},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering 2016, including the International Workshop on Biological
Processes {\&} Petri Nets 2016 co-located with the 37th International
Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2016 and the 16th International Conference on Application
of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland,
June 20-21, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1591},
pages = {287--306},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1591/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/LinardBBCDHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccomm/PuraMB16,
author = {Mihai Lica Pura and
Luciana Morogan and
Didier Buchs},
title = {Generation of the path to counter-examples by backward state space
traversal in symbolic model checking based on term rewriting},
booktitle = {International Conference on Communications, {COMM} 2016, Bucharest,
Romania, June 9-10, 2016},
pages = {85--88},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICComm.2016.7528292},
doi = {10.1109/ICCOMM.2016.7528292},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccomm/PuraMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DavidSVBBCV16,
author = {Istv{\'{a}}n D{\'{a}}vid and
Eugene Syriani and
Clark Verbrugge and
Didier Buchs and
Dominique Blouin and
Antonio Cicchetti and
Ken Vanherpen},
editor = {Henry Muccini and
Ivano Malavolta and
Sebastien Gerard and
Dimitris S. Kolovos},
title = {Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies},
booktitle = {Proceedings of the 1st International Workshop on Collaborative Modelling
in {MDE} (COMMitMDE 2016) co-located with {ACM/IEEE} 19th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2016), St. Malo, France, October 4, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1717},
pages = {35--44},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1717/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DavidSVBBCV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RacordonB16,
author = {Dimitri Racordon and
Didier Buchs},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Verifying Multi-core Schedulability with Data Decision Diagrams},
booktitle = {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},
pages = {45--61},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_4},
doi = {10.1007/978-3-319-45892-2\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/RacordonB16.bib},
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},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
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},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {117--132},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_9},
doi = {10.1007/978-3-319-45892-2\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KlikovitsLGB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/LawrenceGDVB16,
author = {David P. Y. Lawrence and
Cl{\'{a}}udio Gomes and
Joachim Denil and
Hans Vangheluwe and
Didier Buchs},
editor = {Fernando Barros and
Herbert Pr{\"{a}}hofer and
Xiaolin Hu and
Joachim Denil},
title = {Coupling petri nets with deterministic formalisms using co-simulation},
booktitle = {Proceedings of the Symposium on Theory of Modeling {\&} Simulation,
{TMS/DEVS} 2016, part of the 2016 Spring Simulation Multiconference,
SpringSim '16, Pasadena, CA, USA, April 3-6, 2016},
pages = {6},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2975395},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/springsim/LawrenceGDVB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ColangeRB15,
author = {Maximilien Colange and
Dimitri Racordon and
Didier Buchs},
title = {Computing Bounds for Counter Automata},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {72},
year = {2015},
url = {https://doi.org/10.14279/tuj.eceasst.72.1016},
doi = {10.14279/TUJ.ECEASST.72.1016},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ColangeRB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarechalB15,
author = {Alexis Marechal and
Didier Buchs},
title = {Generalizing the Compositions of Petri Nets Modules},
journal = {Fundam. Informaticae},
volume = {137},
number = {1},
pages = {87--116},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1171},
doi = {10.3233/FI-2015-1171},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarechalB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/PuraB15,
author = {Mihai{-}Lica Pura and
Didier Buchs},
title = {Symbolic Model Checking of Security Protocols for Ad hoc Networks
on any Topologies},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {10},
pages = {109--130},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48650-4\_6},
doi = {10.1007/978-3-662-48650-4\_6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/PuraB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BobedaCB15,
author = {Edmundo L{\'{o}}pez B{\'{o}}beda and
Maximilien Colange and
Didier Buchs},
title = {Building a Symbolic Model Checker from Formal Language Description},
booktitle = {15th International Conference on Application of Concurrency to System
Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ACSD.2015.10},
doi = {10.1109/ACSD.2015.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BobedaCB15.bib},
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},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
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},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {46--61},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_4},
doi = {10.1007/978-3-319-23129-7\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KlikovitsLGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ColangeRB15,
author = {Maximilien Colange and
Dimitri Racordon and
Didier Buchs},
title = {A CEGAR-like Approach for Cost {LTL} Bounds},
journal = {CoRR},
volume = {abs/1506.05728},
year = {2015},
url = {http://arxiv.org/abs/1506.05728},
eprinttype = {arXiv},
eprint = {1506.05728},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ColangeRB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PuraB14,
author = {Mihai{-}Lica Pura and
Didier Buchs},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Using Symbolic Techniques and Algebraic Petri Nets to Model Check
Security Protocols for Ad Hoc Networks},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, co-located with 35th International Conference on Application
and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
International Conference on Application of Concurrency to System Design
{(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1160},
pages = {91--110},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1160/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/apn/PuraB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BobedaCB14,
author = {Edmundo L{\'{o}}pez B{\'{o}}beda and
Maximilien Colange and
Didier Buchs},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {StrataGEM: {A} Generic Petri Net Verification Framework},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {364--373},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_20},
doi = {10.1007/978-3-319-07734-5\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BobedaCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccomm/PuraB14,
author = {Mihai{-}Lica Pura and
Didier Buchs},
title = {Model checking {ARAN} ad hoc secure routing protocol with algebraic
Petri nets},
booktitle = {10th International Conference on Communications, {COMM} 2014, Bucharest,
Romania, May 29-31, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICComm.2014.6866692},
doi = {10.1109/ICCOMM.2014.6866692},
timestamp = {Fri, 01 Apr 2022 12:37:24 +0200},
biburl = {https://dblp.org/rec/conf/iccomm/PuraB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccomm/PuraB14a,
author = {Mihai Lica Pura and
Didier Buchs},
title = {A self-organized key management scheme for ad hoc networks based on
identity-based cryptography},
booktitle = {10th International Conference on Communications, {COMM} 2014, Bucharest,
Romania, May 29-31, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICComm.2014.6866683},
doi = {10.1109/ICCOMM.2014.6866683},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccomm/PuraB14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PuraB14,
author = {Mihai{-}Lica Pura and
Didier Buchs},
title = {Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure
Routing Protocols in Mobility Scenarios},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April
4, 2014, Cleveland, Ohio, {USA}},
pages = {2--3},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICSTW.2014.64},
doi = {10.1109/ICSTW.2014.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PuraB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LawrenceBW14,
author = {David P. Y. Lawrence and
Didier Buchs and
Armin Wellig},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Using Instrumentation for Quality Assessment of Resilient Software
in Embedded Systems},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {139--153},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_11},
doi = {10.1007/978-3-319-12241-0\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/LawrenceBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MarechalB13,
author = {Alexis Marechal and
Didier Buchs},
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {Unifying the Semantics of Modular Extensions of Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
pages = {349--368},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8\_19},
doi = {10.1007/978-3-642-38697-8\_19},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/MarechalB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KordonLBBFHHLLMPPRRTWW13,
author = {Fabrice Kordon and
Alban Linard and
Marco Beccuti and
Didier Buchs and
Lukasz Fronc and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Fabrice Legond{-}Aubry and
Niels Lohmann and
Alexis Marechal and
Emmanuel Paviot{-}Adet and
Franck Pommereau and
C{\'{e}}sar Rodr{\'{\i}}guez and
Christian Rohr and
Yann Thierry{-}Mieg and
Harro Wimmel and
Karsten Wolf},
title = {Model Checking Contest @ Petri Nets, Report on the 2013 edition},
journal = {CoRR},
volume = {abs/1309.2485},
year = {2013},
url = {http://arxiv.org/abs/1309.2485},
eprinttype = {arXiv},
eprint = {1309.2485},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SedlmajerBHLBM12,
author = {Nicolas Sedlmajer and
Didier Buchs and
Steve Hostettler and
Alban Linard and
Edmundo L{\'{o}}pez B{\'{o}}beda and
Alexis Marechal},
title = {A Domain Specific Language Approach for Genetic Regulatory Mechanisms
Analysis},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {123--145},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_6},
doi = {10.1007/978-3-642-35179-2\_6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/SedlmajerBHLBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonLBCELLPTW12,
author = {Fabrice Kordon and
Alban Linard and
Didier Buchs and
Maximilien Colange and
Sami Evangelista and
Kai Lampka and
Niels Lohmann and
Emmanuel Paviot{-}Adet and
Yann Thierry{-}Mieg and
Harro Wimmel},
title = {Report on the Model Checking Contest at Petri Nets 2011},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {169--196},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_8},
doi = {10.1007/978-3-642-35179-2\_8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-2382,
author = {Fabrice Kordon and
Alban Linard and
Didier Buchs and
Maximilien Colange and
Sami Evangelista and
Lukasz Fronc and
Lom{-}Messan Hillah and
Niels Lohmann and
Emmanuel Paviot{-}Adet and
Franck Pommereau and
Christian Rohr and
Yann Thierry{-}Mieg and
Harro Wimmel and
Karsten Wolf},
title = {Raw Report on the Model Checking Contest at Petri Nets 2012},
journal = {CoRR},
volume = {abs/1209.2382},
year = {2012},
url = {http://arxiv.org/abs/1209.2382},
eprinttype = {arXiv},
eprint = {1209.2382},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-2382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HostettlerMLRB11,
author = {Steve Hostettler and
Alexis Marechal and
Alban Linard and
Matteo Risoldi and
Didier Buchs},
title = {High-Level Petri Net Model Checking with AlPiNA},
journal = {Fundam. Informaticae},
volume = {113},
number = {3-4},
pages = {229--264},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-608},
doi = {10.3233/FI-2011-608},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HostettlerMLRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BuchsHM11,
author = {Didier Buchs and
Steve Hostettler and
Alexis Marechal},
editor = {Elena Troubitsyna},
title = {Experience-Based Model Refinement},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {40--47},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_4},
doi = {10.1007/978-3-642-24124-6\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/BuchsHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3436,
author = {Nicolas Sedlmajer and
Didier Buchs and
Steve Hostettler and
Alban Linard and
Edmundo L{\'{o}}pez B{\'{o}}beda and
Alexis Marechal},
title = {Modelling of Genetic Regulatory Mechanisms with GReg},
journal = {CoRR},
volume = {abs/1108.3436},
year = {2011},
url = {http://arxiv.org/abs/1108.3436},
eprinttype = {arXiv},
eprint = {1108.3436},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LinardPKBC10,
author = {Alban Linard and
Emmanuel Paviot{-}Adet and
Fabrice Kordon and
Didier Buchs and
Samuel Charron},
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {polyDD: Towards a Framework Generalizing Decision Diagrams},
booktitle = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
pages = {124--133},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACSD.2010.17},
doi = {10.1109/ACSD.2010.17},
timestamp = {Thu, 11 Jul 2024 20:37:24 +0200},
biburl = {https://dblp.org/rec/conf/acsd/LinardPKBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BuchsKSSST10,
author = {Didier Buchs and
Fabrice Kordon and
Alexander Serebrenik and
Natalia Sidorova and
Jeremy Spronston and
Yann Thierry{-}Mieg},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Introduction},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {371},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/28\_DidierBuchs\_introduction.pdf},
timestamp = {Thu, 11 Jul 2024 20:37:24 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BuchsKSSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BuchsHMR10,
author = {Didier Buchs and
Steve Hostettler and
Alexis Marechal and
Matteo Risoldi},
editor = {Johan Lilius and
Wojciech Penczek},
title = {AlPiNA: {A} Symbolic Model Checker},
booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {287--296},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7\_17},
doi = {10.1007/978-3-642-13675-7\_17},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BuchsHMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PedroRB010,
author = {Luis Pedro and
Matteo Risoldi and
Didier Buchs and
Vasco Amaral},
title = {Developing domain-specific modeling languages by metamodel semantic
enrichment and composition: a case study},
booktitle = {DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific
Modeling, Reno, Nevada, USA, October 17-18, 2010},
pages = {16:1--16:6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2060329.2060364},
doi = {10.1145/2060329.2060364},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PedroRB010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BuchsHMR10,
author = {Didier Buchs and
Steve Hostettler and
Alexis Marechal and
Matteo Risoldi},
editor = {Javier Esparza and
Rupak Majumdar},
title = {AlPiNA: An Algebraic Petri Net Analyzer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {349--352},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_29},
doi = {10.1007/978-3-642-12002-2\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BuchsHMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BarrocaLBAP09,
author = {Bruno Barroca and
Levi Lucio and
Didier Buchs and
Vasco Amaral and
Luis Pedro},
title = {{DSL} Composition for model-based test generation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {21},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.21.301},
doi = {10.14279/TUJ.ECEASST.21.301},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BarrocaLBAP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/NicolescuB09,
author = {Gabriela Nicolescu and
Didier Buchs},
title = {Rapid systems prototyping at RSP'06},
journal = {Microelectron. J.},
volume = {40},
number = {7},
pages = {1081},
year = {2009},
url = {https://doi.org/10.1016/j.mejo.2008.11.059},
doi = {10.1016/J.MEJO.2008.11.059},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mj/NicolescuB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BuchsLC09,
author = {Didier Buchs and
Levi Lucio and
Ang Chen},
editor = {Fabrice Kordon and
Yvon Kermarrec},
title = {Model Checking Techniques for Test Generation from Business Process
Models},
booktitle = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
International Conference, Brest, France, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5570},
pages = {59--74},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01924-1\_5},
doi = {10.1007/978-3-642-01924-1\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BuchsLC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/PedroRBBA09,
author = {Luis Pedro and
Matteo Risoldi and
Didier Buchs and
Bruno Barroca and
Vasco Amaral},
editor = {Julie A. Jacko},
title = {Composing Visual Syntax for Domain Specific Languages},
booktitle = {Human-Computer Interaction. Novel Interaction Methods and Techniques,
13th International Conference, {HCI} International 2009, San Diego,
CA, USA, July 19-24, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5611},
pages = {889--898},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02577-8\_97},
doi = {10.1007/978-3-642-02577-8\_97},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hci/PedroRBBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/RisoldiABBBCFCMZ09,
author = {Matteo Risoldi and
Vasco Amaral and
Bruno Barroca and
Kaveh Bazargan and
Didier Buchs and
Fabian Cretton and
Gilles Falquet and
Anne Le Calv{\'{e}} and
St{\'{e}}phane Malandain and
Pierrick Zoss},
editor = {Denis Lalanne and
J{\"{u}}rg Kohlas},
title = {A Language and a Methodology for Prototyping User Interfaces for Control
Systems},
booktitle = {Human Machine Interaction, Research Results of the {MMI} Program},
series = {Lecture Notes in Computer Science},
volume = {5440},
pages = {221--248},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00437-7\_9},
doi = {10.1007/978-3-642-00437-7\_9},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/RisoldiABBBCFCMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/PedroLB07,
author = {Luis Pedro and
Levi Lucio and
Didier Buchs},
title = {System Prototype and Verification Using Metamodel-Based Transformations},
journal = {{IEEE} Distributed Syst. Online},
volume = {8},
number = {4},
year = {2007},
url = {https://doi.org/10.1109/MDSO.2007.22},
doi = {10.1109/MDSO.2007.22},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dsonline/PedroLB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/RisoldiB07,
author = {Matteo Risoldi and
Didier Buchs},
title = {A domain specific language and methodology for control systems {GUI}
specification, verification and prototyping},
booktitle = {2007 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2007), 23-27 September 2007, Coeur d'Alene, Idaho, {USA}},
pages = {179--182},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/VLHCC.2007.21},
doi = {10.1109/VLHCC.2007.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/RisoldiB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rise/2006,
editor = {Nicolas Guelfi and
Didier Buchs},
title = {Rapid Integration of Software Engineering Techniques, Third International
Workshop, {RISE} 2006, Geneva, Switzerland, September 13-15, 2006.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4401},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71876-5},
doi = {10.1007/978-3-540-71876-5},
isbn = {978-3-540-71875-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rise/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dics/BuchsPL06,
author = {Didier Buchs and
Luis Pedro and
Levi Lucio},
editor = {J{\"{u}}rg Kohlas and
Bertrand Meyer and
Andr{\'{e}} Schiper},
title = {Formal Test Generation from {UML} Models},
booktitle = {Dependable Systems: Software, Computing, Networks, Research Results
of the {DICS} Program},
series = {Lecture Notes in Computer Science},
volume = {4028},
pages = {145--171},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11808107\_7},
doi = {10.1007/11808107\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dics/BuchsPL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/PedroLB06,
author = {Luis Pedro and
Levi Lucio and
Didier Buchs},
title = {Principles for System Prototype and Verification Using Metamodel Based
Transformations},
booktitle = {17th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2006), 14-16 June 2006, Chania, Crete, Greece},
pages = {10--17},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RSP.2006.29},
doi = {10.1109/RSP.2006.29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/PedroLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/ChenB06,
author = {Ang Chen and
Didier Buchs},
title = {Generative Business Process Prototyping Framework},
booktitle = {17th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2006), 14-16 June 2006, Chania, Crete, Greece},
pages = {140--148},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RSP.2006.20},
doi = {10.1109/RSP.2006.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/ChenB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/PedroLB05,
author = {Luis Pedro and
Levi Lucio and
Didier Buchs},
editor = {Nicolas Guelfi and
Anthony Savidis},
title = {Prototyping Domain Specific Languages with {COOPN}},
booktitle = {Rapid Integration of Software Engineering Techniques, Second International
Workshop, {RISE} 2005, Heraklion, Crete, Greece, September 8-9, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3943},
pages = {174--189},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11751113\_13},
doi = {10.1007/11751113\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rise/PedroLB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/ChenB05,
author = {Ang Chen and
Didier Buchs},
editor = {Nicolas Guelfi and
Anthony Savidis},
title = {Towards Service-Based Business Process Modeling, Prototyping and Integration},
booktitle = {Rapid Integration of Software Engineering Techniques, Second International
Workshop, {RISE} 2005, Heraklion, Crete, Greece, September 8-9, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3943},
pages = {218--233},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11751113\_16},
doi = {10.1007/11751113\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rise/ChenB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LucioPB05,
author = {Levi Lucio and
Luis Pedro and
Didier Buchs},
title = {A Test Language for {CO-OPN} Specifications},
booktitle = {16th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2005), 8-10 June 2005, Montreal, Canada},
pages = {195--201},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RSP.2005.9},
doi = {10.1109/RSP.2005.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/LucioPB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/BesrourHB04,
author = {Adel Besrour and
David Hurzeler and
Didier Buchs},
editor = {M. H. Hamza},
title = {Concurrent object oriented approach in morm simulation},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 17-19, 2004},
pages = {90--94},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/BesrourHB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/LucioPB04,
author = {Levi Lucio and
Luis Pedro and
Didier Buchs},
editor = {Nicolas Guelfi},
title = {A Methodology and a Framework for Model-Based Testing},
booktitle = {Rapid Integration of Software Engineering Techniques, First International
Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
26, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3475},
pages = {57--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11423331\_6},
doi = {10.1007/11423331\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rise/LucioPB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/ChachkovB03,
author = {Stanislav Chachkov and
Didier Buchs},
title = {Interfacing Software Libraries from Nondeterministic Prototypes},
journal = {Des. Autom. Embed. Syst.},
volume = {8},
number = {4},
pages = {327--343},
year = {2003},
url = {https://doi.org/10.1023/B:DAEM.0000013066.31883.73},
doi = {10.1023/B:DAEM.0000013066.31883.73},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/ChachkovB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BuchsCH03,
author = {Didier Buchs and
Stanislav Chachkov and
David Hurzeler},
title = {Modelling a Secure, Mobile, and Transactional System with {CO-OPN}},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {82--91},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207702},
doi = {10.1109/CSD.2003.1207702},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BuchsCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Al-ShabibiBBCCH03,
author = {Ali Al{-}Shabibi and
Didier Buchs and
Mathieu Buffo and
Stanislav Chachkov and
Ang Chen and
David Hurzeler},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Prototyping Object Oriented Specifications},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {473--482},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_30},
doi = {10.1007/3-540-44919-1\_30},
timestamp = {Sat, 19 Oct 2019 20:09:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Al-ShabibiBBCCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SerugendoMBG02,
author = {Giovanna Di Marzo Serugendo and
Dino Mandrioli and
Didier Buchs and
Nicolas Guelfi},
editor = {Javier Esparza and
Charles Lakos},
title = {Real-Time Synchronised Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {142--162},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_10},
doi = {10.1007/3-540-48068-4\_10},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/SerugendoMBG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/ChachkovB02,
author = {Stanislav Chachkov and
Didier Buchs},
title = {Interfacing Software Libraries from Non-deterministic Prototypes},
booktitle = {13th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2002), 1-3 July 2002, Darmstadt, Germany},
pages = {92--98},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/IWRSP.2002.1029743},
doi = {10.1109/IWRSP.2002.1029743},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/ChachkovB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ChachkovB01,
author = {Stanislav Chachkov and
Didier Buchs},
title = {From Formal Specifications to Ready-to-Use Software Components: The
Concurrent Object Oriented Petri Net Approach},
booktitle = {2nd International Conference on Application of Concurrency to System
Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
pages = {99},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSD.2001.981768},
doi = {10.1109/CSD.2001.981768},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/ChachkovB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cooppn/BibersteinBG01,
author = {O. Biberstein and
Didier Buchs and
Nicolas Guelfi},
editor = {Gul Agha and
Fiorella de Cindio and
Grzegorz Rozenberg},
title = {Object-Oriented Nets with Algebraic Specifications: The {CO-OPN/2}
Formalism},
booktitle = {Concurrent Object-Oriented Programming and Petri Nets, Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2001},
pages = {73--130},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45397-0\_3},
doi = {10.1007/3-540-45397-0\_3},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cooppn/BibersteinBG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/ChachkovB01,
author = {Stanislav Chachkov and
Didier Buchs},
title = {From an Abstract Object-Oriented Model to a Ready-to-Use Embedded
System Controller},
booktitle = {12th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2001), 25-27 June 2001, Monterey, CA, {USA}},
pages = {142--148},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/IWRSP.2001.933852},
doi = {10.1109/IWRSP.2001.933852},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/ChachkovB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BuchsG00,
author = {Didier Buchs and
Nicolas Guelfi},
title = {A Formal Specification Framework for Object-Oriented Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {7},
pages = {635--652},
year = {2000},
url = {https://doi.org/10.1109/32.859532},
doi = {10.1109/32.859532},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BuchsG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BuffoB99,
author = {Mathieu Buffo and
Didier Buchs},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {A Distributed Semantics for a IWIM-Based Coordination Language},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {415},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_29},
doi = {10.1007/3-540-48919-3\_29},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BuffoB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BuchsB99,
author = {Didier Buchs and
Mathieu Buffo},
title = {Rapid Prototyping of Formally Modelled Distributed Systems},
booktitle = {Proceedings of the Tenth {IEEE} International Workshop on Rapid System
Prototyping {(RSP} 1999), Clearwater, Florida, USA, June 16-18, 1999},
pages = {4--9},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/IWRSP.1999.779023},
doi = {10.1109/IWRSP.1999.779023},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/BuchsB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/PeraireBB98,
author = {C{\'{e}}cile P{\'{e}}raire and
St{\'{e}}phane Barbey and
Didier Buchs},
editor = {David Gries and
Willem P. de Roever},
title = {Test selection for object-oriented software based on formal specifications},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {385--403},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
biburl = {https://dblp.org/rec/conf/procomet/PeraireBB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BuchsDK98,
author = {Didier Buchs and
Alioune Diagne and
Fabrice Kordon},
title = {Testing Prototypes Validity to Enhance Code Reuse},
booktitle = {Proceedings of the Ninth {IEEE} International Workshop on Rapid System
Prototyping {(RSP} 1998), Leuven, Belgium, June 3-5, 1998},
pages = {6--12},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/IWRSP.1998.676661},
doi = {10.1109/IWRSP.1998.676661},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/BuchsDK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BuffoB97,
author = {Mathieu Buffo and
Didier Buchs},
title = {Contextual Coordination for the Mapping of Distributed Systems on
Object-Oriented Systems},
journal = {Comput. Artif. Intell.},
volume = {16},
number = {2},
pages = {187--216},
year = {1997},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/668},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/BuffoB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BuffoB97,
author = {Mathieu Buffo and
Didier Buchs},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {A Coordination Model for Distributed Object Systems},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {410--413},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_94},
doi = {10.1007/3-540-63383-9\_94},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BuffoB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BastideB97,
author = {R{\'{e}}mi Bastide and
Didier Buchs},
editor = {Jan Bosch and
Stuart Mitchell},
title = {Models, Formalisms and Methods for Object-Oriented Distributed Computing
{(ECOOP} Workshop)},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1357},
pages = {221--255},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69687-3\_45},
doi = {10.1007/3-540-69687-3\_45},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BastideB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BarbeyBP96,
author = {St{\'{e}}phane Barbey and
Didier Buchs and
C{\'{e}}cile P{\'{e}}raire},
editor = {Andrzej Hlawiczka and
Jo{\~{a}}o Gabriel Silva and
Luca Simoncini},
title = {A Theory of Specification-Based Testing for Object-Oriented Software},
booktitle = {Dependable Computing - EDCC-2, Second European Dependable Computing
Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1150},
pages = {303--320},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61772-8\_45},
doi = {10.1007/3-540-61772-8\_45},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/BarbeyBP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/BuffoB96,
author = {Mathieu Buffo and
Didier Buchs},
editor = {Paulo C{\'{e}}sar Masiero and
Jos{\'{e}} Carlos Maldonado},
title = {Contextual Coordination between Objects},
booktitle = {Proceedings of the 10th Brazilian Symposium on Software Engineering,
{SBES} 1996, S{\~{a}}o Carlos, SP, Brazil, October 14-18, 1996},
pages = {341--356},
publisher = {{SBC}},
year = {1996},
url = {https://doi.org/10.5753/sbes.1996.24452},
doi = {10.5753/SBES.1996.24452},
timestamp = {Wed, 17 Jan 2024 09:54:28 +0100},
biburl = {https://dblp.org/rec/conf/sbes/BuffoB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BuchsBR95,
author = {Didier Buchs and
C. Buffard and
Pascal Racloz},
editor = {Marcel Toussaint},
title = {Modeling and Validation of Tasks with Algebraic Structured Nets},
booktitle = {Ada in Europe, Second International Eurospace - Ada-Europe Symposium,
Frankfurt/Main, Germany, October 2-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1031},
pages = {284--297},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015502},
doi = {10.1007/BFB0015502},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BuchsBR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BarbeyB94,
author = {St{\'{e}}phane Barbey and
Didier Buchs},
editor = {Marcel Toussaint},
title = {Testing Ada Abstract Data Types Using Formal Specifications},
booktitle = {Ada in Europe, First International Eurospace - Ada-Europe Symposium,
Copenhagen, Denmark, September 26-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {887},
pages = {76--89},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58822-1\_90},
doi = {10.1007/3-540-58822-1\_90},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BarbeyB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BuchsG93,
author = {Didier Buchs and
Nicolas Guelfi},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {Formal Development of Actor Programs Using Structured Algebraic Petri
Nets},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {353--366},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_28},
doi = {10.1007/3-540-56891-3\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/BuchsG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BuchsFR92,
author = {Didier Buchs and
Jacques Flumet and
Pascal Racloz},
title = {Producing prototypes from {CO-OPN} specifications},
booktitle = {Proceedings of the Third International Workshop on Rapid System Prototyping,
{RSP} 1992, Research Triangle Park, North Carolina, USA, June 23-15,
1992},
pages = {77--93},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/IWRSP.1992.243915},
doi = {10.1109/IWRSP.1992.243915},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/BuchsFR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-05 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
