Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pierre-Yves Schobbens
@article{DBLP:journals/corr/abs-2402-05102,
author = {Alix Decrop and
Gilles Perrouin and
Mike Papadakis and
Xavier Devroey and
Pierre{-}Yves Schobbens},
title = {You Can {REST} Now: Automated Specification Inference and Black-Box
Testing of RESTful APIs with Large Language Models},
journal = {CoRR},
volume = {abs/2402.05102},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.05102},
doi = {10.48550/ARXIV.2402.05102},
eprinttype = {arXiv},
eprint = {2402.05102},
timestamp = {Wed, 14 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-05102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/OuaredAS23,
author = {Abdelkader Ouared and
Moussa Amrani and
Pierre{-}Yves Schobbens},
title = {Explainable {AI} for {DBA:} Bridging the DBA's experience and machine
learning in tuning database systems},
journal = {Concurr. Comput. Pract. Exp.},
volume = {35},
number = {21},
year = {2023},
url = {https://doi.org/10.1002/cpe.7698},
doi = {10.1002/CPE.7698},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/OuaredAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/AmorimRMAFCAOSP23,
author = {Junier Caminha Amorim and
Eduardo Lemos Rocha and
Luigi Minardi and
Vander Alves and
Edison Pignaton de Freitas and
Thiago M. Castro and
Moussa Amrani and
James Ortiz and
Pierre{-}Yves Schobbens and
Gilles Perrouin},
title = {Providing command and control agility: {A} software product line approach},
journal = {Expert Syst. Appl.},
volume = {216},
pages = {119473},
year = {2023},
url = {https://doi.org/10.1016/j.eswa.2022.119473},
doi = {10.1016/J.ESWA.2022.119473},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/AmorimRMAFCAOSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/OuaredAS23,
author = {Abdelkader Ouared and
Moussa Amrani and
Pierre{-}Yves Schobbens},
editor = {Jelena Jovanovic and
Irene{-}Angelica Chounta and
James Uhomoibhi and
Bruce M. McLaren},
title = {Learning Analytics Solution for Monitoring and Analyzing the Students'
Behavior in {SQL} Lab Work},
booktitle = {Proceedings of the 15th International Conference on Computer Supported
Education, {CSEDU} 2023, Volume 2, Prague, Czech Republic, April 21-23,
2023},
pages = {184--195},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011848200003470},
doi = {10.5220/0011848200003470},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csedu/OuaredAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CuartasACOPS23,
author = {Jaime Cuartas and
Jes{\'{u}}s Aranda and
Maxime Cordy and
James Ortiz and
Gilles Perrouin and
Pierre{-}Yves Schobbens},
title = {{MUPPAAL:} Reducing and Removing Equivalent and Duplicate Mutants
in {UPPAAL}},
booktitle = {{IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2023 - Workshops, Dublin, Ireland, April 16-20,
2023},
pages = {52--61},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSTW58534.2023.00021},
doi = {10.1109/ICSTW58534.2023.00021},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CuartasACOPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/OuaredAS23,
author = {Abdelkader Ouared and
Moussa Amrani and
Pierre{-}Yves Schobbens},
editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz},
title = {Go Meta of Learned Cost Models: On the Power of Abstraction},
booktitle = {Proceedings of the 11th International Conference on Model-Based Software
and Systems Engineering, {MODELSWARD} 2023, Lisbon, Portugal, February
19-21, 2023},
pages = {43--54},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011665800003402},
doi = {10.5220/0011665800003402},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/OuaredAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CordyLLS23,
author = {Maxime Cordy and
Sami Lazreg and
Axel Legay and
Pierre{-}Yves Schobbens},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Towards Strengthening Formal Specifications with Mutation Model Checking},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {2102--2106},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3613080},
doi = {10.1145/3611643.3613080},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/CordyLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/SantosSMP23,
author = {Edilton Lima dos Santos and
Pierre{-}Yves Schobbens and
Ivan Machado and
Gilles Perrouin},
editor = {Myra B. Cohen and
Thomas Th{\"{u}}m and
Jacopo Mauro},
title = {Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!},
booktitle = {Proceedings of the 17th International Working Conference on Variability
Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark,
January 25-27, 2023},
pages = {85--87},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3571788.3571802},
doi = {10.1145/3571788.3571802},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/SantosSMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AmraniOS23,
author = {Moussa Amrani and
Abdelkader Ouared and
Pierre{-}Yves Schobbens},
editor = {Belgacem Ben Hedia and
Yassine Maleh and
Moez Krichen},
title = {Command {\&} Control in UAVs Fleets: Coordinating Drones for Ground
Missions in Changing Contexts},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 16th International Conference, VECoS 2023, Marrakech, Morocco, October
18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14368},
pages = {163--177},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49737-7\_12},
doi = {10.1007/978-3-031-49737-7\_12},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AmraniOS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/OuaredAS22,
author = {Abdelkader Ouared and
Moussa Amrani and
Pierre{-}Yves Schobbens},
title = {{COMORP:} Rapid prototyping for mathematical database cost models
development},
journal = {J. Comput. Lang.},
volume = {73},
pages = {101173},
year = {2022},
url = {https://doi.org/10.1016/j.cola.2022.101173},
doi = {10.1016/J.COLA.2022.101173},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/OuaredAS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/SantosSP22,
author = {Edilton Lima dos Santos and
Pierre{-}Yves Schobbens and
Gilles Perrouin},
title = {Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive
Systems at Runtime},
booktitle = {{IEEE} 19th International Conference on Software Architecture Companion,
{ICSA} Companion 2022, Honolulu, HI, USA, March 12-15, 2022},
pages = {104--107},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSA-C54293.2022.00026},
doi = {10.1109/ICSA-C54293.2022.00026},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/SantosSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AmraniOS22,
author = {Moussa Amrani and
Abdelkader Ouared and
Pierre{-}Yves Schobbens},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {Towards the systematic design of model animation: key ingredients
and general guidelines},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {755--765},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3561607},
doi = {10.1145/3550356.3561607},
timestamp = {Thu, 10 Nov 2022 12:50:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AmraniOS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SantosFPS21,
author = {Edilton Lima dos Santos and
Sophie Fortz and
Gilles Perrouin and
Pierre{-}Yves Schobbens},
editor = {Robert Heinrich and
Raffaela Mirandola and
Danny Weyns},
title = {A Vision to identify Architectural Smells in Self-Adaptive Systems
using Behavioral Maps (short paper)},
booktitle = {{ECSA} 2021 Companion Volume, Virtual (originally: V{\"{a}}xj{\"{o}},
Sweden), 13-17 September, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2978},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2978/casa-paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/SantosFPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SantosFSP21,
author = {Edilton Lima dos Santos and
Sophie Fortz and
Pierre{-}Yves Schobbens and
Gilles Perrouin},
editor = {Patrizia Scandurra and
Matthias Galster and
Raffaela Mirandola and
Danny Weyns},
title = {Behavioral Maps: Identifying Architectural Smells in Self-adaptive
Systems at Runtime},
booktitle = {Software Architecture - 15th European Conference, {ECSA} 2021 Tracks
and Workshops; V{\"{a}}xj{\"{o}}, Sweden, September 13-17,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13365},
pages = {159--180},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-15116-3\_8},
doi = {10.1007/978-3-031-15116-3\_8},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/SantosFSP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2021a,
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kingdom, September 6-11, 2021,
Volume {A}},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461001},
doi = {10.1145/3461001},
isbn = {978-1-4503-8469-8},
timestamp = {Sun, 24 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2021a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2021b,
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume
{B}},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461002},
doi = {10.1145/3461002},
isbn = {978-1-4503-8470-4},
timestamp = {Sun, 24 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2021b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/0001S20,
author = {Eun{-}Young Kang and
Pierre{-}Yves Schobbens},
title = {InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with
Energy Prognostics},
booktitle = {9th Mediterranean Conference on Embedded Computing, {MECO} 2020, Budva,
Montenegro, June 8-11, 2020},
pages = {1--5},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MECO49872.2020.9134341},
doi = {10.1109/MECO49872.2020.9134341},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/meco/0001S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/SantosPS20,
author = {Edilton Lima dos Santos and
Gilles Perrouin and
Pierre{-}Yves Schobbens},
editor = {Maxime Cordy and
Mathieu Acher and
Danilo Beuche and
Gunter Saake},
title = {{STARS:} software technology for adaptable and reusable systems PhD
research project},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling
of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
pages = {15:1--15:2},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377024.3377033},
doi = {10.1145/3377024.3377033},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/SantosPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CordyDLPCHSR19,
author = {Maxime Cordy and
Xavier Devroey and
Axel Legay and
Gilles Perrouin and
Andreas Classen and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {A Decade of Featured Transition Systems},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {285--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_18},
doi = {10.1007/978-3-030-30985-5\_18},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CordyDLPCHSR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/OrtizAS19,
author = {James Jerson Ortiz and
Moussa Amrani and
Pierre{-}Yves Schobbens},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {ML\({}_{\mbox{{\(\nu\)}}}\): {A} Distributed Real-Time Modal Logic},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {19--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_2},
doi = {10.1007/978-3-030-20652-9\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/OrtizAS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/LannaCARSA19,
author = {Andr{\'{e}} Lanna and
Thiago M. Castro and
Vander Alves and
Gena{\'{\i}}na Nunes Rodrigues and
Pierre{-}Yves Schobbens and
Sven Apel},
editor = {Thorsten Berger and
Philippe Collet and
Laurence Duchien and
Thomas Fogdal and
Patrick Heymans and
Timo Kehrer and
Jabier Martinez and
Ra{\'{u}}l Mazo and
Leticia Montalvillo and
Camille Salinesi and
Xhevahire T{\"{e}}rnava and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Feature-family-based reliability analysis of software product lines},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
2019},
pages = {11:1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3336294.3342376},
doi = {10.1145/3336294.3342376},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/LannaCARSA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/LannaCARSA18,
author = {Andr{\'{e}} Lanna and
Thiago M. Castro and
Vander Alves and
Gena{\'{\i}}na Nunes Rodrigues and
Pierre{-}Yves Schobbens and
Sven Apel},
title = {Feature-family-based reliability analysis of software product lines},
journal = {Inf. Softw. Technol.},
volume = {94},
pages = {59--81},
year = {2018},
url = {https://doi.org/10.1016/j.infsof.2017.10.001},
doi = {10.1016/J.INFSOF.2017.10.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/LannaCARSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SoaresSMA18,
author = {Larissa Rocha Soares and
Pierre{-}Yves Schobbens and
Ivan do Carmo Machado and
Eduardo Santana de Almeida},
title = {Feature interaction in software product line engineering: {A} systematic
mapping study},
journal = {Inf. Softw. Technol.},
volume = {98},
pages = {44--58},
year = {2018},
url = {https://doi.org/10.1016/j.infsof.2018.01.016},
doi = {10.1016/J.INFSOF.2018.01.016},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/SoaresSMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/DevroeyPPLSH18,
author = {Xavier Devroey and
Gilles Perrouin and
Mike Papadakis and
Axel Legay and
Pierre{-}Yves Schobbens and
Patrick Heymans},
title = {Model-based mutant equivalence detection using automata language equivalence
and simulations},
journal = {J. Syst. Softw.},
volume = {141},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2018.03.010},
doi = {10.1016/J.JSS.2018.03.010},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/DevroeyPPLSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CastroLATAS18,
author = {Thiago M. Castro and
Andr{\'{e}} Lanna and
Vander Alves and
Leopoldo Teixeira and
Sven Apel and
Pierre{-}Yves Schobbens},
title = {All roads lead to Rome: Commuting strategies for product-line reliability
analysis},
journal = {Sci. Comput. Program.},
volume = {152},
pages = {116--160},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.10.013},
doi = {10.1016/J.SCICO.2017.10.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CastroLATAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/DucheneMHS18,
author = {Adrien Duch{\^{e}}ne and
Hugues Marchal and
Zhenjiang Hu and
Pierre{-}Yves Schobbens},
editor = {Stefan Marr and
Jennifer B. Sartor},
title = {A lightweight data sharing system based on bidirectional transformations},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
and Engineering of Programming, Nice, France, April 09-12, 2018},
pages = {42--45},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3191697.3191722},
doi = {10.1145/3191697.3191722},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/programming/DucheneMHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/VegaPAS18,
author = {James Jerson Ortiz Vega and
Gilles Perrouin and
Moussa Amrani and
Pierre{-}Yves Schobbens},
title = {Model-Based Mutation Operators for Timed Systems: {A} Taxonomy and
Research Agenda},
booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018},
pages = {325--332},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/QRS.2018.00045},
doi = {10.1109/QRS.2018.00045},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/VegaPAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DevroeyPCSLSH17,
author = {Xavier Devroey and
Gilles Perrouin and
Maxime Cordy and
Hamza Samih and
Axel Legay and
Pierre{-}Yves Schobbens and
Patrick Heymans},
title = {Statistical prioritization for software product line testing: an experience
report},
journal = {Softw. Syst. Model.},
volume = {16},
number = {1},
pages = {153--171},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0479-8},
doi = {10.1007/S10270-015-0479-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DevroeyPCSLSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AmraniS17,
author = {Moussa Amrani and
Pierre{-}Yves Schobbens},
title = {Formal Analysis of Object-Oriented Mograms},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104042},
doi = {10.1145/3103111.3104042},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AmraniS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DevroeyPPLSH17,
author = {Xavier Devroey and
Gilles Perrouin and
Mike Papadakis and
Axel Legay and
Pierre{-}Yves Schobbens and
Patrick Heymans},
title = {Automata Language Equivalence vs. Simulations for Model-Based Mutant
Equivalence: An Empirical Evaluation},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {424--429},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.46},
doi = {10.1109/ICST.2017.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DevroeyPPLSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/GilsonBS17,
author = {Fabian Gilson and
Andr{\'{e}} Bittar and
Pierre{-}Yves Schobbens},
editor = {Jordi Cabot and
Roberto De Virgilio and
Riccardo Torlone},
title = {Public Debates on the Web},
booktitle = {Web Engineering - 17th International Conference, {ICWE} 2017, Rome,
Italy, June 5-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10360},
pages = {520--532},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60131-1\_37},
doi = {10.1007/978-3-319-60131-1\_37},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwe/GilsonBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/OrtizAS17,
author = {James Jerson Ortiz and
Moussa Amrani and
Pierre{-}Yves Schobbens},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Multi-timed Bisimulation for Distributed Timed Automata},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {52--67},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_4},
doi = {10.1007/978-3-319-57288-8\_4},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/OrtizAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LegayPDCSH17,
author = {Axel Legay and
Gilles Perrouin and
Xavier Devroey and
Maxime Cordy and
Pierre{-}Yves Schobbens and
Patrick Heymans},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {On Featured Transition Systems},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {453--463},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_35},
doi = {10.1007/978-3-319-51963-0\_35},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/LegayPDCSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PerrouinAACLS16,
author = {Gilles Perrouin and
Moussa Amrani and
Mathieu Acher and
Beno{\^{\i}}t Combemale and
Axel Legay and
Pierre{-}Yves Schobbens},
title = {Featured model types: towards systematic reuse in modelling language
engineering},
booktitle = {Proceedings of the 8th International Workshop on Modeling in Software
Engineering, MiSE@ICSE 2016, Austin, Texas, USA, May 16-17, 2016},
pages = {1--7},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2896982.2896987},
doi = {10.1145/2896982.2896987},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PerrouinAACLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ColsonDMHUS16,
author = {Kevin Colson and
Robin Dupuis and
Lionel Montrieux and
Zhenjiang Hu and
Sebasti{\'{a}}n Uchitel and
Pierre{-}Yves Schobbens},
title = {Reusable self-adaptation through bidirectional programming},
booktitle = {Proceedings of the 11th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {4--15},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897053.2897055},
doi = {10.1145/2897053.2897055},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/ColsonDMHUS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DevroeyPPLSH16,
author = {Xavier Devroey and
Gilles Perrouin and
Mike Papadakis and
Axel Legay and
Pierre{-}Yves Schobbens and
Patrick Heymans},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Featured model-based mutation analysis},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {655--666},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884821},
doi = {10.1145/2884781.2884821},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DevroeyPPLSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AmraniS16,
author = {Moussa Amrani and
Pierre{-}Yves Schobbens},
editor = {H{\"{u}}seyin Ergin and
Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
Moussa Amrani},
title = {Real-time model-driven engineering: an overview},
booktitle = {Joint Proceedings of the Second International Workshop on Patterns
in Model Engineering and the Fifth International Workshop on the Verification
of Model Transformation, {PAME/VOLT} 2016, co-located with {ACM/IEEE}
19th International Conference on Model Driven Engineering Languages
and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1693},
pages = {18--27},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1693/VoltPaper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/AmraniS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/CordyHLSDL16,
author = {Maxime Cordy and
Patrick Heymans and
Axel Legay and
Pierre{-}Yves Schobbens and
Bruno Dawagne and
Martin Leucker},
editor = {Jens Knoop and
Uwe Zdun},
title = {Counterexample guided abstraction refinement of product-line behavioural
models},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {79--80},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/732},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/CordyHLSDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/DevroeyPLSH16,
author = {Xavier Devroey and
Gilles Perrouin and
Axel Legay and
Pierre{-}Yves Schobbens and
Patrick Heymans},
editor = {Ina Schaefer and
Vander Alves and
Eduardo Santana de Almeida},
title = {Search-based Similarity-driven Behavioural {SPL} Testing},
booktitle = {Proceedings of the Tenth International Workshop on Variability Modelling
of Software-intensive Systems, Salvador, Brazil, January 27 - 29,
2016},
pages = {89--96},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2866614.2866627},
doi = {10.1145/2866614.2866627},
timestamp = {Tue, 06 Nov 2018 16:58:56 +0100},
biburl = {https://dblp.org/rec/conf/vamos/DevroeyPLSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/RodriguesANLCSS15,
author = {Gena{\'{\i}}na Nunes Rodrigues and
Vander Alves and
Vinicius Nunes and
Andr{\'{e}} Lanna and
Maxime Cordy and
Pierre{-}Yves Schobbens and
Amir Molzam Sharifloo and
Axel Legay},
title = {Modeling and Verification for Probabilistic Properties in Software
Product Lines},
booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
pages = {173--180},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HASE.2015.34},
doi = {10.1109/HASE.2015.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/RodriguesANLCSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DevroeyPSH15,
author = {Xavier Devroey and
Gilles Perrouin and
Pierre{-}Yves Schobbens and
Patrick Heymans},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Poster: VIBeS, Transition System Mutation Made Easy},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {817--818},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.263},
doi = {10.1109/ICSE.2015.263},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DevroeyPSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DevroeyCSLH15,
author = {Xavier Devroey and
Maxime Cordy and
Pierre{-}Yves Schobbens and
Axel Legay and
Patrick Heymans},
title = {State machine flattening, a mapping study and tools assessment},
booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17,
2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSTW.2015.7107408},
doi = {10.1109/ICSTW.2015.7107408},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DevroeyCSLH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/DevroeyPLSH15,
author = {Xavier Devroey and
Gilles Perrouin and
Axel Legay and
Pierre{-}Yves Schobbens and
Patrick Heymans},
editor = {Klaus Schmid and
{\O}ystein Haugen and
Johannes M{\"{u}}ller},
title = {Covering {SPL} Behaviour with Sampled Configurations: An Initial Assessment},
booktitle = {Proceedings of the Ninth International Workshop on Variability Modelling
of Software-intensive Systems, VaMoS '15, Hildesheim, Germany, January
21-23, 2015},
pages = {59},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2701319.2701325},
doi = {10.1145/2701319.2701325},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/DevroeyPLSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClassenCHLS14,
author = {Andreas Classen and
Maxime Cordy and
Patrick Heymans and
Axel Legay and
Pierre{-}Yves Schobbens},
title = {Formal semantics, modular specification, and symbolic verification
of product-line behaviour},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {416--439},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.09.019},
doi = {10.1016/J.SCICO.2013.09.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClassenCHLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DevroeyPLCSH14,
author = {Xavier Devroey and
Gilles Perrouin and
Axel Legay and
Maxime Cordy and
Pierre{-}Yves Schobbens and
Patrick Heymans},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Coverage Criteria for Behavioural Testing of Software Product Lines},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {336--350},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_24},
doi = {10.1007/978-3-662-45234-9\_24},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/DevroeyPLCSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BodartEOS14,
author = {Axel Bodart and
Keyvin Evrard and
James Jerson Ortiz and
Pierre{-}Yves Schobbens},
editor = {Robert Meersman and
Herv{\'{e}} Panetto and
Alok Mishra and
Rafael Valencia{-}Garc{\'{\i}}a and
Ant{\'{o}}nio Lucas Soares and
Ioana Ciuciu and
Fernando Ferri and
Georg Weichhart and
Thomas Moser and
Michele Bezzi and
Henry C. B. Chan},
title = {ArThUR: {A} Tool for Markov Logic Network},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2014 Workshops -
Confederated International Workshops: {OTM} Academy, {OTM} Industry
Case Studies Program, C{\&}TC, EI2N, INBAST, ISDE, META4eS, {MSC}
and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8842},
pages = {319--328},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45550-0\_32},
doi = {10.1007/978-3-662-45550-0\_32},
timestamp = {Thu, 12 Oct 2023 11:24:22 +0200},
biburl = {https://dblp.org/rec/conf/otm/BodartEOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KangS14,
author = {Eun{-}Young Kang and
Pierre{-}Yves Schobbens},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Schedulability analysis support for automotive systems: from requirement
to implementation},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1080--1085},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554929},
doi = {10.1145/2554850.2554929},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/KangS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CordyHLSDL14,
author = {Maxime Cordy and
Patrick Heymans and
Axel Legay and
Pierre{-}Yves Schobbens and
Bruno Dawagne and
Martin Leucker},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Counterexample guided abstraction refinement of product-line behavioural
models},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {190--201},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635919},
doi = {10.1145/2635868.2635919},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CordyHLSDL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DevroeyPCPLS14,
author = {Xavier Devroey and
Gilles Perrouin and
Maxime Cordy and
Mike Papadakis and
Axel Legay and
Pierre{-}Yves Schobbens},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {A variability perspective of mutation analysis},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {841--844},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2666610},
doi = {10.1145/2635868.2666610},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/DevroeyPCPLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/DevroeyPS14,
author = {Xavier Devroey and
Gilles Perrouin and
Pierre{-}Yves Schobbens},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Maurice H. ter Beek and
Goetz Botterweck and
Martin Becker},
title = {Abstract test case generation for behavioural testing of software
product lines},
booktitle = {18th International Software Product Lines Conference - Companion Volume
for Workshop, Tools and Demo papers, {SPLC} '14, Florence, Italy,
September 15-19, 2014},
pages = {86--93},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2647908.2655971},
doi = {10.1145/2647908.2655971},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/DevroeyPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/CordyWDHS14,
author = {Maxime Cordy and
Marco Willemart and
Bruno Dawagne and
Patrick Heymans and
Pierre{-}Yves Schobbens},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Maurice H. ter Beek and
Goetz Botterweck and
Martin Becker},
title = {An extensible platform for product-line behavioural analysis},
booktitle = {18th International Software Product Lines Conference - Companion Volume
for Workshop, Tools and Demo papers, {SPLC} '14, Florence, Italy,
September 15-19, 2014},
pages = {102--109},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2647908.2655973},
doi = {10.1145/2647908.2655973},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/CordyWDHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/DevroeyPCSLH14,
author = {Xavier Devroey and
Gilles Perrouin and
Maxime Cordy and
Pierre{-}Yves Schobbens and
Axel Legay and
Patrick Heymans},
editor = {Philippe Collet and
Andrzej Wasowski and
Thorsten Weyer},
title = {Towards statistical prioritization for software product lines testing},
booktitle = {The Eighth International Workshop on Variability Modelling of Software-intensive
Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014},
pages = {10:1--10:7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2556624.2556635},
doi = {10.1145/2556624.2556635},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/DevroeyPCSLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DevroeyPCLSH14,
author = {Xavier Devroey and
Gilles Perrouin and
Maxime Cordy and
Axel Legay and
Pierre{-}Yves Schobbens and
Patrick Heymans},
title = {State Machine Flattening: Mapping Study and Assessment},
journal = {CoRR},
volume = {abs/1403.5398},
year = {2014},
url = {http://arxiv.org/abs/1403.5398},
eprinttype = {arXiv},
eprint = {1403.5398},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DevroeyPCLSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/KangEMSSP13,
author = {Eun{-}Young Kang and
Eduard Paul Enoiu and
Raluca Marinescu and
Cristina Cerschi Seceleanu and
Pierre{-}Yves Schobbens and
Paul Pettersson},
title = {A methodology for formal analysis and verification of {EAST-ADL} models},
journal = {Reliab. Eng. Syst. Saf.},
volume = {120},
pages = {127--138},
year = {2013},
url = {https://doi.org/10.1016/j.ress.2013.06.007},
doi = {10.1016/J.RESS.2013.06.007},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/KangEMSSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HubauxHSDA13,
author = {Arnaud Hubaux and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Dirk Deridder and
Ebrahim Khalil Abbasi},
title = {Supporting multiple perspectives in feature-based configuration},
journal = {Softw. Syst. Model.},
volume = {12},
number = {3},
pages = {641--663},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0220-1},
doi = {10.1007/S10270-011-0220-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HubauxHSDA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ClassenCSHLR13,
author = {Andreas Classen and
Maxime Cordy and
Pierre{-}Yves Schobbens and
Patrick Heymans and
Axel Legay and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Featured Transition Systems: Foundations for Verifying Variability-Intensive
Systems and Their Application to {LTL} Model Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {8},
pages = {1069--1089},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.86},
doi = {10.1109/TSE.2012.86},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ClassenCSHLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-ic/NizzaOMS13,
author = {Damien De Nizza and
James Jerson Ortiz and
Hubert Meurisse and
Pierre{-}Yves Schobbens},
editor = {Rapha{\"{e}}l Troncy},
title = {Formalisation et Construction d'une Ontologie dans le Domaine des
Infections Orthop{\'{e}}diques},
booktitle = {{IC} 2013 : 24es Journ{\'{e}}es francophones d'Ing{\'{e}}nierie
des Connaissances (Proceedings of the 24th French Knowledge Engineering
Conference), Lille, France, July 1-5, 2013},
pages = {319--329},
year = {2013},
url = {https://hal.archives-ouvertes.fr/IC\_2013/hal-01107408},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/f-ic/NizzaOMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/KangS13,
author = {Eun{-}Young Kang and
Pierre{-}Yves Schobbens},
title = {Extending {EAST-ADL} towards formal modeling and analysis of energy-aware
real-time systems},
booktitle = {10th {IEEE} International Conference on Control and Automation, {ICCA}
2013, Hangzhou, China, June 12-14, 2013},
pages = {1890--1895},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICCA.2013.6564929},
doi = {10.1109/ICCA.2013.6564929},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icca/KangS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KangPS13,
author = {Eun{-}Young Kang and
Gilles Perrouin and
Pierre{-}Yves Schobbens},
title = {Model-Based Verification of Energy-Aware Real-Time Automotive Systems},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {135--144},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.27},
doi = {10.1109/ICECCS.2013.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KangPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CordyLST13,
author = {Maxime Cordy and
Axel Legay and
Pierre{-}Yves Schobbens and
Louis{-}Marie Traonouez},
title = {A framework for the rigorous design of highly adaptive timed systems},
booktitle = {1st {FME} Workshop on Formal Methods in Software Engineering, FormaliSE
2013, San Francisco, CA, USA, May 25, 2013},
pages = {64--70},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/FormaliSE.2013.6612279},
doi = {10.1109/FORMALISE.2013.6612279},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CordyLST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CordySHL13,
author = {Maxime Cordy and
Pierre{-}Yves Schobbens and
Patrick Heymans and
Axel Legay},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Beyond boolean product-line model checking: dealing with feature attributes
and multi-features},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {472--481},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606593},
doi = {10.1109/ICSE.2013.6606593},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CordySHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/NizzaOMS13,
author = {Damien De Nizza and
James Jerson Ortiz and
Hubert Meurisse and
Pierre{-}Yves Schobbens},
title = {{ORTHOGEN} : Syst{\`{e}}me d'information int{\'{e}}gr{\'{e}}
pour la tra{\c{c}}abilit{\'{e}} et la Gestion Multi-Param{\`{e}}tres
des Infections Orthop{\'{e}}diques},
booktitle = {Actes du XXXI{\`{e}}me Congr{\`{e}}s INFORSID, Paris, France, 29-31
Mai 2013},
pages = {421--436},
year = {2013},
url = {http://inforsid.fr/actes/2013/2013\_7\_2\%20De\%20nizza.pdf},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/NizzaOMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/CordyCHSL13,
author = {Maxime Cordy and
Andreas Classen and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Axel Legay},
title = {ProVeLines: a product line of verifiers for software product lines},
booktitle = {17th International Software Product Line Conference co-located workshops,
{SPLC} 2013 workshops, Tokyo, Japan - August 26 - 30, 2013},
pages = {141--146},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2499777.2499781},
doi = {10.1145/2499777.2499781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/CordyCHSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/KangS13,
author = {Eun{-}Young Kang and
Pierre{-}Yves Schobbens},
editor = {Gabriel A. Wainer and
Pieter J. Mosterman and
Fernando J. Barros and
Gregory Zacharewicz},
title = {Enabling formal analysis of energy-aware automotive embedded systems
in East-adl},
booktitle = {2013 Spring Simulation Multiconference, SpringSim '13, San Diego,
CA, USA, April 7-10, 2013, Proceedings of the Symposium on Theory
of Modeling and Simulation - {DEVS} Integrative M{\&}S Symposium},
pages = {9},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2499643},
timestamp = {Tue, 19 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/springsim/KangS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CordyCHLS13,
author = {Maxime Cordy and
Andreas Classen and
Patrick Heymans and
Axel Legay and
Pierre{-}Yves Schobbens},
editor = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{o}}nia Lopes},
title = {Model Checking Adaptive Software with Featured Transition Systems},
booktitle = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
series = {Lecture Notes in Computer Science},
volume = {7740},
pages = {1--29},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36249-1\_1},
doi = {10.1007/978-3-642-36249-1\_1},
timestamp = {Sun, 02 Jun 2019 20:42:26 +0200},
biburl = {https://dblp.org/rec/series/lncs/CordyCHLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DevroeyCPSLH13,
author = {Xavier Devroey and
Maxime Cordy and
Gilles Perrouin and
Pierre{-}Yves Schobbens and
Axel Legay and
Patrick Heymans},
title = {Towards Statistical Prioritization for Software Product Lines Testing},
journal = {CoRR},
volume = {abs/1310.2474},
year = {2013},
url = {http://arxiv.org/abs/1310.2474},
eprinttype = {arXiv},
eprint = {1310.2474},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DevroeyCPSLH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CordyHSSGL13,
author = {Maxime Cordy and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Amir Molzam Sharifloo and
Carlo Ghezzi and
Axel Legay},
title = {Verification for Reliable Product Lines},
journal = {CoRR},
volume = {abs/1311.1343},
year = {2013},
url = {http://arxiv.org/abs/1311.1343},
eprinttype = {arXiv},
eprint = {1311.1343},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CordyHSSGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ClassenCHLS12,
author = {Andreas Classen and
Maxime Cordy and
Patrick Heymans and
Axel Legay and
Pierre{-}Yves Schobbens},
title = {Model checking software product lines with {SNIP}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {5},
pages = {589--612},
year = {2012},
url = {https://doi.org/10.1007/s10009-012-0234-1},
doi = {10.1007/S10009-012-0234-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ClassenCHLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CordyCPSHL12,
author = {Maxime Cordy and
Andreas Classen and
Gilles Perrouin and
Pierre{-}Yves Schobbens and
Patrick Heymans and
Axel Legay},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Simulation-based abstractions for software product-line model checking},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {672--682},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227150},
doi = {10.1109/ICSE.2012.6227150},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CordyCPSHL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DevroeyCPKSHLB12,
author = {Xavier Devroey and
Maxime Cordy and
Gilles Perrouin and
Eun{-}Young Kang and
Pierre{-}Yves Schobbens and
Patrick Heymans and
Axel Legay and
Benoit Baudry},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Vision for Behavioural Model-Driven Validation of Software Product
Lines},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {208--222},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_16},
doi = {10.1007/978-3-642-34026-0\_16},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/DevroeyCPKSHLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/KangPS12,
author = {Eun{-}Young Kang and
Gilles Perrouin and
Pierre{-}Yves Schobbens},
editor = {Antony Tang and
Henry Muccini},
title = {Towards Formal Energy and Time Aware Behaviors in {EAST-ADL:} An {MDE}
Approach},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {124--127},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.13},
doi = {10.1109/QSIC.2012.13},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/qsic/KangPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/CordySHL12,
author = {Maxime Cordy and
Pierre{-}Yves Schobbens and
Patrick Heymans and
Axel Legay},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {Behavioural modelling and verification of real-time software product
lines},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 1},
pages = {66--75},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2362536.2362549},
doi = {10.1145/2362536.2362549},
timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
biburl = {https://dblp.org/rec/conf/splc/CordySHL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/CordySHL12a,
author = {Maxime Cordy and
Pierre{-}Yves Schobbens and
Patrick Heymans and
Axel Legay},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {Towards an incremental automata-based approach for software product-line
model checking},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 2},
pages = {74--81},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364412.2364425},
doi = {10.1145/2364412.2364425},
timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
biburl = {https://dblp.org/rec/conf/splc/CordySHL12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/CordyCSHL12,
author = {Maxime Cordy and
Andreas Classen and
Pierre{-}Yves Schobbens and
Patrick Heymans and
Axel Legay},
editor = {Ulrich W. Eisenecker and
Sven Apel and
Stefania Gnesi},
title = {Managing evolution in software product lines: a model-checking perspective},
booktitle = {Sixth International Workshop on Variability Modelling of Software-Intensive
Systems, Leipzig, Germany, January 25-27, 2012. Proceedings},
pages = {183--191},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110147.2110168},
doi = {10.1145/2110147.2110168},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/CordyCSHL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClassenHSL11,
author = {Andreas Classen and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Axel Legay},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Symbolic model checking of software product lines},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {321--330},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985838},
doi = {10.1145/1985793.1985838},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ClassenHSL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KangSP11,
author = {Eun{-}Young Kang and
Pierre{-}Yves Schobbens and
Paul Pettersson},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {Verifying Functional Behaviors of Automotive Products in {EAST-ADL2}
Using {UPPAAL-PORT}},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {243--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_18},
doi = {10.1007/978-3-642-24270-0\_18},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KangSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/OrtizLS11,
author = {James Jerson Ortiz and
Axel Legay and
Pierre{-}Yves Schobbens},
editor = {B{\'{e}}atrice Bouchou{-}Markhoff and
Pascal Caron and
Jean{-}Marc Champarnaud and
Denis Maurel},
title = {Distributed Event Clock Automata - Extended Abstract},
booktitle = {Implementation and Application of Automata - 16th International Conference,
{CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6807},
pages = {250--263},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22256-6\_23},
doi = {10.1007/978-3-642-22256-6\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/OrtizLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/OrtizLS10,
author = {James Jerson Ortiz and
Axel Legay and
Pierre{-}Yves Schobbens},
editor = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {Memory Event Clocks},
booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6246},
pages = {198--212},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15297-9\_16},
doi = {10.1007/978-3-642-15297-9\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/OrtizLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClassenHSLR10,
author = {Andreas Classen and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Axel Legay and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Model checking lots of systems: efficient verification of temporal
properties in software product lines},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {335--344},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806850},
doi = {10.1145/1806799.1806850},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ClassenHSLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MontrieuxJHYST10,
author = {Lionel Montrieux and
Jan J{\"{u}}rjens and
Charles B. Haley and
Yijun Yu and
Pierre{-}Yves Schobbens and
Hubert Toussaint},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {Tool support for code generation from a UMLsec property},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {357--358},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859074},
doi = {10.1145/1858996.1859074},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MontrieuxJHYST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/HubauxHSD10,
author = {Arnaud Hubaux and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Dirk Deridder},
editor = {Roel J. Wieringa and
Anne Persson},
title = {Towards Multi-view Feature-Based Configuration},
booktitle = {Requirements Engineering: Foundation for Software Quality, 16th International
Working Conference, {REFSQ} 2010, Essen, Germany, June 30 - July 2,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6182},
pages = {106--112},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14192-8\_12},
doi = {10.1007/978-3-642-14192-8\_12},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/refsq/HubauxHSD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HeymansSTBMC08,
author = {Patrick Heymans and
Pierre{-}Yves Schobbens and
Jean{-}Christophe Trigaux and
Yves Bontemps and
Raimundas Matulevicius and
Andreas Classen},
title = {Evaluating formal properties of feature diagram languages},
journal = {{IET} Softw.},
volume = {2},
number = {3},
pages = {281--302},
year = {2008},
url = {https://doi.org/10.1049/iet-sen:20070055},
doi = {10.1049/IET-SEN:20070055},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/HeymansSTBMC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/JuretaFS08,
author = {Ivan Jureta and
St{\'{e}}phane Faulkner and
Pierre{-}Yves Schobbens},
title = {Clear justification of modeling decisions for goal-oriented requirements
engineering},
journal = {Requir. Eng.},
volume = {13},
number = {2},
pages = {87--115},
year = {2008},
url = {https://doi.org/10.1007/s00766-007-0056-y},
doi = {10.1007/S00766-007-0056-Y},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/JuretaFS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ClassenHS08,
author = {Andreas Classen and
Patrick Heymans and
Pierre{-}Yves Schobbens},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {What's in a Feature: {A} Requirements Engineering Perspective},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {16--30},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_2},
doi = {10.1007/978-3-540-78743-3\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ClassenHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DeridderGPS08,
author = {Dirk Deridder and
Jeff Gray and
Alfonso Pierantonio and
Pierre{-}Yves Schobbens},
editor = {Michel R. V. Chaudron},
title = {Model Co-evolution and Consistency Management (MCCM'08)},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {120--123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_13},
doi = {10.1007/978-3-642-01648-6\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/DeridderGPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/SchobbensHTB07,
author = {Pierre{-}Yves Schobbens and
Patrick Heymans and
Jean{-}Christophe Trigaux and
Yves Bontemps},
title = {Generic semantics of feature diagrams},
journal = {Comput. Networks},
volume = {51},
number = {2},
pages = {456--479},
year = {2007},
url = {https://doi.org/10.1016/j.comnet.2006.08.008},
doi = {10.1016/J.COMNET.2006.08.008},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/SchobbensHTB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BontempsS07,
author = {Yves Bontemps and
Pierre{-}Yves Schobbens},
title = {The computational complexity of scenario-based agent verification
and design},
journal = {J. Appl. Log.},
volume = {5},
number = {2},
pages = {252--276},
year = {2007},
url = {https://doi.org/10.1016/j.jal.2005.12.013},
doi = {10.1016/J.JAL.2005.12.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BontempsS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GuelevRS07,
author = {Dimitar P. Guelev and
Mark Dermot Ryan and
Pierre{-}Yves Schobbens},
title = {Model-checking the preservation of temporal properties upon feature
integration},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {1},
pages = {53--62},
year = {2007},
url = {https://doi.org/10.1007/s10009-006-0006-x},
doi = {10.1007/S10009-006-0006-X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GuelevRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BontempsSSH07,
author = {Yves Bontemps and
Germain Saval and
Pierre{-}Yves Schobbens and
Patrick Heymans},
title = {Synth{\`{e}}se de diagrammes d'{\'{e}}tats par classe {\`{a}}
partir de diagrammes de s{\'{e}}quence},
journal = {Tech. Sci. Informatiques},
volume = {26},
number = {7},
pages = {797--817},
year = {2007},
url = {https://doi.org/10.3166/tsi.26.797-817},
doi = {10.3166/TSI.26.797-817},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BontempsSSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/JuretaFS07,
author = {Ivan Jureta and
St{\'{e}}phane Faulkner and
Pierre{-}Yves Schobbens},
editor = {Jean{-}Luc Hainaut and
Elke A. Rundensteiner and
Markus Kirchberg and
Michela Bertolotto and
Mathias Brochhausen and
Yi{-}Ping Phoebe Chen and
Samira Si{-}Said Cherfi and
Martin Doerr and
Hyoil Han and
Sven Hartmann and
Jeffrey Parsons and
Geert Poels and
Colette Rolland and
Juan Trujillo and
Eric S. K. Yu and
Esteban Zim{\'{a}}nyi},
title = {Achieving, Satisficing, and Excelling},
booktitle = {Advances in Conceptual Modeling - Foundations and Applications, {ER}
2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland,
New Zealand, November 5-9, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4802},
pages = {286--295},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76292-8\_34},
doi = {10.1007/978-3-540-76292-8\_34},
timestamp = {Wed, 09 Jun 2021 08:38:37 +0200},
biburl = {https://dblp.org/rec/conf/er/JuretaFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/MetzgerHPSS07,
author = {Andreas Metzger and
Patrick Heymans and
Klaus Pohl and
Pierre{-}Yves Schobbens and
Germain Saval},
title = {Disambiguating the Documentation of Variability in Software Product
Lines: {A} Separation of Concerns, Formalization and Automated Analysis},
booktitle = {15th {IEEE} International Requirements Engineering Conference, {RE}
2007, October 15-19th, 2007, New Delhi, India},
pages = {243--253},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RE.2007.61},
doi = {10.1109/RE.2007.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/MetzgerHPSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2006,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Pierre{-}Yves Schobbens},
title = {Recent Trends in Algebraic Development Techniques, 18th International
Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4409},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71998-4},
doi = {10.1007/978-3-540-71998-4},
isbn = {978-3-540-71997-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/JuretaFS06,
author = {Ivan Jureta and
St{\'{e}}phane Faulkner and
Pierre{-}Yves Schobbens},
editor = {Lin Padgham and
Franco Zambonelli},
title = {Allocating Goals to Agent Roles During {MAS} Requirements Engineering},
booktitle = {Agent-Oriented Software Engineering VII, 7th International Workshop,
{AOSE} 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4405},
pages = {19--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70945-9\_2},
doi = {10.1007/978-3-540-70945-9\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/aose/JuretaFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/JuretaFS06,
author = {Ivan Jureta and
St{\'{e}}phane Faulkner and
Pierre{-}Yves Schobbens},
editor = {David W. Embley and
Antoni Oliv{\'{e}} and
Sudha Ram},
title = {A More Expressive Softgoal Conceptualization for Quality Requirements
Analysis},
booktitle = {Conceptual Modeling - {ER} 2006, 25th International Conference on
Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4215},
pages = {281--295},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901181\_22},
doi = {10.1007/11901181\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/JuretaFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evol/SchobbensHTB06,
author = {Pierre{-}Yves Schobbens and
Patrick Heymans and
Jean{-}Christophe Trigaux and
Yves Bontemps},
editor = {Laurence Duchien and
Maja D'Hondt and
Tom Mens},
title = {Comparative Semantics of Feature Diagrams},
booktitle = {2nd {ERCIM} Workshop on Software Evolution, {EVOL} 2006, Lille, France,
April 6-7, 2006},
pages = {181--186},
year = {2006},
timestamp = {Thu, 12 Mar 2020 16:17:00 +0100},
biburl = {https://dblp.org/rec/conf/evol/SchobbensHTB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/JuretaFS06,
author = {Ivan Jureta and
St{\'{e}}phane Faulkner and
Pierre{-}Yves Schobbens},
title = {Justifying Goal Models},
booktitle = {14th {IEEE} International Conference on Requirements Engineering {(RE}
2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, {USA}},
pages = {116--125},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RE.2006.37},
doi = {10.1109/RE.2006.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/JuretaFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/SchobbensHT06,
author = {Pierre{-}Yves Schobbens and
Patrick Heymans and
Jean{-}Christophe Trigaux},
title = {Feature Diagrams: {A} Survey and a Formal Semantics},
booktitle = {14th {IEEE} International Conference on Requirements Engineering {(RE}
2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, {USA}},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RE.2006.23},
doi = {10.1109/RE.2006.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/SchobbensHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BontempsHS05,
author = {Yves Bontemps and
Patrick Heymans and
Pierre{-}Yves Schobbens},
title = {From Live Sequence Charts to State Machines and Back: {A} Guided Tour},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {12},
pages = {999--1014},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.137},
doi = {10.1109/TSE.2005.137},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BontempsHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/BontempsHST05,
author = {Yves Bontemps and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Jean{-}Christophe Trigaux},
editor = {Stephan Reiff{-}Marganiec and
Mark Ryan},
title = {Generic Semantics of Feature Diagrams Variants},
booktitle = {Feature Interactions in Telecommunications and Software Systems VIII,
ICFI'05, 28-30 June 2005, Leicester, {UK}},
pages = {58--77},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Mon, 06 Nov 2017 16:35:11 +0100},
biburl = {https://dblp.org/rec/conf/fiw/BontempsHST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BontempsS05,
author = {Yves Bontemps and
Pierre{-}Yves Schobbens},
editor = {Vladimiro Sassone},
title = {The Complexity of Live Sequence Charts},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {364--378},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_23},
doi = {10.1007/978-3-540-31982-5\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BontempsS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HardingRS05,
author = {Aidan Harding and
Mark Ryan and
Pierre{-}Yves Schobbens},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {A New Algorithm for Strategy Synthesis in {LTL} Games},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {477--492},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_31},
doi = {10.1007/978-3-540-31980-1\_31},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HardingRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuelevRS06,
author = {Dimitar P. Guelev and
Mark Dermot Ryan and
Pierre{-}Yves Schobbens},
editor = {Ranko Lazic and
Rajagopal Nagarajan},
title = {Synthesising Features by Games},
booktitle = {Proceedings of the 5th International Workshop on Automated Verification
of Critical Systems, AVoCS 2005, University of Warwick, UK, September
12-13, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {145},
pages = {79--93},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.006},
doi = {10.1016/J.ENTCS.2005.10.006},
timestamp = {Thu, 15 Dec 2022 14:59:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuelevRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BontempsSL04,
author = {Yves Bontemps and
Pierre{-}Yves Schobbens and
Christof L{\"{o}}ding},
title = {Synthesis of Open Reactive Systems from Scenario-Based Specifications},
journal = {Fundam. Informaticae},
volume = {62},
number = {2},
pages = {139--169},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BontempsSL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AiguierBS04,
author = {Marc Aiguier and
Stefan B{\'{e}}roff and
Pierre{-}Yves Schobbens},
editor = {Zhiming Liu and
Keijiro Araki},
title = {An Algebraic Approach for Codesign},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {415--430},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_30},
doi = {10.1007/978-3-540-31862-0\_30},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AiguierBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/GuelevRS04,
author = {Dimitar P. Guelev and
Mark Ryan and
Pierre{-}Yves Schobbens},
editor = {Kan Zhang and
Yuliang Zheng},
title = {Model-Checking Access Control Policies},
booktitle = {Information Security, 7th International Conference, {ISC} 2004, Palo
Alto, CA, USA, September 27-29, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3225},
pages = {219--230},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30144-8\_19},
doi = {10.1007/978-3-540-30144-8\_19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isw/GuelevRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuelevRS05,
author = {Dimitar P. Guelev and
Mark Dermot Ryan and
Pierre{-}Yves Schobbens},
editor = {Michael Huth},
title = {Model-checking the Preservation of Temporal Properties upon Feature
Integration},
booktitle = {Proceedings of the Fouth International Workshop on Automated Verification
of Critical Systems, AVoCS 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {6},
pages = {311--324},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.04.019},
doi = {10.1016/J.ENTCS.2005.04.019},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GuelevRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BontempsS03,
author = {Yves Bontemps and
Pierre{-}Yves Schobbens},
title = {Synthesis of Open Reactive Systems from Scenario-Based Specifications},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {41--50},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207698},
doi = {10.1109/CSD.2003.1207698},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BontempsS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BontempsHS03,
author = {Yves Bontemps and
Patrick Heymans and
Pierre{-}Yves Schobbens},
editor = {Stefan Leue and
Tarja Syst{\"{a}}},
title = {Lightweight Formal Methods for Scenario-Based Software Engineering},
booktitle = {Scenarios: Models, Transformations and Tools, International Workshop,
Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3466},
pages = {174--192},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/11495628\_10},
doi = {10.1007/11495628\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BontempsHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/GuelevRS03,
author = {Dimitar P. Guelev and
Mark Dermot Ryan and
Pierre{-}Yves Schobbens},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {Feature Integration as Substitution},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {275--294},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Tue, 16 Nov 2004 09:12:37 +0100},
biburl = {https://dblp.org/rec/conf/fiw/GuelevRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HardingRS03,
author = {Aidan Harding and
Mark Ryan and
Pierre{-}Yves Schobbens},
title = {Towards Symbolic Strategy Synthesis for {\textbackslash}left{\textbackslash}langle
\{{\textbackslash}left{\textbackslash}langle {A} {\textbackslash}right{\textbackslash}rangle
\} {\textbackslash}right{\textbackslash}rangle-LTL},
booktitle = {10th International Symposium on Temporal Representation and Reasoning
/ 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
8-10 July 2003, Cairns, Queensland, Australia},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TIME.2003.1214889},
doi = {10.1109/TIME.2003.1214889},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/HardingRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schobbens04,
author = {Pierre{-}Yves Schobbens},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Alternating-time logic with imperfect recall},
booktitle = {1st International Workshop on Logic and Communication in Multi-Agent
Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {2},
pages = {82--93},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82604-0},
doi = {10.1016/S1571-0661(05)82604-0},
timestamp = {Thu, 08 Dec 2022 14:11:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schobbens04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SchobbensSSS02,
author = {Pierre{-}Yves Schobbens and
Gunter Saake and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
title = {A two-level temporal logic for evolving specifications},
journal = {Inf. Process. Lett.},
volume = {83},
number = {3},
pages = {167--172},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(02)00289-2},
doi = {10.1016/S0020-0190(02)00289-2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/SchobbensSSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AndrekaRS02,
author = {Hajnal Andr{\'{e}}ka and
Mark Ryan and
Pierre{-}Yves Schobbens},
title = {Operators and Laws for Combining Preference Relations},
journal = {J. Log. Comput.},
volume = {12},
number = {1},
pages = {13--53},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.1.13},
doi = {10.1093/LOGCOM/12.1.13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AndrekaRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SchobbensRH02,
author = {Pierre{-}Yves Schobbens and
Jean{-}Fran{\c{c}}ois Raskin and
Thomas A. Henzinger},
title = {Axioms for real-time logics},
journal = {Theor. Comput. Sci.},
volume = {274},
number = {1-2},
pages = {151--182},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00308-X},
doi = {10.1016/S0304-3975(00)00308-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/SchobbensRH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HardingRS02,
author = {Aidan Harding and
Mark Ryan and
Pierre{-}Yves Schobbens},
editor = {Agostino Cortesi},
title = {Approximating ATL\({}^{\mbox{*}}\) in {ATL}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {289--301},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_20},
doi = {10.1007/3-540-47813-2\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HardingRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RyanS01,
author = {Mark Ryan and
Pierre{-}Yves Schobbens},
editor = {John{-}Jules Ch. Meyer and
Milind Tambe},
title = {Agents and Roles: Refinement in Alternating-Time Temporal Logic},
booktitle = {Intelligent Agents VIII, 8th International Workshop, {ATAL} 2001 Seattle,
WA, USA, August 1-3, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2333},
pages = {100--114},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45448-9\_8},
doi = {10.1007/3-540-45448-9\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/RyanS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/Schobbens01,
author = {Pierre{-}Yves Schobbens},
editor = {Amal El Fallah Seghrouchni and
Laurent Magnin},
title = {V{\'{e}}rification automatique de logiques orient{\'{e}}es
agent},
booktitle = {Fondements des syst{\`{e}}mes multi-agents : mod{\`{e}}les, sp{\'{e}}cifications
formelles et v{\'{e}}rification - {JFIADSMA} 01 - neuvi{\`{e}}me
journ{\'{e}}es francophones d'Intelligence Artificielle et syst{\`{e}}mes
multi-agents, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, November
12-14, 2001},
pages = {13--16},
publisher = {Herm{\`{e}}s Lavoisier Editions},
year = {2001},
timestamp = {Wed, 12 Aug 2020 21:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jfsma/Schobbens01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fireworks/CassezRS00,
author = {Franck Cassez and
Mark Dermot Ryan and
Pierre{-}Yves Schobbens},
editor = {Stephen Gilmore and
Mark Ryan},
title = {Proving feature non-interaction with Alternating-Time Temporal Logic},
booktitle = {Language Constructs for Describing Features, Proceedings of the FIREworks
Workshop, Glasgow, UK, May 2000},
pages = {85--103},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0287-8\_6},
doi = {10.1007/978-1-4471-0287-8\_6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fireworks/CassezRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SchobbensR99,
author = {Pierre{-}Yves Schobbens and
Jean{-}Fran{\c{c}}ois Raskin},
title = {The Logic of "Initially" and "Next": Complete
Axiomatization and Complexity},
journal = {Inf. Process. Lett.},
volume = {69},
number = {5},
pages = {221--225},
year = {1999},
url = {https://doi.org/10.1016/S0020-0190(99)00022-8},
doi = {10.1016/S0020-0190(99)00022-8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/SchobbensR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/RaskinS99,
author = {Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Yves Schobbens},
title = {The Logic of Event Clocks - Decidability, Complexity and Expressiveness},
journal = {J. Autom. Lang. Comb.},
volume = {4},
number = {3},
pages = {247--282},
year = {1999},
url = {https://doi.org/10.25596/jalc-1999-247},
doi = {10.25596/JALC-1999-247},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/RaskinS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerierRS99,
author = {Laurent Ferier and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Yves Schobbens},
editor = {Alessandro Cimatti and
Orna Grumberg},
title = {Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing
Trees},
booktitle = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
Italy, July 6, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {2},
pages = {108--126},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)80672-8},
doi = {10.1016/S1571-0661(04)80672-8},
timestamp = {Tue, 22 Nov 2022 15:04:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FerierRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelage/1997,
editor = {John{-}Jules Ch. Meyer and
Pierre{-}Yves Schobbens},
title = {Formal Models of Agents, {ESPRIT} Project ModelAge Final Workshop,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1760},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46581-2},
doi = {10.1007/3-540-46581-2},
isbn = {3-540-67027-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelage/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RaskinSH98,
author = {Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Yves Schobbens and
Thomas A. Henzinger},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Axioms for Real-Time Logics},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {219--236},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055625},
doi = {10.1007/BFB0055625},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/RaskinSH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenzingerRS98,
author = {Thomas A. Henzinger and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Yves Schobbens},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {The Regular Real-Time Languages},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {580--591},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055086},
doi = {10.1007/BFB0055086},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/HenzingerRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/RyanS97,
author = {Mark Ryan and
Pierre{-}Yves Schobbens},
title = {Counterfactuals and Updates as Inverse Modalities},
journal = {J. Log. Lang. Inf.},
volume = {6},
number = {2},
pages = {123--146},
year = {1997},
url = {https://doi.org/10.1023/A:1008218502162},
doi = {10.1023/A:1008218502162},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/RyanS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RaskinS97,
author = {Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Yves Schobbens},
editor = {Oded Maler},
title = {State Clock Logic: {A} Decidable Real-Time Logic},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {33--47},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014711},
doi = {10.1007/BFB0014711},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RaskinS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelage/MeyerS97,
author = {John{-}Jules Ch. Meyer and
Pierre{-}Yves Schobbens},
editor = {John{-}Jules Ch. Meyer and
Pierre{-}Yves Schobbens},
title = {Formal Models of Agents: An Introduction},
booktitle = {Formal Models of Agents, {ESPRIT} Project ModelAge Final Workshop,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1760},
pages = {1--7},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-46581-2\_1},
doi = {10.1007/3-540-46581-2\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/modelage/MeyerS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RaskinS97,
author = {Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Yves Schobbens},
editor = {Ed Brinksma},
title = {Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {165--182},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035387},
doi = {10.1007/BFB0035387},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RaskinS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RyanS96,
author = {Mark Ryan and
Pierre{-}Yves Schobbens},
editor = {Wolfgang Wahlster},
title = {Intertranslating Counterfactuals and Updates},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {100--104},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/RyanS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/RyanSR96,
author = {Mark Ryan and
Pierre{-}Yves Schobbens and
Odinaldo Rodrigues},
editor = {Yoav Shoham},
title = {Counterfactuals and Updates as Inverse Modalities},
booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
pages = {163--173},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/RyanSR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/RyanS95,
author = {Mark Ryan and
Pierre{-}Yves Schobbens},
title = {Belief Revision and Verisimilitude},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {1},
pages = {15--29},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040308826},
doi = {10.1305/NDJFL/1040308826},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/RyanS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Schobbens93,
author = {Pierre{-}Yves Schobbens},
title = {Exceptions for Algebraic Specifications: On the Meaning of "but"},
journal = {Sci. Comput. Program.},
volume = {20},
number = {1-2},
pages = {73--111},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90023-I},
doi = {10.1016/0167-6423(93)90023-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Schobbens93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/Schobbens93,
author = {Pierre{-}Yves Schobbens},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Extensions of Initial Models and their Second-Order Proof Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {326--344},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_15},
doi = {10.1007/3-540-58233-9\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hoa/Schobbens93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/Schobbens93,
author = {Pierre{-}Yves Schobbens},
editor = {Anja Oskamp and
Kevin D. Ashley},
title = {A Logic for Legal Hierarchies},
booktitle = {Proceedings of the Fourth International Conference on Artificial intelligence
and Law, {ICAIL} '93, Amsterdam, The Netherlands, June 15-18, 1993},
pages = {272--281},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/158976.159010},
doi = {10.1145/158976.159010},
timestamp = {Tue, 22 Nov 2022 17:50:40 +0100},
biburl = {https://dblp.org/rec/conf/icail/Schobbens93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/be/Schobbens92,
author = {Pierre{-}Yves Schobbens},
title = {Exceptions in Algebraic Specifications},
school = {University of Namur, Belgium},
year = {1992},
url = {https://researchportal.unamur.be/en/studentTheses/cfe32a3b-0c33-4c12-93d5-c39ad02ca078},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/be/Schobbens92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Schobbens92,
author = {Pierre{-}Yves Schobbens},
editor = {Hartmut Ehrig},
title = {Second-Order Proof Systems for Algebraic Specification Languages},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {321--336},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_20},
doi = {10.1007/3-540-57867-6\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/Schobbens92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LafontaineLS91,
author = {Christine Lafontaine and
Yves Ledru and
Pierre{-}Yves Schobbens},
title = {An Experiment in Formal Software Development: Using the {B} Theorem
Prover on a {VDM} Case Study},
journal = {Commun. {ACM}},
volume = {34},
number = {5},
pages = {62--71},
year = {1991},
url = {https://doi.org/10.1145/103167.103174},
doi = {10.1145/103167.103174},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/LafontaineLS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Schobbens91,
author = {Pierre{-}Yves Schobbens},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Clean Algebraic Exception with Implicit Propagation},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {173--186},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/Schobbens91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Schobbens91,
author = {Pierre{-}Yves Schobbens},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {On the meaning of "but"},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {185--192},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952813},
doi = {10.5555/952786.952813},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Schobbens91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LafontaineLS90,
author = {Christine Lafontaine and
Yves Ledru and
Pierre{-}Yves Schobbens},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {Two Approaches towards the Formalisation of {VDM}},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {370--398},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_20},
doi = {10.1007/3-540-52513-0\_20},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/LafontaineLS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsd/LedruS90,
author = {Yves Ledru and
Pierre{-}Yves Schobbens},
editor = {Mark Moriconi},
title = {Applying {VDM} to large developments},
booktitle = {Conference proceedings on Formal methods in software development,
Napa, California, USA, May 9-11, 1990},
pages = {55--58},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99569.99815},
doi = {10.1145/99569.99815},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmsd/LedruS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LafontaineLS90,
author = {Christine Lafontaine and
Yves Ledru and
Pierre{-}Yves Schobbens},
editor = {Fran{\c{c}}ois{-}R{\'{e}}gis Valette and
Peter A. Freeman and
Marie{-}Claude Gaudel},
title = {An Experiment in Formal Software Development: Using the {B} Theorem
Prover on a {VDM} Case Study},
booktitle = {Proceedings of the 12th International Conference on Software Engineering,
Nice, France, March 26-30, 1990},
pages = {34--42},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=100300},
timestamp = {Mon, 14 May 2012 18:17:13 +0200},
biburl = {https://dblp.org/rec/conf/icse/LafontaineLS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BertDEDDSW88,
author = {Didier Bert and
Pascal Drabik and
Rachid Echahed and
Olivier Declerfayt and
Brigitte Demeuse and
Pierre{-}Yves Schobbens and
Fran{\c{c}}ois Wautier},
editor = {Harald Ganzinger},
title = {{LPG:} {A} Generic, Logic and Functional Programming Language},
booktitle = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {300},
pages = {376--377},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19027-9\_26},
doi = {10.1007/3-540-19027-9\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BertDEDDSW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 05:56 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:
