Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yves Ledru
@inproceedings{DBLP:conf/issre/BaheuxATGAL23,
author = {Ivan Baheux and
Oum{-}El{-}Kheir Aktouf and
Mohammed El Amin Tebib and
Mariem Graa and
Pascal Andr{\'{e}} and
Yves Ledru},
title = {DroidSecTester: Towards context-driven modelling and detection of
Android application vulnerabilities},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
pages = {136--141},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSREW60843.2023.00063},
doi = {10.1109/ISSREW60843.2023.00063},
timestamp = {Tue, 14 Nov 2023 16:09:48 +0100},
biburl = {https://dblp.org/rec/conf/issre/BaheuxATGAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/YarILD22,
author = {Asfand Yar and
Akram Idani and
Yves Ledru and
Simon Collart Dutilleul},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {Visual animation of {B} specifications using executable DSLs},
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 = {617--626},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3561585},
doi = {10.1145/3550356.3561585},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/YarILD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/ChehidaLBV21,
author = {Salim Chehida and
Yves Ledru and
Yoann Blein and
Germ{\'{a}}n Vega},
title = {An SMT-based approach for generating trace examples and counter-examples
of parametric properties},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {10},
number = {2},
pages = {143--183},
year = {2021},
url = {https://doi.org/10.1504/IJCCBS.2021.117997},
doi = {10.1504/IJCCBS.2021.117997},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/ChehidaLBV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/IdaniLV20,
author = {Akram Idani and
Yves Ledru and
Germ{\'{a}}n Vega},
title = {Alliance of model-driven engineering with a proof-based formal approach},
journal = {Innov. Syst. Softw. Eng.},
volume = {16},
number = {3},
pages = {289--307},
year = {2020},
url = {https://doi.org/10.1007/s11334-020-00366-3},
doi = {10.1007/S11334-020-00366-3},
timestamp = {Sat, 07 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/IdaniLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AfshinpourGALO20,
author = {Bahareh Afshinpour and
Roland Groz and
Massih{-}Reza Amini and
Yves Ledru and
Catherine Oriat},
editor = {Bimlesh Wadhwa and
Shailey Chawla and
Benjamin Gan and
Eng Lieh Ouh and
Pornsiri Muenchaisri and
Saurabh Tiwari and
Santosh Singh Rathore},
title = {Reducing Regression Test Suites using the Word2Vec Natural Language
Processing Tool},
booktitle = {Joint Proceedings of {SEED} {\&} NLPaSE co-located with 27th Asia
Pacific Software Engineering Conference 2020, Singapore [Virtual],
December 1, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2799},
pages = {43--53},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2799/Paper6\_NLPaSE.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:12 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AfshinpourGALO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/IdaniLWAD19,
author = {Akram Idani and
Yves Ledru and
Abderrahim Ait Wakrime and
Rahma Ben Ayed and
Simon Collart Dutilleul},
editor = {Kim Guldstrand Larsen and
Tim A. C. Willemse},
title = {Incremental Development of a Safety Critical System Combining formal
Methods and DSMLs - - Application to a Railway System -},
booktitle = {Formal Methods for Industrial Critical Systems - 24th International
Conference, {FMICS} 2019, Amsterdam, The Netherlands, August 30-31,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11687},
pages = {93--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27008-7\_6},
doi = {10.1007/978-3-030-27008-7\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/IdaniLWAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/IdaniLWAB19,
author = {Akram Idani and
Yves Ledru and
Abderrahim Ait Wakrime and
Rahma Ben Ayed and
Philippe Bon},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Towards a Tool-Based Domain Specific Approach for Railway Systems
Modeling and Validation},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {23--40},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_2},
doi = {10.1007/978-3-030-18744-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/IdaniLWAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/LedruIAWB19,
author = {Yves Ledru and
Akram Idani and
Rahma Ben Ayed and
Abderrahim Ait Wakrime and
Philippe Bon},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {A Separation of Concerns Approach for the Verified Modelling of Railway
Signalling Rules},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {173--190},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_11},
doi = {10.1007/978-3-030-18744-6\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/LedruIAWB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BleinLBG18,
author = {Yoann Blein and
Yves Ledru and
Lydie du Bousquet and
Roland Groz},
editor = {Stefania Gnesi and
Nico Plat and
Paola Spoletini and
Patrizio Pelliccione},
title = {Extending specification patterns for verification of parametric traces},
booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
2, 2018},
pages = {10--19},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3193992.3193998},
doi = {10.1145/3193992.3193998},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BleinLBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LedruBBGCB18,
author = {Yves Ledru and
Yoann Blein and
Lydie du Bousquet and
Roland Groz and
Arnaud Clere and
Fabrice Bertrand},
editor = {Ita Richardson and
Jens H. Weber},
title = {Requirements for a Trace Property Language for Medical Devices},
booktitle = {2018 {IEEE/ACM} International Workshop on Software Engineering in
Healthcare Systems, SEHS@ICSE 2018, Gothenburg, Sweden, May 28, 2018},
pages = {30--33},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194696.3194699},
doi = {10.1145/3194696.3194699},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LedruBBGCB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/WakrimeADLI18,
author = {Abderrahim Ait Wakrime and
Rahma Ben Ayed and
Simon Collart Dutilleul and
Yves Ledru and
Akram Idani},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Formalizing Railway Signaling System {ERTMS/ETCS} Using UML/Event-B},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {321--330},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_21},
doi = {10.1007/978-3-030-00856-7\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/WakrimeADLI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CheikhBCVLB18,
author = {Ansem Ben Cheikh and
Yoann Blein and
Salim Chehida and
Germ{\'{a}}n Vega and
Yves Ledru and
Lydie du Bousquet},
editor = {Christian Colombo and
Martin Leucker},
title = {An Environment for the ParTraP Trace Property Language (Tool Demonstration)},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {437--446},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_26},
doi = {10.1007/978-3-030-03769-7\_26},
timestamp = {Sat, 12 Jun 2021 11:01:04 +0200},
biburl = {https://dblp.org/rec/conf/rv/CheikhBCVLB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/BleinCBLGB17,
author = {Yoann Blein and
Arnaud Clere and
Fabrice Bertrand and
Yves Ledru and
Roland Groz and
Lydie du Bousquet},
title = {Improving Trace Generation and Analysis for Medical Devices},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
25-29, 2017},
pages = {599--600},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS-C.2017.135},
doi = {10.1109/QRS-C.2017.135},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/BleinCBLGB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/ChehidaILR16,
author = {Salim Chehida and
Akram Idani and
Yves Ledru and
Mustapha Kamel Rahmouni},
title = {Extensions du diagramme d'activit{\'{e}} pour la sp{\'{e}}cification
de politiques {RBAC}},
journal = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
volume = {21},
number = {2},
pages = {11--37},
year = {2016},
url = {https://doi.org/10.3166/isi.21.2.11-37},
doi = {10.3166/ISI.21.2.11-37},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isi/ChehidaILR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/ChehidaILR16,
author = {Salim Chehida and
Akram Idani and
Yves Ledru and
Mustapha Kamel Rahmouni},
title = {Combining {UML} and {B} for the specification and validation of {RBAC}
policies in business process activities},
booktitle = {Tenth {IEEE} International Conference on Research Challenges in Information
Science, {RCIS} 2016, Grenoble, France, June 1-3, 2016},
pages = {1--12},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/RCIS.2016.7549284},
doi = {10.1109/RCIS.2016.7549284},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/ChehidaILR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/LedruIMQLRL15,
author = {Yves Ledru and
Akram Idani and
J{\'{e}}r{\'{e}}my Milhau and
Nafees Qamar and
R{\'{e}}gine Laleau and
Jean{-}Luc Richier and
Mohamed{-}Amine Labiadh},
title = {Validation of {IS} Security Policies Featuring Authorisation Constraints},
journal = {Int. J. Inf. Syst. Model. Des.},
volume = {6},
number = {1},
pages = {24--46},
year = {2015},
url = {https://doi.org/10.4018/ijismd.2015010102},
doi = {10.4018/IJISMD.2015010102},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijismd/LedruIMQLRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/RadhouaniILR15,
author = {Amira Radhouani and
Akram Idani and
Yves Ledru and
Narjes Ben Rajeb},
title = {Symbolic Search of Insider Attack Scenarios from a Formal Information
System Modeling},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {10},
pages = {131--152},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48650-4\_7},
doi = {10.1007/978-3-662-48650-4\_7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/RadhouaniILR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/AyedDBLI15,
author = {Rahma Ben Ayed and
Simon Collart Dutilleul and
Philippe Bon and
Yves Ledru and
Akram Idani},
title = {Formalismes bas{\'{e}}s sur les r{\^{o}}les pour la mod{\'{e}}lisation
et la validation des r{\`{e}}gles d'exploitation ferroviaires},
journal = {Tech. Sci. Informatiques},
volume = {34},
number = {5},
pages = {495--521},
year = {2015},
url = {https://doi.org/10.3166/tsi.34.495-521},
doi = {10.3166/TSI.34.495-521},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/AyedDBLI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/IdaniL15,
author = {Akram Idani and
Yves Ledru},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {B for Modeling Secure Information Systems - The B4MSecure Platform},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {312--318},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_20},
doi = {10.1007/978-3-319-25423-4\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/IdaniL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LedruIR15,
author = {Yves Ledru and
Akram Idani and
Jean{-}Luc Richier},
editor = {Stefania Gnesi and
Nico Plat},
title = {Validation of a Security Policy by the Test of Its Formal {B} Specification
- {A} Case Study},
booktitle = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
FormaliSE 2015, Florence, Italy, May 18, 2015},
pages = {6--12},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FormaliSE.2015.9},
doi = {10.1109/FORMALISE.2015.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LedruIR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/ChehidaILR15,
author = {Salim Chehida and
Akram Idani and
Yves Ledru and
Mustapha Kamel Rahmouni},
title = {Extensions du diagramme d'activit{\'{e}} pour contr{\^{o}}ler
l'acc{\`{e}}s au {SI}},
booktitle = {Actes du XXXIII{\`{e}}me Congr{\`{e}}s INFORSID, Biarritz, France,
May 26-29, 2015},
pages = {151--165},
year = {2015},
url = {http://inforsid.fr/Biarritz2015/wp-content/uploads/actes2015/mm2-2.pdf},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/ChehidaILR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/IdaniLR14,
author = {Akram Idani and
Yves Ledru and
Amira Radhouani},
title = {Mod{\'{e}}lisation graphique et validation formelle de politiques
{RBAC} en syst{\`{e}}mes d'information. Plateforme B4MSecure},
journal = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
volume = {19},
number = {6},
pages = {33--61},
year = {2014},
url = {https://doi.org/10.3166/isi.19.6.33-61},
doi = {10.3166/ISI.19.6.33-61},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isi/IdaniLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RadhouaniILR14,
author = {Amira Radhouani and
Akram Idani and
Yves Ledru and
Narjes Ben Rajeb},
editor = {V{\'{e}}ronique Cortier and
Riadh Robbana},
title = {Extraction of Insider Attack Scenarios from a Formal Information System
Modeling},
booktitle = {Proceedings of the Formal Methods for Security Workshop co-located
with the PetriNets-2014 Conference , Tunis, Tunisia, June 23rd, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1158},
pages = {5--19},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1158/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/RadhouaniILR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AyedDBIL14,
author = {Rahma Ben Ayed and
Simon Collart Dutilleul and
Philippe Bon and
Akram Idani and
Yves Ledru},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {B Formal Validation of {ERTMS/ETCS} Railway Operating Rules},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {124--129},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_10},
doi = {10.1007/978-3-662-43652-3\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/AyedDBIL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/IdaniLA13,
author = {Akram Idani and
Yves Ledru and
Adil Anwar},
editor = {Selmin Nurcan and
Henderik Alex Proper and
Pnina Soffer and
John Krogstie and
Rainer Schmidt and
Terry A. Halpin and
Ilia Bider},
title = {A Rigorous Reasoning about Model Transformations Using the {B} Method},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 14th
International Conference, {BPMDS} 2013, 18th International Conference,
{EMMSAD} 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {147},
pages = {426--440},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38484-4\_30},
doi = {10.1007/978-3-642-38484-4\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/IdaniLA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DadeauCLTVBT13,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and
Kalou Cabrera Castillos and
Yves Ledru and
Taha Triki and
Germ{\'{a}}n Vega and
Julien Botella and
Safouan Taha},
title = {Test Generation and Evaluation from High-Level Properties for Common
Criteria Evaluations - The {TASCCC} Testing Tool},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
2013},
pages = {431--438},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICST.2013.60},
doi = {10.1109/ICST.2013.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DadeauCLTVBT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LedruPBM12,
author = {Yves Ledru and
Alexandre Petrenko and
Sergiy Boroday and
Nadine Mandran},
title = {Prioritizing test cases with string distances},
journal = {Autom. Softw. Eng.},
volume = {19},
number = {1},
pages = {65--95},
year = {2012},
url = {https://doi.org/10.1007/s10515-011-0093-0},
doi = {10.1007/S10515-011-0093-0},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/LedruPBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/LedruB12,
author = {Yves Ledru and
Lydie du Bousquet},
title = {Apport d'un prototype sp{\'{e}}cifi{\'{e}} en {Z} dans le
red{\'{e}}veloppement d'un outil de test},
journal = {Tech. Sci. Informatiques},
volume = {31},
number = {6},
pages = {743--767},
year = {2012},
url = {https://doi.org/10.3166/tsi.31.743-767},
doi = {10.3166/TSI.31.743-767},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/LedruB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TrikiLBDB12,
author = {Taha Triki and
Yves Ledru and
Lydie du Bousquet and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Julien Botella},
editor = {Juan de Lara and
Andrea Zisman},
title = {Model-Based Filtering of Combinatorial Test Suites},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {439--454},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_30},
doi = {10.1007/978-3-642-28872-2\_30},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/TrikiLBDB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/QamarFLL12,
author = {Nafees Qamar and
Johannes Faber and
Yves Ledru and
Zhiming Liu},
editor = {Jens H. Weber and
Isabelle Perseil},
title = {Automated Reviewing of Healthcare Security Policies},
booktitle = {Foundations of Health Information Engineering and Systems - Second
International Symposium, {FHIES} 2012, Paris, France, August 27-28,
2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7789},
pages = {176--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39088-3\_12},
doi = {10.1007/978-3-642-39088-3\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fhies/QamarFLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LedruVTB12,
author = {Yves Ledru and
Germ{\'{a}}n Vega and
Taha Triki and
Lydie du Bousquet},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {Test suite selection based on traceability annotations},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {342--345},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351742},
doi = {10.1145/2351676.2351742},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LedruVTB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MilhauILLLF11,
author = {J{\'{e}}r{\'{e}}my Milhau and
Akram Idani and
R{\'{e}}gine Laleau and
Mohamed{-}Amine Labiadh and
Yves Ledru and
Marc Frappier},
title = {Combining UML, {ASTD} and {B} for the formal specification of an access
control filter},
journal = {Innov. Syst. Softw. Eng.},
volume = {7},
number = {4},
pages = {303--313},
year = {2011},
url = {https://doi.org/10.1007/s11334-011-0166-z},
doi = {10.1007/S11334-011-0166-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/MilhauILLLF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/QamarLI11,
author = {Nafees Qamar and
Yves Ledru and
Akram Idani},
title = {Evaluating {RBAC} Supported Techniques and their Validation and Verification},
booktitle = {Sixth International Conference on Availability, Reliability and Security,
{ARES} 2011, Vienna, Austria, August 22-26, 2011},
pages = {734--739},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ARES.2011.112},
doi = {10.1109/ARES.2011.112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/QamarLI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LedruIMQLRL11,
author = {Yves Ledru and
Akram Idani and
J{\'{e}}r{\'{e}}my Milhau and
Nafees Qamar and
R{\'{e}}gine Laleau and
Jean{-}Luc Richier and
Mohamed{-}Amine Labiadh},
editor = {Camille Salinesi and
Oscar Pastor},
title = {Taking into Account Functional Models in the Validation of {IS} Security
Policies},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2011 International
Workshops, London, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {83},
pages = {592--606},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22056-2\_62},
doi = {10.1007/978-3-642-22056-2\_62},
timestamp = {Mon, 18 Jan 2021 08:56:37 +0100},
biburl = {https://dblp.org/rec/conf/caise/LedruIMQLRL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/QamarLI11,
author = {Nafees Qamar and
Yves Ledru and
Akram Idani},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Validation of Security-Design Models Using {Z}},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {259--274},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_19},
doi = {10.1007/978-3-642-24559-6\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/QamarLI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/LedruQIRL11,
author = {Yves Ledru and
Nafees Qamar and
Akram Idani and
Jean{-}Luc Richier and
Mohamed{-}Amine Labiadh},
editor = {Ruth Breu and
Jason Crampton and
Jorge Lobo},
title = {Validation of security policies by the animation of {Z} specifications},
booktitle = {16th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2011, Innsbruck, Austria, June 15-17, 2011, Proceedings},
pages = {155--164},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1998441.1998471},
doi = {10.1145/1998441.1998471},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/LedruQIRL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/IdaniLL10,
author = {Akram Idani and
Mohamed{-}Amine Labiadh and
Yves Ledru},
title = {Infrastructure dirig{\'{e}}e par les mod{\`{e}}les pour une int{\'{e}}gration
adaptable et {\'{e}}volutive de {UML} et {B}},
journal = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
volume = {15},
number = {3},
pages = {87--112},
year = {2010},
url = {https://doi.org/10.3166/isi.15.3.87-112},
doi = {10.3166/ISI.15.3.87-112},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isi/IdaniLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BousquetLMOL10,
author = {Lydie du Bousquet and
Yves Ledru and
Olivier Maury and
Catherine Oriat and
Jean{-}Louis Lanet},
title = {Reusing a {JML} Specification Dedicated to Verification for Testing,
and Vice-Versa: Case Studies},
journal = {J. Autom. Reason.},
volume = {45},
number = {4},
pages = {415--435},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9132-y},
doi = {10.1007/S10817-009-9132-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BousquetLMOL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/RajanBLVR10,
author = {Ajitha Rajan and
Lydie du Bousquet and
Yves Ledru and
Germ{\'{a}}n Vega and
Jean{-}Luc Richier},
title = {Assertion-based test oracles for home automation systems},
booktitle = {Proceedings of the 7th International Workshop on Model-Based Methodologies
for Pervasive and Embedded Software, {MOMPES} 2010, Antwerp, Belgium,
September 20-24, 2010},
pages = {45--52},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1865875.1865882},
doi = {10.1145/1865875.1865882},
timestamp = {Tue, 06 Nov 2018 16:58:14 +0100},
biburl = {https://dblp.org/rec/conf/mompes/RajanBLVR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/IdaniLL09,
author = {Akram Idani and
Yves Ledru and
Mohamed{-}Amine Labiadh},
title = {Ing{\'{e}}nierie Dirig{\'{e}}e par les Mod{\`{e}}les pour
une int{\'{e}}gration efficace de {UML} et {B}},
booktitle = {Actes du XXVII{\`{e}}me Congr{\`{e}}s INFORSID, Toulouse, France,
26-29 mai 2009},
pages = {261--276},
year = {2009},
timestamp = {Wed, 20 Jan 2010 14:06:50 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/IdaniLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LedruPB09,
author = {Yves Ledru and
Alexandre Petrenko and
Sergiy Boroday},
title = {Using String Distances for Test Case Prioritisation},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {510--514},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.23},
doi = {10.1109/ASE.2009.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LedruPB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/LedruLV08,
author = {Yves Ledru and
R{\'{e}}gine Laleau and
Sylvie Vignes},
title = {Une tentative d'utilisation conjointe d'UML et d'une m{\'{e}}thode
formelle pour la mod{\'{e}}lisation de la s{\'{e}}curit{\'{e}}
des a{\'{e}}roports},
journal = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
volume = {13},
number = {4},
pages = {133--157},
year = {2008},
url = {https://doi.org/10.3166/isi.13.4.133-157},
doi = {10.3166/ISI.13.4.133-157},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isi/LedruLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/IdaniL07,
author = {Akram Idani and
Yves Ledru},
title = {Object oriented concepts identification from formal {B} specifications},
journal = {Formal Methods Syst. Des.},
volume = {30},
number = {3},
pages = {217--232},
year = {2007},
url = {https://doi.org/10.1007/s10703-006-0030-1},
doi = {10.1007/S10703-006-0030-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/IdaniL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/IdaniLB07,
author = {Akram Idani and
Yves Ledru and
Didier Bert},
title = {Approche formelle pour la d{\'{e}}rivation de vues structurelles
{UML} {\`{a}} partir de d{\'{e}}veloppements B. Formalisation,
preuve et extension pour la prise en compte des raffinements {B}},
journal = {Tech. Sci. Informatiques},
volume = {26},
number = {7},
pages = {819--851},
year = {2007},
url = {https://doi.org/10.3166/tsi.26.819-851},
doi = {10.3166/TSI.26.819-851},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/IdaniLB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/LedruLV07,
author = {Yves Ledru and
R{\'{e}}gine Laleau and
Sylvie Vignes},
title = {Une tentative d'utilisation conjointe d'UML et d'une m{\'{e}}thode
formelle pour la mod{\'{e}}lisation de la s{\'{e}}curit{\'{e}}
des a{\'{e}}roports},
booktitle = {Actes du XXV{\`{e}}me Congr{\`{e}}s INFORSID, Perros-Guirec, France,
22 au 25 mai 2007},
pages = {155--170},
year = {2007},
timestamp = {Tue, 10 Feb 2009 14:34:18 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/LedruLV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LedruDBVR07,
author = {Yves Ledru and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Lydie du Bousquet and
S{\'{e}}bastien Ville and
Elodie Rose},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Mastering combinatorial explosion with the tobias-2 test generator},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {535--536},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321731},
doi = {10.1145/1321631.1321731},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LedruDBVR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/LaleauLBBLDDV07,
author = {R{\'{e}}gine Laleau and
Yves Ledru and
Didier Bert and
Fabrice Bouquet and
Michel Lemoine and
Catherine Dubois and
V{\'{e}}ronique Donzeau{-}Gouge and
Sylvie Vignes},
editor = {Colette Rolland and
Oscar Pastor and
Jean{-}Louis Cavarero},
title = {Using Computer Science Modeling Techniques for Airport Security Certification},
booktitle = {Proceedings of the First International Conference on Research Challenges
in Information Science, {RCIS} 2007, Ouarzazate, Morocco, April 23-26,
2007},
pages = {61--72},
year = {2007},
timestamp = {Mon, 18 Jan 2021 08:56:35 +0100},
biburl = {https://dblp.org/rec/conf/rcis/LaleauLBBLDDV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DadeauLB07,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and
Yves Ledru and
Lydie du Bousquet},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Measuring a Java Test Suite Coverage Using {JML} Specifications},
booktitle = {Proceedings of the Third Workshop on Model Based Testing, {MBT} 2007,
Braga, Portugal, March 31 - April 1, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {2},
pages = {21--32},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.003},
doi = {10.1016/J.ENTCS.2007.08.003},
timestamp = {Tue, 31 Jan 2023 15:52:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DadeauLB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LedruBDA07,
author = {Yves Ledru and
Lydie du Bousquet and
Fr{\'{e}}d{\'{e}}ric Dadeau and
F. Allouti},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {A Case Study in Matching Test and Proof Coverage},
booktitle = {Proceedings of the Third Workshop on Model Based Testing, {MBT} 2007,
Braga, Portugal, March 31 - April 1, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {2},
pages = {73--84},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.007},
doi = {10.1016/J.ENTCS.2007.08.007},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LedruBDA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/IdaniL06,
author = {Akram Idani and
Yves Ledru},
title = {Dynamic graphical {UML} views from formal {B} specifications},
journal = {Inf. Softw. Technol.},
volume = {48},
number = {3},
pages = {154--169},
year = {2006},
url = {https://doi.org/10.1016/j.infsof.2005.03.008},
doi = {10.1016/J.INFSOF.2005.03.008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/IdaniL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sopr/LaleauVLLBDDP06,
author = {R{\'{e}}gine Laleau and
Sylvie Vignes and
Yves Ledru and
Michel Lemoine and
Didier Bert and
V{\'{e}}ronique Donzeau{-}Gouge and
Catherine Dubois and
Fabien Peureux},
title = {Adopting a situational requirements engineering approach for the analysis
of civil aviation security standards},
journal = {Softw. Process. Improv. Pract.},
volume = {11},
number = {5},
pages = {487--503},
year = {2006},
url = {https://doi.org/10.1002/spip.291},
doi = {10.1002/SPIP.291},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sopr/LaleauVLLBDDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BertBLV06,
author = {Didier Bert and
Fabrice Bouquet and
Yves Ledru and
Sylvie Vignes},
editor = {R{\'{e}}gine Laleau and
Michel Lemoine},
title = {Validation of Regulation Documents by Automated Analysis of Formal
Models},
booktitle = {Proceedings of the CAISE*06 Workshop on Regulations Modelling and
their Validation and Verification ReMo2V '06, Luxemburg, June 5-9,
2006},
series = {{CEUR} Workshop Proceedings},
volume = {241},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-241/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:33 +0100},
biburl = {https://dblp.org/rec/conf/caise/BertBLV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/Ledru06,
author = {Yves Ledru},
editor = {R{\'{e}}gine Laleau and
Michel Lemoine},
title = {A Formalisation of the Soccer Substitution Rules},
booktitle = {Proceedings of the CAISE*06 Workshop on Regulations Modelling and
their Validation and Verification ReMo2V '06, Luxemburg, June 5-9,
2006},
series = {{CEUR} Workshop Proceedings},
volume = {241},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-241/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/Ledru06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LedruLLVBDDP06,
author = {Yves Ledru and
R{\'{e}}gine Laleau and
Michel Lemoine and
Sylvie Vignes and
Didier Bert and
V{\'{e}}ronique Donzeau{-}Gouge and
Catherine Dubois and
Fabien Peureux},
editor = {Nacer Boudjlida and
Dong Cheng and
Nicolas Guelfi},
title = {An attempt to combine {UML} and formal methods to model airport security},
booktitle = {The 18th Conference on Advanced Information Systems Engineering (CAiSE
'06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg,
June 5-9, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {231},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-231/Paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:33 +0100},
biburl = {https://dblp.org/rec/conf/caise/LedruLLVBDDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LedruB06,
author = {Yves Ledru and
Lydie du Bousquet},
title = {Tobias-Z: An executable formal specification of a test generator},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {353--354},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.67},
doi = {10.1109/ASE.2006.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LedruB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/IdaniLB06,
author = {Akram Idani and
Yves Ledru and
Didier Bert},
title = {A Reverse-Engineering Approach to Understanding {B} Specifications
with {UML} Diagrams},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.6},
doi = {10.1109/SEW.2006.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/IdaniLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/Ledru06,
author = {Yves Ledru},
title = {Using Jaza to Animate RoZ Specifications of {UML} Class Diagrams},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {253--262},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.39},
doi = {10.1109/SEW.2006.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/Ledru06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/soqua/2006,
editor = {Johannes Mayer and
Neelam Gupta and
Yves Ledru},
title = {Third International Workshop on Software Quality Assurance, {SOQUA}
2006, Portland, Oregon, USA, November 6, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1188895},
doi = {10.1145/1188895},
isbn = {1-59593-584-3},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soqua/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Dupuy-ChessaBBL05,
author = {Sophie Dupuy{-}Chessa and
Lydie du Bousquet and
Jullien Bouchet and
Yves Ledru},
editor = {Stephen W. Gilroy and
Michael D. Harrison},
title = {Test of the {ICARE} Platform Fusion Mechanism},
booktitle = {Interactive Systems, Design, Specification, and Verification, 12th
International Workshop, {DSVIS} 2005, Newcastle upon Tyne, UK, July
13-15, 2005, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3941},
pages = {102--113},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11752707\_9},
doi = {10.1007/11752707\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Dupuy-ChessaBBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edo/KessisLV05,
author = {Mehdi Kessis and
Yves Ledru and
G{\'{e}}rard Vandome},
editor = {Elisabetta Di Nitto and
Amy L. Murphy},
title = {Experiences in coverage testing of a Java middleware},
booktitle = {Proceedings of the 5th International Workshop on Software Engineering
and Middleware, {SEM} 2005, Lisbon, Portugal, September 5-6, 2005},
pages = {39--45},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108473.1108483},
doi = {10.1145/1108473.1108483},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edo/KessisLV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/IdaniLB05,
author = {Akram Idani and
Yves Ledru and
Didier Bert},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {Derivation of {UML} Class Diagrams as Static Views of Formal {B} Developments},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {37--51},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_4},
doi = {10.1007/11576280\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/IdaniLB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LedruDF04,
author = {Yves Ledru and
Sophie Dupuy{-}Chessa and
Hind Fadil},
editor = {Janis Grundspenkis and
Marite Kirikova},
title = {Towards Computer-aided Design of {OCL} Constraints},
booktitle = {CAiSE'04 Workshops in connection with The 16th Conference on Advanced
Information Systems Engineering, Riga, Latvia, 7-11 June, 2004, Knowledge
and Model Driven Information Systems Engineering for Networked Organisations,
Proceedings, Vol. 1},
pages = {329--338},
publisher = {Faculty of Computer Science and Information Technology, Riga Technical
University, Riga, Latvia},
year = {2004},
timestamp = {Tue, 28 Sep 2004 12:23:19 +0200},
biburl = {https://dblp.org/rec/conf/caise/LedruDF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LedruBMB04,
author = {Yves Ledru and
Lydie du Bousquet and
Olivier Maury and
Pierre Bontron},
editor = {Michel Wermelinger and
Tiziana Margaria},
title = {Filtering {TOBIAS} Combinatorial Test Suites},
booktitle = {Fundamental Approaches to Software Engineering, 7th International
Conference, {FASE} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
March 29 - april 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2984},
pages = {281--294},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24721-0\_21},
doi = {10.1007/978-3-540-24721-0\_21},
timestamp = {Sun, 02 Jun 2019 21:17:06 +0200},
biburl = {https://dblp.org/rec/conf/fase/LedruBMB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BousquetLMOL04,
author = {Lydie du Bousquet and
Yves Ledru and
Olivier Maury and
Catherine Oriat and
Jean{-}Louis Lanet},
title = {Case Study in JML-Based Software Validation},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {294--297},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10000},
doi = {10.1109/ASE.2004.10000},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BousquetLMOL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IdaniL05,
author = {Akram Idani and
Yves Ledru},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Object Oriented Concepts Identification from Formal {B} Specifications},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {159--174},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.063},
doi = {10.1016/J.ENTCS.2004.08.063},
timestamp = {Tue, 06 Dec 2022 10:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IdaniL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LedruR02,
author = {Yves Ledru and
David F. Redmiles},
title = {Report on the Workshop on the State of the Art in Automated Software
Engineering},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {307},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1115038},
doi = {10.1109/ASE.2002.1115038},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LedruR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/SanlabilleFL01,
author = {R{\'{e}}my Sanlaville and
Jean{-}Marie Favre and
Yves Ledru},
title = {Helping Various Stakeholders to Understand a Very Large Component-Based
Software},
booktitle = {27th {EUROMICRO} Conference 2001: {A} Net Odyssey, 4-6 September 2001,
Warsaw, Poland},
pages = {104},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/EURMIC.2001.952444},
doi = {10.1109/EURMIC.2001.952444},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/SanlabilleFL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LedruBBMOP01,
author = {Yves Ledru and
Lydie du Bousquet and
Pierre Bontron and
Olivier Maury and
Catherine Oriat and
Marie{-}Laure Potet},
title = {Test Purposes: Adapting the Notion of Specification to Testing},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {127--134},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989798},
doi = {10.1109/ASE.2001.989798},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LedruBBMOP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/DupuyLC00,
author = {Sophie Dupuy and
Yves Ledru and
Monique Chabre{-}Peccoud},
title = {Vers une int{\'{e}}gration utile de notations semi-formelles
et formelles : une exp{\'{e}}rience en {UML} et {Z}},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {6},
number = {1},
year = {2000},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/DupuyLC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/DupuyLC00,
author = {Sophie Dupuy and
Yves Ledru and
Monique Chabre{-}Peccoud},
editor = {Benkt Wangler and
Lars Bergman},
title = {An Overview of RoZ: {A} Tool for Integrating {UML} and {Z} Specifications},
booktitle = {Advanced Information Systems Engineering, 12th International Conference
CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1789},
pages = {417--430},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45140-4\_28},
doi = {10.1007/3-540-45140-4\_28},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/DupuyLC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/WeltyLL99,
author = {Christopher A. Welty and
Michael R. Lowry and
Yves Ledru},
title = {Guest Editorial},
journal = {Autom. Softw. Eng.},
volume = {6},
number = {4},
pages = {327--328},
year = {1999},
url = {https://doi.org/10.1023/A:1008727205223},
doi = {10.1023/A:1008727205223},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/WeltyLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Ledru98,
author = {Yves Ledru},
title = {Identifying Pre-Conditions with the {Z/EVES} Theorem Prover},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {32},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732566},
doi = {10.1109/ASE.1998.732566},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Ledru98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DupuyLC98,
author = {Sophie Dupuy and
Yves Ledru and
Monique Chabre{-}Peccoud},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Translating the {OMT} Dynamic Model into Object-Z},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {347--366},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_23},
doi = {10.1007/978-3-540-49676-2\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/DupuyLC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Ledru97,
author = {Yves Ledru},
title = {Specification and Animation of a Bank Transfer using {KIDS/VDM}},
journal = {Autom. Softw. Eng.},
volume = {4},
number = {1},
pages = {33--51},
year = {1997},
url = {https://doi.org/10.1023/A:1008603612253},
doi = {10.1023/A:1008603612253},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Ledru97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Ledru96,
author = {Yves Ledru},
editor = {H. Dieter Rombach and
T. S. E. Maibaum and
Marvin V. Zelkowitz},
title = {Using {KIDS} as a Tool Support for {VDM}},
booktitle = {18th International Conference on Software Engineering, Berlin, Germany,
March 25-29, 1996, Proceedings},
pages = {236--245},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {http://portal.acm.org/citation.cfm?id=227726.227767},
timestamp = {Mon, 17 Sep 2012 17:53:34 +0200},
biburl = {https://dblp.org/rec/conf/icse/Ledru96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Ledru96,
author = {Yves Ledru},
title = {Complementing semi-formal specifications with {Z}},
booktitle = {Proceedings of the 11th Knowledge-Based Software Engineering Conference,
{KBSE} 1996, Syracuse, NY, USA, September 25-28, 1996},
pages = {52--61},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/KBSE.1996.552823},
doi = {10.1109/KBSE.1996.552823},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Ledru96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LedruP95,
author = {Yves Ledru and
Marie{-}Laure Potet},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {A {VDM} Specification of the Steam-Boiler Problem},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {283--317},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027242},
doi = {10.1007/BFB0027242},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LedruP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Ledru95,
author = {Yves Ledru},
title = {Specification and Animation of a Bank Transfer},
booktitle = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
Conference, Boston, Massachusetts, USA, November 12-15, 1995},
pages = {192--199},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/KBSE.1995.490135},
doi = {10.1109/KBSE.1995.490135},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Ledru95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Ledru94,
author = {Yves Ledru},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {Proof-Based Development of Specifications with {KIDS/VDM}},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {214--232},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_97},
doi = {10.1007/3-540-58555-9\_97},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Ledru94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/LedruC94,
author = {Yves Ledru and
Pierre Collette},
editor = {David Till},
title = {Environment-based Development of Reactive Systems},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {217--235},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_12},
doi = {10.1007/978-1-4471-3240-0\_12},
timestamp = {Tue, 20 Aug 2019 12:41:38 +0200},
biburl = {https://dblp.org/rec/conf/refine/LedruC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Ledru93,
author = {Yves Ledru},
title = {Developing Reactive Systems in a {VDM} Framework},
journal = {Sci. Comput. Program.},
volume = {20},
number = {1-2},
pages = {51--71},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90022-H},
doi = {10.1016/0167-6423(93)90022-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Ledru93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LedruL92,
author = {Yves Ledru and
Marie{-}H{\'{e}}l{\`{e}}ne Li{\'{e}}geois},
title = {Prototyping {VDM} specifications with {KIDS}},
booktitle = {Proceedings of the Seventh Knowledge-Based Software Engineering Conference,
{KBSE} 1992, McLean, VA, USA, September 20-23, 1992},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/KBSE.1992.252909},
doi = {10.1109/KBSE.1992.252909},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LedruL92.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/iwssd/Ledru91,
author = {Yves Ledru},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Developing reactive systems in a {VDM} framework},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952806},
doi = {10.5555/952786.952806},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Ledru91.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}
}
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 02:13 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:
