Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rosemary Monahan
@article{DBLP:journals/robotics/MacConvilleFLM23,
author = {Dara MacConville and
Marie Farrell and
Matt Luckcuck and
Rosemary Monahan},
title = {CSP2Turtle: Verified Turtle Robot Plans},
journal = {Robotics},
volume = {12},
number = {2},
pages = {62},
year = {2023},
url = {https://doi.org/10.3390/robotics12020062},
doi = {10.3390/ROBOTICS12020062},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/robotics/MacConvilleFLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/FlinkowPM23,
author = {Thomas Flinkow and
Barak A. Pearlmutter and
Rosemary Monahan},
title = {Rich and Expressive Specification of Continuous-Learning Cyber-Physical
Systems},
booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2023 - Supplemental Volume, Porto, Portugal, June
27-30, 2023},
pages = {197--199},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSN-S58398.2023.00054},
doi = {10.1109/DSN-S58398.2023.00054},
timestamp = {Thu, 17 Aug 2023 15:16:15 +0200},
biburl = {https://dblp.org/rec/conf/dsn/FlinkowPM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcaiep/InkarbekovPM23,
author = {Medet Inkarbekov and
Barak A. Pearlmutter and
Rosemary Monahan},
editor = {Brett A. Becker and
Roisin Faherty and
Juho Leinonen and
Keith Quille},
title = {Immersive Neural Network Exploration: {A} {VR} Approach to Human-Centered
{AI} Understanding},
booktitle = {Proceedings of the 2023 Conference on Human Centered Artificial Intelligence:
Education and Practice, HCAIep 2023, Dublin, Ireland, December 14-15,
2023},
pages = {48},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3633083.3633221},
doi = {10.1145/3633083.3633221},
timestamp = {Fri, 19 Jan 2024 11:22:30 +0100},
biburl = {https://dblp.org/rec/conf/hcaiep/InkarbekovPM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/LehtimakiMMCN23,
author = {Taina Lehtim{\"{a}}ki and
Rosemary Monahan and
Aidan Mooney and
Kevin Casey and
Thomas J. Naughton},
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {A Computational Thinking Obstacle Course Based on Bebras Tasks for
{K-12} Schools},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 1, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {478--484},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587102.3588775},
doi = {10.1145/3587102.3588775},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/LehtimakiMMCN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/LehtimakiMMCN23a,
author = {Taina Lehtim{\"{a}}ki and
Rosemary Monahan and
Aidan Mooney and
Kevin Casey and
Thomas J. Naughton},
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {Computational Thinking Resources Inspired by Bebras},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 2, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {663},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587103.3594203},
doi = {10.1145/3587103.3594203},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/LehtimakiMMCN23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/FarrellMP23,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Building Specifications in the Event-B Institution: {A} Summary},
booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
pages = {245--253},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_19},
doi = {10.1007/978-3-031-33163-3\_19},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/FarrellMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09809,
author = {Thomas Flinkow and
Barak A. Pearlmutter and
Rosemary Monahan},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Comparing Differentiable Logics for Learning Systems: {A} Research
Preview},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {17--29},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.3},
doi = {10.4204/EPTCS.395.3},
timestamp = {Tue, 07 May 2024 20:16:46 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-06460,
author = {Jonathan Lambert and
Kevin Casey and
Rosemary Monahan},
title = {Repositioning Tiered HotSpot Execution Performance Relative to the
Interpreter},
journal = {CoRR},
volume = {abs/2304.06460},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.06460},
doi = {10.48550/ARXIV.2304.06460},
eprinttype = {arXiv},
eprint = {2304.06460},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-06460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-15545,
author = {Medet Inkarbekov and
Rosemary Monahan and
Barak A. Pearlmutter},
title = {Visualization of {AI} Systems in Virtual Reality: {A} Comprehensive
Review},
journal = {CoRR},
volume = {abs/2306.15545},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.15545},
doi = {10.48550/ARXIV.2306.15545},
eprinttype = {arXiv},
eprint = {2306.15545},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-15545.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/LambertMC22,
author = {Jonathan Lambert and
Rosemary Monahan and
Kevin Casey},
title = {Accidental Choices - How {JVM} Choice and Associated Build Tools Affect
Interpreter Performance},
journal = {Comput.},
volume = {11},
number = {6},
pages = {96},
year = {2022},
url = {https://doi.org/10.3390/computers11060096},
doi = {10.3390/COMPUTERS11060096},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/LambertMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FarrellMP22,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
title = {Building Specifications in the Event-B Institution},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:4)2022},
doi = {10.46298/LMCS-18(4:4)2022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/FarrellMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SheridanML22,
author = {Ois{\'{\i}}n Sheridan and
Rosemary Monahan and
Matt Luckcuck},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {A Requirements-Driven Methodology: Formal Modelling and Verification
of an Aircraft Engine Controller},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {352--356},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_21},
doi = {10.1007/978-3-031-07727-2\_21},
timestamp = {Fri, 03 Jun 2022 16:42:29 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SheridanML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ReynoldsM22,
author = {Conor Reynolds and
Rosemary Monahan},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Machine-Assisted Proofs for Institutions in Coq},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {369--372},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_25},
doi = {10.1007/978-3-031-07727-2\_25},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ReynoldsM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/LehtimakiMMCN22,
author = {Taina Lehtim{\"{a}}ki and
Rosemary Monahan and
Aidan Mooney and
Kevin Casey and
Thomas J. Naughton},
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen and
Simon},
title = {Bebras-inspired Computational Thinking Primary School Resources Co-created
by Computer Science Academics and Teachers},
booktitle = {ITiCSE 2022: Innovation and Technology in Computer Science Education,
Dublin, Ireland, July 8 - 13, 2022, Volume 1},
pages = {207--213},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3502718.3524804},
doi = {10.1145/3502718.3524804},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/LehtimakiMMCN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FarrellLSM22,
author = {Marie Farrell and
Matt Luckcuck and
Ois{\'{\i}}n Sheridan and
Rosemary Monahan},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Towards Refactoring FRETish Requirements},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {272--279},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_14},
doi = {10.1007/978-3-031-06773-0\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/FarrellLSM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/FarrellLSM22,
author = {Marie Farrell and
Matt Luckcuck and
Ois{\'{\i}}n Sheridan and
Rosemary Monahan},
editor = {Vincenzo Gervasi and
Andreas Vogelsang},
title = {FRETting About Requirements: Formalised Requirements for an Aircraft
Engine Controller},
booktitle = {Requirements Engineering: Foundation for Software Quality - 28th International
Working Conference, {REFSQ} 2022, Birmingham, UK, March 21-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13216},
pages = {96--111},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-98464-9\_9},
doi = {10.1007/978-3-030-98464-9\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/FarrellLSM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ReynoldsM22,
author = {Conor Reynolds and
Rosemary Monahan},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {Machine-Assisted Proofs for Institutions in Coq},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {180--196},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_13},
doi = {10.1007/978-3-031-10363-6\_13},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/ReynoldsM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukicer/LehtimakiHMCMN22,
author = {Taina Lehtim{\"{a}}ki and
James Hamm and
Aidan Mooney and
Kevin Casey and
Rosemary Monahan and
Thomas J. Naughton},
editor = {Keith Quille and
Joseph Maguire and
Brett A. Becker},
title = {A computational thinking module for secondary students and pre-service
teachers using Bebras-style tasks},
booktitle = {{UKICER} 2022: The United Kingdom and Ireland Computing Education
Research Conference, Dublin, Ireland, September 1 - 2, 2022},
pages = {19:1},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3555009.3555030},
doi = {10.1145/3555009.3555030},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ukicer/LehtimakiHMCMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-09706,
author = {Dara MacConville and
Marie Farrell and
Matt Luckcuck and
Rosemary Monahan},
editor = {Rafael C. Cardoso and
Angelo Ferrando and
Fabio Papacchini and
Mehrnoosh Askarpour and
Louise A. Dennis},
title = {Modelling the Turtle Python library in {CSP}},
booktitle = {Proceedings of the Second Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July
2022},
series = {{EPTCS}},
volume = {362},
pages = {15--22},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.362.4},
doi = {10.4204/EPTCS.362.4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2022,
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2},
doi = {10.1007/978-3-031-07727-2},
isbn = {978-3-031-07726-5},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-04531,
author = {Marie Farrell and
Matt Luckcuck and
Ois{\'{\i}}n Sheridan and
Rosemary Monahan},
title = {Towards Refactoring FRETish Requirements},
journal = {CoRR},
volume = {abs/2201.04531},
year = {2022},
url = {https://arxiv.org/abs/2201.04531},
eprinttype = {arXiv},
eprint = {2201.04531},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-04531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DrossFHMM21,
author = {Claire Dross and
Carlo A. Furia and
Marieke Huisman and
Rosemary Monahan and
Peter M{\"{u}}ller},
title = {VerifyThis 2019: a program verification competition},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {6},
pages = {883--893},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00619-x},
doi = {10.1007/S10009-021-00619-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DrossFHMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FarrellRM21,
author = {Marie Farrell and
Conor Reynolds and
Rosemary Monahan},
editor = {David R. Cok},
title = {Using dafny to solve the VerifyThis 2021 challenges},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {32--38},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468422},
doi = {10.1145/3464971.3468422},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/FarrellRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/AiyankovilMO21,
author = {Kuruvilla George Aiyankovil and
Rosemary Monahan and
Diarmuid P. O'Donoghue},
editor = {Hayley Borck and
Viktor Eisenstadt and
Antonio A. S{\'{a}}nchez{-}Ruiz and
Michael Floyd},
title = {Upcycling Formal Specifications for Similar Implementations with Ar{\'{\i}}s},
booktitle = {Workshops Proceedings for the 29th International Conference on Case-Based
Reasoning co-located with the 29th International Conference on Case-Based
Reasoning {(ICCBR} 2021), Salamanca (Spain) / Online, September 13-16,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {3017},
pages = {90--91},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3017/98.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/iccbr/AiyankovilMO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccrea/AiyankovilOM21,
author = {Kuruvilla George Aiyankovil and
Diarmuid O'Donoghue and
Rosemary Monahan},
editor = {Andr{\'{e}}s G{\'{o}}mez de Silva Garza and
Tony Veale and
Wendy Aguilar and
Rafael P{\'{e}}rez y P{\'{e}}rez},
title = {Creating new Program Proofs by Combining Abductive and Deductive Reasoning},
booktitle = {Proceedings of the Twelfth International Conference on Computational
Creativity, M{\'{e}}xico City, M{\'{e}}xico (Virtual), September
14-18, 2021},
pages = {395--399},
publisher = {Association for Computational Creativity {(ACC)}},
year = {2021},
url = {https://computationalcreativity.net/iccc21/wp-content/uploads/2021/09/ICCC\_2021\_paper\_83.pdf},
timestamp = {Fri, 17 Dec 2021 11:39:35 +0100},
biburl = {https://dblp.org/rec/conf/icccrea/AiyankovilOM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10881,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
title = {Building Specifications in the Event-B Institution},
journal = {CoRR},
volume = {abs/2103.10881},
year = {2021},
url = {https://arxiv.org/abs/2103.10881},
eprinttype = {arXiv},
eprint = {2103.10881},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-09277,
author = {Matt Luckcuck and
Marie Farrell and
Ois{\'{\i}}n Sheridan and
Rosemary Monahan},
title = {A Methodology for Developing a Verifiable Aircraft Engine Controller
from Formal Requirements},
journal = {CoRR},
volume = {abs/2110.09277},
year = {2021},
url = {https://arxiv.org/abs/2110.09277},
eprinttype = {arXiv},
eprint = {2110.09277},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-09277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-04251,
author = {Marie Farrell and
Matt Luckcuck and
Ois{\'{\i}}n Sheridan and
Rosemary Monahan},
title = {FRETting about Requirements: Formalised Requirements for an Aircraft
Engine Controller},
journal = {CoRR},
volume = {abs/2112.04251},
year = {2021},
url = {https://arxiv.org/abs/2112.04251},
eprinttype = {arXiv},
eprint = {2112.04251},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-04251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-13610,
author = {Claire Dross and
Carlo A. Furia and
Marieke Huisman and
Rosemary Monahan and
Peter M{\"{u}}ller},
title = {VerifyThis 2019: {A} Program Verification Competition (Extended Report)},
journal = {CoRR},
volume = {abs/2008.13610},
year = {2020},
url = {https://arxiv.org/abs/2008.13610},
eprinttype = {arXiv},
eprint = {2008.13610},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1912-09611,
editor = {Rosemary Monahan and
Virgile Prevosto and
Jos{\'{e}} Proen{\c{c}}a},
title = {Proceedings Fifth Workshop on Formal Integrated Development Environment,
F-IDE@FM 2019, Porto, Portugal, 7th October 2019},
series = {{EPTCS}},
volume = {310},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.310},
doi = {10.4204/EPTCS.310},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-09611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Monahan18,
author = {Rosemary Monahan},
title = {Daniel Kroening and Ofer Strichman: Decision procedures - Springer
Verlag, 2016, XXI, +356 {ISBN} 978-3-662-50496-3 (Hardback, {\mbox{\texteuro}}69,
67), http: //www.decision-procedures.org/},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {759},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0466-2},
doi = {10.1007/S00165-018-0466-2},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Monahan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ChengMP18,
author = {Zheng Cheng and
Rosemary Monahan and
James F. Power},
title = {Formalised {EMFTVM} bytecode language for sound verification of model
transformations},
journal = {Softw. Syst. Model.},
volume = {17},
number = {4},
pages = {1197--1225},
year = {2018},
url = {https://doi.org/10.1007/s10270-016-0553-x},
doi = {10.1007/S10270-016-0553-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ChengMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1811-09014,
editor = {Paolo Masci and
Rosemary Monahan and
Virgile Prevosto},
title = {Proceedings 4th Workshop on Formal Integrated Development Environment,
F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
series = {{EPTCS}},
volume = {284},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.284},
doi = {10.4204/EPTCS.284},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-09014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HuismanKMT17,
author = {Marieke Huisman and
Vladimir Klebanov and
Rosemary Monahan and
Michael Tautschnig},
title = {VerifyThis 2015 - {A} program verification competition},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {6},
pages = {763--771},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0438-x},
doi = {10.1007/S10009-016-0438-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HuismanKMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FarrellMP17,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
editor = {Zhenhua Duan and
Luke Ong},
title = {Combining Event-B and {CSP:} An Institution Theoretic Approach to
Interoperability},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {140--156},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_9},
doi = {10.1007/978-3-319-68690-5\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FarrellMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FarrellMP17,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Specification Clones: An Empirical Study of the Structure of Event-B
Specifications},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {152--167},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_10},
doi = {10.1007/978-3-319-66197-1\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FarrellMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GurovHHM16,
author = {Dilian Gurov and
Klaus Havelund and
Marieke Huisman and
Rosemary Monahan},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Static and Runtime Verification, Competitors or Friends? (Track Summary)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {397--401},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_27},
doi = {10.1007/978-3-319-47166-2\_27},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GurovHHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChengMM16,
author = {Zheng Cheng and
Dominique M{\'{e}}ry and
Rosemary Monahan},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Two Friends for Getting Correct Programs - Automatically Translating
Event {B} Specifications to Recursive Algorithms in Rodin},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {821--838},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_57},
doi = {10.1007/978-3-319-47166-2\_57},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ChengMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HealyMP16,
author = {Andrew Healy and
Rosemary Monahan and
James F. Power},
editor = {Sascha Ossowski},
title = {Evaluating the use of a general-purpose benchmark suite for domain-specific
SMT-solving},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1558--1561},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851975},
doi = {10.1145/2851613.2851975},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/HealyMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/FarrellMP16,
author = {Marie Farrell and
Rosemary Monahan and
James F. Power},
editor = {Phillip James and
Markus Roggenbach},
title = {An Institution for Event-B},
booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
pages = {104--119},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-72044-9\_8},
doi = {10.1007/978-3-319-72044-9\_8},
timestamp = {Wed, 19 May 2021 08:32:29 +0200},
biburl = {https://dblp.org/rec/conf/wadt/FarrellMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HealyMP17,
author = {Andrew Healy and
Rosemary Monahan and
James F. Power},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Predicting {SMT} Solver Performance for Software Verification},
booktitle = {Proceedings of the Third Workshop on Formal Integrated Development
Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
series = {{EPTCS}},
volume = {240},
pages = {20--37},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.240.2},
doi = {10.4204/EPTCS.240.2},
timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/HealyMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HuismanKM15,
author = {Marieke Huisman and
Vladimir Klebanov and
Rosemary Monahan},
title = {VerifyThis 2012 - {A} Program Verification Competition},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {6},
pages = {647--657},
year = {2015},
url = {https://doi.org/10.1007/s10009-015-0396-8},
doi = {10.1007/S10009-015-0396-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HuismanKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/ChengMP15,
author = {Zheng Cheng and
Rosemary Monahan and
James F. Power},
editor = {Dimitris S. Kolovos and
Manuel Wimmer},
title = {A Sound Execution Semantics for {ATL} via Translation Validation -
Research Paper},
booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9152},
pages = {133--148},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21155-8\_11},
doi = {10.1007/978-3-319-21155-8\_11},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/ChengMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ChengMP15,
author = {Zheng Cheng and
Rosemary Monahan and
James F. Power},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {Verifying SimpleGT Transformations Using an Intermediate Verification
Language},
booktitle = {Proceedings of the Fourth International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations {(STAF} 2015), L'Aquila, Italy, July 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1530},
pages = {12--19},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1530/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/ChengMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015ftfjp,
editor = {Rosemary Monahan},
title = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536},
doi = {10.1145/2786536},
isbn = {978-1-4503-3656-7},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2015ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeyerHKM14,
author = {Dirk Beyer and
Marieke Huisman and
Vladimir Klebanov and
Rosemary Monahan},
title = {Evaluating Software Verification Systems: Benchmarks and Competitions
(Dagstuhl Reports 14171)},
journal = {Dagstuhl Reports},
volume = {4},
number = {4},
pages = {1--19},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.4.1},
doi = {10.4230/DAGREP.4.4.1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BeyerHKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeryM13,
author = {Dominique M{\'{e}}ry and
Rosemary Monahan},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Transforming Event {B} Models into Verified C{\#} Implementations},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {57--73},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/9wm9},
doi = {10.29007/9WM9},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeryM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WuMP13,
author = {Hao Wu and
Rosemary Monahan and
James F. Power},
title = {Exploiting Attributed Type Graphs to Generate Metamodel Instances
Using an {SMT} Solver},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {175--182},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.31},
doi = {10.1109/TASE.2013.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WuMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChengMP12,
author = {Zheng Cheng and
Rosemary Monahan and
James F. Power},
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {A Simple Complexity Measurement for Software Verification and Software
Testing},
booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
pages = {28--31},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873/papers/paper\_8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/ChengMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HuismanKM12,
author = {Marieke Huisman and
Vladimir Klebanov and
Rosemary Monahan},
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {On the Organisation of Program Verification Competitions},
booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
pages = {50--59},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873/papers/paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/HuismanKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-6322,
author = {Hao Wu and
Rosemary Monahan and
James F. Power},
title = {Metamodel Instance Generation: {A} systematic literature review},
journal = {CoRR},
volume = {abs/1211.6322},
year = {2012},
url = {http://arxiv.org/abs/1211.6322},
eprinttype = {arXiv},
eprint = {1211.6322},
timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
author = {Vladimir Klebanov and
Peter M{\"{u}}ller and
Natarajan Shankar and
Gary T. Leavens and
Valentin W{\"{u}}stholz and
Eyad Alkassar and
Rob Arthan and
Derek Bronish and
Rod Chapman and
Ernie Cohen and
Mark A. Hillebrand and
Bart Jacobs and
K. Rustan M. Leino and
Rosemary Monahan and
Frank Piessens and
Nadia Polikarpova and
Tom Ridge and
Jan Smans and
Stephan Tobies and
Thomas Tuerk and
Mattias Ulbrich and
Benjamin Wei{\ss}},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {The 1st Verified Software Competition: Experience Report},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {154--168},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_14},
doi = {10.1007/978-3-642-21437-0\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BormerBDEFGHKMMMPSSTTU11,
author = {Thorsten Bormer and
Marc Brockschmidt and
Dino Distefano and
Gidon Ernst and
Jean{-}Christophe Filli{\^{a}}tre and
Radu Grigore and
Marieke Huisman and
Vladimir Klebanov and
Claude March{\'{e}} and
Rosemary Monahan and
Wojciech Mostowski and
Nadia Polikarpova and
Christoph Scheben and
Gerhard Schellhorn and
Bogdan Tofan and
Julian Tschannen and
Mattias Ulbrich},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {The {COST} {IC0701} Verification Competition 2011},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {3--21},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_2},
doi = {10.1007/978-3-642-31762-0\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/BormerBDEFGHKMMMPSSTTU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/LeinoM10,
author = {K. Rustan M. Leino and
Rosemary Monahan},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Dafny Meets the Verification Benchmarks Challenge},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {112--126},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_8},
doi = {10.1007/978-3-642-15057-9\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/LeinoM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeinoM09,
author = {K. Rustan M. Leino and
Rosemary Monahan},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Reasoning about comprehensions with first-order {SMT} solvers},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {615--622},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529411},
doi = {10.1145/1529282.1529411},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/LeinoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CarterMM05,
author = {Gareth Carter and
Rosemary Monahan and
Joseph M. Morris},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Software Refinement with Perfect Developer},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {363--373},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.41},
doi = {10.1109/SEFM.2005.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CarterMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/MonahanG97,
author = {Rosemary Monahan and
Franz Geiselbrechtinger},
editor = {Henry McGloughlin and
Gerard O'Regan},
title = {Tactics for Transformational Programming},
booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
3-4 July 1997},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1997},
url = {http://ewic.bcs.org/content/ConWebDoc/4614},
timestamp = {Tue, 19 Jun 2018 08:04:20 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/MonahanG97.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-05-08 23:27 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:
