Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jean-Raymond Abrial
@article{DBLP:journals/sttt/Abrial20,
author = {Jean{-}Raymond Abrial},
title = {The {ABZ-2018} case study with Event-B},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {257--264},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00525-3},
doi = {10.1007/S10009-019-00525-3},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Abrial20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/FangSPSAYQ18,
author = {Bin Fang and
Mihaela Sighireanu and
Geguang Pu and
Wen Su and
Jean{-}Raymond Abrial and
Mengfei Yang and
Lei Qiao},
title = {Formal modelling of list based dynamic memory allocators},
journal = {Sci. China Inf. Sci.},
volume = {61},
number = {12},
pages = {122103:1--122103:16},
year = {2018},
url = {https://doi.org/10.1007/s11432-017-9280-9},
doi = {10.1007/S11432-017-9280-9},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/FangSPSAYQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Abrial18,
author = {Jean{-}Raymond Abrial},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {On {B} and Event-B: Principles, Success and Challenges},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {31--35},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_3},
doi = {10.1007/978-3-319-91271-4\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Abrial18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Abrial18a,
author = {Jean{-}Raymond Abrial},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {The {ABZ-2018} Case Study with Event-B},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {322--337},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_22},
doi = {10.1007/978-3-319-91271-4\_22},
timestamp = {Mon, 14 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Abrial18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SuA17,
author = {Wen Su and
Jean{-}Raymond Abrial},
title = {Aircraft landing gear system: approaches with Event-B to the modeling
of an industrial system},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {2},
pages = {141--166},
year = {2017},
url = {https://doi.org/10.1007/s10009-015-0400-3},
doi = {10.1007/S10009-015-0400-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SuA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abrial17,
author = {Jean{-}Raymond Abrial},
title = {Formal Proof of the Weak Goodstein Theorem},
journal = {CoRR},
volume = {abs/1701.01673},
year = {2017},
url = {http://arxiv.org/abs/1701.01673},
eprinttype = {arXiv},
eprint = {1701.01673},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Abrial17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/ButlerAB16,
author = {Michael J. Butler and
Jean{-}Raymond Abrial and
Richard Banach},
editor = {Luigia Petre and
Emil Sekerinski},
title = {Modelling and Refining Hybrid Systems in Event-B and Rodin},
booktitle = {From Action Systems to Distributed Systems - The Refinement Approach},
pages = {29--42},
publisher = {Chapman and Hall/CRC},
year = {2016},
url = {https://doi.org/10.1201/b20053-5},
doi = {10.1201/B20053-5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/p/ButlerAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SuAPF15,
author = {Wen Su and
Jean{-}Raymond Abrial and
Geguang Pu and
Bin Fang},
title = {Formal Development of a Real-Time Operating System Memory Manager},
booktitle = {20th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICECCS.2015.24},
doi = {10.1109/ICECCS.2015.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SuAPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Abrial15,
author = {Jean{-}Raymond Abrial},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {An Exercise in Mathematical Engineering: Stating and Proving Kuratowski
Theorem},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {3--27},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_1},
doi = {10.1007/978-3-319-25150-9\_1},
timestamp = {Sat, 19 Oct 2019 20:17:56 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Abrial15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SuAZ14,
author = {Wen Su and
Jean{-}Raymond Abrial and
Huibiao Zhu},
title = {Formalizing hybrid systems with Event-B and the Rodin Platform},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {164--202},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.04.015},
doi = {10.1016/J.SCICO.2014.04.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SuAZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/VoisinA14,
author = {Laurent Voisin and
Jean{-}Raymond Abrial},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {The Rodin Platform Has Turned Ten},
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 = {1--8},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_1},
doi = {10.1007/978-3-662-43652-3\_1},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/VoisinA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SuA14,
author = {Wen Su and
Jean{-}Raymond Abrial},
editor = {Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels and
Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Aircraft Landing Gear System: Approaches with Event-B to the Modeling
of an Industrial System},
booktitle = {{ABZ} 2014: The Landing Gear Case Study - Case Study Track, Held at
the 4th International Conference on Abstract State Machines, Alloy,
B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Communications in Computer and Information Science},
volume = {433},
pages = {19--35},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07512-9\_2},
doi = {10.1007/978-3-319-07512-9\_2},
timestamp = {Tue, 07 May 2019 12:18:03 +0200},
biburl = {https://dblp.org/rec/conf/asm/SuA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HoangFA13,
author = {Thai Son Hoang and
Andreas F{\"{u}}rst and
Jean{-}Raymond Abrial},
title = {Event-B patterns and their tool support},
journal = {Softw. Syst. Model.},
volume = {12},
number = {2},
pages = {229--244},
year = {2013},
url = {https://doi.org/10.1007/s10270-010-0183-7},
doi = {10.1007/S10270-010-0183-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HoangFA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Abrial13,
author = {Jean{-}Raymond Abrial},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Set-Theoretic Models of Computations},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {1--22},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_1},
doi = {10.1007/978-3-642-39698-4\_1},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Abrial13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Abrial13,
author = {Jean{-}Raymond Abrial},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {From {Z} to {B} and then Event-B: Assigning Proofs to Meaningful Programs},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {1--15},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_1},
doi = {10.1007/978-3-642-38613-8\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Abrial13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AbrialSZ12,
author = {Jean{-}Raymond Abrial and
Wen Su and
Huibiao Zhu},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {Formalizing Hybrid Systems with Event-B},
booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7316},
pages = {178--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_13},
doi = {10.1007/978-3-642-30885-7\_13},
timestamp = {Sun, 02 Jun 2019 21:23:59 +0200},
biburl = {https://dblp.org/rec/conf/asm/AbrialSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SuAZ12,
author = {Wen Su and
Jean{-}Raymond Abrial and
Huibiao Zhu},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Complementary Methodologies for Developing Hybrid Systems with Event-B},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {230--248},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_18},
doi = {10.1007/978-3-642-34281-3\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SuAZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SuAHZ11,
author = {Wen Su and
Jean{-}Raymond Abrial and
Runlei Huang and
Huibiao Zhu},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {From Requirements to Development: Methodology and Example},
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 = {437--455},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_30},
doi = {10.1007/978-3-642-24559-6\_30},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SuAHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HoangA11,
author = {Thai Son Hoang and
Jean{-}Raymond Abrial},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Reasoning about Liveness Properties in Event-B},
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 = {456--471},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_31},
doi = {10.1007/978-3-642-24559-6\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HoangA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0024570,
author = {Jean{-}Raymond Abrial},
title = {Modeling in Event-B - System and Software Engineering},
publisher = {Cambridge University Press},
year = {2010},
url = {https://doi.org/10.1017/CBO9781139195881},
doi = {10.1017/CBO9781139195881},
isbn = {978-0-521-89556-9},
timestamp = {Tue, 23 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0024570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AbrialBHHMV10,
author = {Jean{-}Raymond Abrial and
Michael J. Butler and
Stefan Hallerstede and
Thai Son Hoang and
Farhad Mehta and
Laurent Voisin},
title = {Rodin: an open toolset for modelling and reasoning in Event-B},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {447--466},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0145-y},
doi = {10.1007/S10009-010-0145-Y},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AbrialBHHMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HoangA10,
author = {Thai Son Hoang and
Jean{-}Raymond Abrial},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Event-B Decomposition for Parallel Programs},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {319--333},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_24},
doi = {10.1007/978-3-642-11811-1\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/HoangA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Abrial09,
author = {Jean{-}Raymond Abrial},
title = {Faultless Systems: Yes We Can!},
journal = {Computer},
volume = {42},
number = {9},
pages = {30--36},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.283},
doi = {10.1109/MC.2009.283},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Abrial09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HoangKBA09,
author = {Thai Son Hoang and
Hironobu Kuruma and
David A. Basin and
Jean{-}Raymond Abrial},
title = {Developing topology discovery in Event-B},
journal = {Sci. Comput. Program.},
volume = {74},
number = {11-12},
pages = {879--899},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.07.006},
doi = {10.1016/J.SCICO.2009.07.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HoangKBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HoangKBA09,
author = {Thai Son Hoang and
Hironobu Kuruma and
David A. Basin and
Jean{-}Raymond Abrial},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Developing Topology Discovery in Event-B},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {1--19},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_1},
doi = {10.1007/978-3-642-00255-7\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HoangKBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HoangFA09,
author = {Thai Son Hoang and
Andreas F{\"{u}}rst and
Jean{-}Raymond Abrial},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {Event-B Patterns and Their Tool Support},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {210--219},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.17},
doi = {10.1109/SEFM.2009.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HoangFA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2009borger,
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2},
doi = {10.1007/978-3-642-11447-2},
isbn = {978-3-642-11446-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2009borger.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9381,
editor = {Jean{-}Raymond Abrial and
Michael J. Butler and
Rajev Joshi and
Elena Troubitsyna and
J. C. P. Woodcock},
title = {Refinement Based Methods for the Construction of Dependable Systems,
13.09. - 18.09.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09381},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09381/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialBJTW09,
author = {Jean{-}Raymond Abrial and
Michael J. Butler and
Rajev Joshi and
Elena Troubitsyna and
J. C. P. Woodcock},
editor = {Jean{-}Raymond Abrial and
Michael J. Butler and
Rajev Joshi and
Elena Troubitsyna and
J. C. P. Woodcock},
title = {09381 Extended Abstracts Collection - Refinement Based Methods for
the Construction of Dependable Systems},
booktitle = {Refinement Based Methods for the Construction of Dependable Systems,
13.09. - 18.09.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09381},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2374/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialBJTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AbrialBHV08,
author = {Jean{-}Raymond Abrial and
Michael J. Butler and
Stefan Hallerstede and
Laurent Voisin},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {A Roadmap for the Rodin Toolset},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {347},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_35},
doi = {10.1007/978-3-540-87603-8\_35},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/AbrialBHV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DamchoomBA08,
author = {Kriangsak Damchoom and
Michael J. Butler and
Jean{-}Raymond Abrial},
editor = {Shaoying Liu and
T. S. E. Maibaum and
Keijiro Araki},
title = {Modelling and Proof of a Tree-Structured File System in Event-B and
Rodin},
booktitle = {Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {25--44},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_5},
doi = {10.1007/978-3-540-88194-0\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DamchoomBA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AbrialH08,
author = {Jean{-}Raymond Abrial and
Thai Son Hoang},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Using Design Patterns in Formal Methods: An Event-B Approach},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {1--2},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_1},
doi = {10.1007/978-3-540-85762-4\_1},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AbrialH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbrialH07,
author = {Jean{-}Raymond Abrial and
Stefan Hallerstede},
title = {Refinement, Decomposition, and Instantiation of Discrete Models: Application
to Event-B},
journal = {Fundam. Informaticae},
volume = {77},
number = {1-2},
pages = {1--28},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi77-1-2-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AbrialH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Abrial07,
author = {Jean{-}Raymond Abrial},
title = {Formal Methods: Theory Becoming Practice},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {5},
pages = {619--628},
year = {2007},
url = {https://doi.org/10.3217/jucs-013-05-0619},
doi = {10.3217/JUCS-013-05-0619},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Abrial07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Abrial07,
author = {Jean{-}Raymond Abrial},
editor = {Michael J. Butler and
Michael G. Hinchey and
Mar{\'{\i}}a M. Larrondo{-}Petrie},
title = {A System Development Process with Event-B and the Rodin Platform},
booktitle = {Formal Methods and Software Engineering, 9th International Conference
on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
November 14-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4789},
pages = {1--3},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76650-6\_1},
doi = {10.1007/978-3-540-76650-6\_1},
timestamp = {Sat, 19 Oct 2019 20:19:23 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Abrial07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialG07,
author = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {06191 Summary -- Rigorous Methods for Software Construction and Analysis},
booktitle = {Rigorous Methods for Software Construction and Analysis, 07.05. -
12.05.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06191},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/665},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialG07a,
author = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {06191 Abstracts Collection -- Rigorous Methods for Software Construction
and Analysis},
booktitle = {Rigorous Methods for Software Construction and Analysis, 07.05. -
12.05.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06191},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/666},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialG07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LeavensABBCFHJMJSSS06,
author = {Gary T. Leavens and
Jean{-}Raymond Abrial and
Don S. Batory and
Michael J. Butler and
Alessandro Coglio and
Kathi Fisler and
Eric C. R. Hehner and
Cliff B. Jones and
Dale Miller and
Simon L. Peyton Jones and
Murali Sitaraman and
Douglas R. Smith and
Aaron Stump},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {Roadmap for enhanced languages and methods to aid verification},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {221--236},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173740},
doi = {10.1145/1173706.1173740},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/LeavensABBCFHJMJSSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AbrialBHV06,
author = {Jean{-}Raymond Abrial and
Michael J. Butler and
Stefan Hallerstede and
Laurent Voisin},
editor = {Zhiming Liu and
Jifeng He},
title = {An Open Extensible Tool Environment for Event-B},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {588--605},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_32},
doi = {10.1007/11901433\_32},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AbrialBHV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Abrial06,
author = {Jean{-}Raymond Abrial},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Formal methods in industry: achievements, problems, future},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {761--768},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134406},
doi = {10.1145/1134285.1134406},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Abrial06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rodin/Abrial06,
author = {Jean{-}Raymond Abrial},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Train Systems},
booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
{RODIN} project]},
series = {Lecture Notes in Computer Science},
volume = {4157},
pages = {1--36},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916246\_1},
doi = {10.1007/11916246\_1},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/rodin/Abrial06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rodin/Abrial06a,
author = {Jean{-}Raymond Abrial},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Tools for Developing Large Systems {(A} Proposal)},
booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
{RODIN} project]},
series = {Lecture Notes in Computer Science},
volume = {4157},
pages = {387--390},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916246\_20},
doi = {10.1007/11916246\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rodin/Abrial06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6191,
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Rigorous Methods for Software Construction and Analysis, 07.05. -
12.05.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06191},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/06191/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AbrialC05,
author = {Jean{-}Raymond Abrial and
Dominique Cansell},
title = {Formal Construction of a Non-blocking Concurrent Queue Algorithm (a
Case Study in Atomicity)},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {5},
pages = {744--770},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-05-0744},
doi = {10.3217/JUCS-011-05-0744},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AbrialC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Abrial05,
author = {Jean{-}Raymond Abrial},
title = {Refinement, Decomposition and Instantiation of Discrete Models},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {17--40},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/ref\_dcp\_ins\_final2.ps},
timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
biburl = {https://dblp.org/rec/conf/asm/Abrial05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MorganHA05,
author = {Carroll Morgan and
Thai Son Hoang and
Jean{-}Raymond Abrial},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {The Challenge of Probabilistic \emph{Event B} - Extended Abstract},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {162--171},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_10},
doi = {10.1007/11415787\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/MorganHA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AbrialCM05,
author = {Jean{-}Raymond Abrial and
Dominique Cansell and
Dominique M{\'{e}}ry},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {Refinement and Reachability in Event\({}_{\mbox{B}}\)},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {222--241},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_14},
doi = {10.1007/11415787\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/AbrialCM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AbrialCM03,
author = {Jean{-}Raymond Abrial and
Dominique Cansell and
Dominique M{\'{e}}ry},
title = {A Mechanically Proved and Incremental Development of {IEEE} 1394 Tree
Identify Protocol},
journal = {Formal Aspects Comput.},
volume = {14},
number = {3},
pages = {215--227},
year = {2003},
url = {https://doi.org/10.1007/s001650300002},
doi = {10.1007/S001650300002},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AbrialCM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Abrial03,
author = {Jean{-}Raymond Abrial},
title = {B : pass{\'{e}}, pr{\'{e}}sent, futur},
journal = {Tech. Sci. Informatiques},
volume = {22},
number = {1},
pages = {89--118},
year = {2003},
url = {https://doi.org/10.3166/tsi.22.89-118},
doi = {10.3166/TSI.22.89-118},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Abrial03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Abrial03,
author = {Jean{-}Raymond Abrial},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Event Based Sequential Program Development: Application to Constructing
a Pointer Program},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {51--74},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_5},
doi = {10.1007/978-3-540-45236-2\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Abrial03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AbrialC03,
author = {Jean{-}Raymond Abrial and
Dominique Cansell},
editor = {David A. Basin and
Burkhart Wolff},
title = {Click'n Prove: Interactive Proofs within Set Theory},
booktitle = {Theorem Proving in Higher Order Logics, 16th International Conference,
TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2758},
pages = {1--24},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/10930755\_1},
doi = {10.1007/10930755\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AbrialC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Abrial03,
author = {Jean{-}Raymond Abrial},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {B\({}^{\mbox{{\#}}}\): Toward a Synthesis between {Z} and {B}},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {168--177},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_12},
doi = {10.1007/3-540-44880-2\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Abrial03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AbrialCM03,
author = {Jean{-}Raymond Abrial and
Dominique Cansell and
Dominique M{\'{e}}ry},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {Formal Derivation of Spanning Trees Algorithms},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {457--476},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_27},
doi = {10.1007/3-540-44880-2\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/AbrialCM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AbrialM02,
author = {Jean{-}Raymond Abrial and
Louis Mussat},
editor = {Didier Bert and
Jonathan P. Bowen and
Martin C. Henson and
Ken Robinson},
title = {On Using Conditional Definitions in Formal Theories},
booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
International Conference of {B} and {Z} Users, Grenoble, France, January
23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2272},
pages = {242--269},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45648-1\_13},
doi = {10.1007/3-540-45648-1\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/AbrialM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AbrialCL02,
author = {Jean{-}Raymond Abrial and
Dominique Cansell and
Guy Laffitte},
editor = {Didier Bert and
Jonathan P. Bowen and
Martin C. Henson and
Ken Robinson},
title = {"Higher-Order" Mathematics in {B}},
booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
International Conference of {B} and {Z} Users, Grenoble, France, January
23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2272},
pages = {370--393},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45648-1\_19},
doi = {10.1007/3-540-45648-1\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/AbrialCL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/Abrial98,
author = {Jean{-}Raymond Abrial},
editor = {Didier Bert},
title = {On {B}},
booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
Second International {B} Conference, Montpellier, France, April 22-24,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1393},
pages = {1--8},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053350},
doi = {10.1007/BFB0053350},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/b/Abrial98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/AbrialM98,
author = {Jean{-}Raymond Abrial and
Louis Mussat},
editor = {Didier Bert},
title = {Introducing Dynamic Constraints in {B}},
booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
Second International {B} Conference, Montpellier, France, April 22-24,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1393},
pages = {83--128},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053357},
doi = {10.1007/BFB0053357},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/b/AbrialM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015096,
author = {Jean{-}Raymond Abrial},
title = {The B-book - assigning programs to meanings},
publisher = {Cambridge University Press},
year = {1996},
url = {https://doi.org/10.1017/CBO9780511624162},
doi = {10.1017/CBO9780511624162},
isbn = {978-0-521-02175-3},
timestamp = {Tue, 23 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0015096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1995fm,
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {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},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027227},
doi = {10.1007/BFB0027227},
isbn = {3-540-61929-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/1995fm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialBL95,
author = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {The Stream Boiler Case Study: Competition of Formal Program Specification
and Development Methods},
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 = {1--12},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027228},
doi = {10.1007/BFB0027228},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialBL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Abrial95,
author = {Jean{-}Raymond Abrial},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Steam-Boiler Control Specification 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 = {500--509},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027252},
doi = {10.1007/BFB0027252},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Abrial95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/93/Abrial93,
author = {Jean{-}Raymond Abrial},
editor = {Peter Ryan and
Chris T. Sennett},
title = {On constructing large software systems},
booktitle = {Formal Methods in Systems Engineering},
pages = {32--40},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-1975-3\_4},
doi = {10.1007/978-1-4471-1975-3\_4},
timestamp = {Tue, 02 Jun 2020 17:03:16 +0200},
biburl = {https://dblp.org/rec/books/sp/93/Abrial93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Abrial92,
author = {Jean{-}Raymond Abrial},
editor = {Jan van Leeuwen},
title = {On Constructing Large Software Systems},
booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume
1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
Spain, 7-11 September 1992},
series = {{IFIP} Transactions},
volume = {{A-12}},
pages = {103--112},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 14 Aug 2002 08:51:19 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Abrial92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AbrialLNSS91,
author = {Jean{-}Raymond Abrial and
Matthew K. O. Lee and
David Neilson and
P. N. Scharbach and
Ib Holm S{\o}rensen},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The B-Method},
booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
1991, Proceedings, Volume 2: Tutorials},
series = {Lecture Notes in Computer Science},
volume = {552},
pages = {398--405},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020001},
doi = {10.1007/BFB0020001},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AbrialLNSS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Abrial89,
author = {Jean{-}Raymond Abrial},
editor = {Jan L. A. van de Snepscheut},
title = {A Formal Approach To Large Software Construction},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {1--20},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_1},
doi = {10.1007/3-540-51305-1\_1},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Abrial89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Abrial88,
author = {Jean{-}Raymond Abrial},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {The {B} Tool (Abstract)},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {86--87},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_8},
doi = {10.1007/3-540-50214-9\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Abrial88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Abrial84,
author = {Jean{-}Raymond Abrial},
title = {The Mathematical Construction of a Program},
journal = {Sci. Comput. Program.},
volume = {4},
number = {1},
pages = {45--86},
year = {1984},
url = {https://doi.org/10.1016/0167-6423(84)90011-X},
doi = {10.1016/0167-6423(84)90011-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Abrial84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Abrial83,
author = {Jean{-}Raymond Abrial},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {A Practical Approach to the Analysis of Concurrent Systems},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {66--96},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_36},
doi = {10.1007/3-540-16047-7\_36},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/acs/Abrial83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Steensgaard-MadsenHPEKNASGCG81,
author = {J{\o}rgen Steensgaard{-}Madsen and
Jane W. Hughes and
Malcolm S. Powell and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Leif Sandegaard Nielsen and
Jean{-}Raymond Abrial and
Ib Holm S{\o}rensen and
Robin M. Gallimore and
Derek Coleman and
Joseph A. Goguen},
editor = {J{\o}rgen Staunstrup},
title = {KWIC-index generation},
booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark,
August 1981},
series = {Lecture Notes in Computer Science},
volume = {134},
pages = {47--117},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-11490-4\_5},
doi = {10.1007/3-540-11490-4\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Steensgaard-MadsenHPEKNASGCG81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/mckeag80/AbrialSM80,
author = {Jean{-}Raymond Abrial and
Stephen A. Schuman and
Bertrand Meyer},
editor = {R. M. McKeag and
A. M. Macnaghten},
title = {Specification Language},
booktitle = {On the Construction of Programs},
pages = {343--410},
publisher = {Cambridge University Press},
year = {1980},
timestamp = {Sat, 03 Aug 2019 18:38:14 +0200},
biburl = {https://dblp.org/rec/books/cu/mckeag80/AbrialSM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scc/AbrialS79,
author = {Jean{-}Raymond Abrial and
Stephen A. Schuman},
editor = {Gilles Kahn},
title = {Non-Deterministic System Specification},
booktitle = {Semantics of Concurrent Computation, Proceedings of the International
Symposium, Evian, France, July 2-4, 1979},
series = {Lecture Notes in Computer Science},
volume = {70},
pages = {34--50},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/BFb0022462},
doi = {10.1007/BFB0022462},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/scc/AbrialS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/Abrial74,
author = {Jean{-}Raymond Abrial},
editor = {J. W. Klimbie and
K. L. Koffeman},
title = {Data Semantics},
booktitle = {Data Base Management, Proceeding of the {IFIP} Working Conference
Data Base Management, Carg{\`{e}}se, Corsica, France, April 1-5, 1974},
pages = {1--60},
publisher = {North-Holland},
year = {1974},
timestamp = {Fri, 28 Apr 2017 12:49:11 +0200},
biburl = {https://dblp.org/rec/conf/ds/Abrial74.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 2023-09-28 03:43 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:
