Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andreas Griesmayer
@inproceedings{DBLP:conf/fm/Mukherjee0GKM16,
author = {Rajdeep Mukherjee and
Saurabh Joshi and
Andreas Griesmayer and
Daniel Kroening and
Tom Melham},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Equivalence Checking of a Floating-Point Unit Against a High-Level
{C} Model},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {551--558},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_33},
doi = {10.1007/978-3-319-48989-6\_33},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Mukherjee0GKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Mukherjee0GKM16,
author = {Rajdeep Mukherjee and
Saurabh Joshi and
Andreas Griesmayer and
Daniel Kroening and
Tom Melham},
title = {Equivalence Checking a Floating-point Unit against a High-level {C}
Model (Extended Version)},
journal = {CoRR},
volume = {abs/1609.00169},
year = {2016},
url = {http://arxiv.org/abs/1609.00169},
eprinttype = {arXiv},
eprint = {1609.00169},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Mukherjee0GKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GonzalezGL15,
author = {Pavel Gonzalez and
Andreas Griesmayer and
Alessio Lomuscio},
editor = {Alistair Barros and
Daniela Grigori and
Nanjangud C. Narendra and
Hoa Khanh Dam},
title = {Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction},
booktitle = {Service-Oriented Computing - 13th International Conference, {ICSOC}
2015, Goa, India, November 16-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9435},
pages = {253--268},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48616-0\_16},
doi = {10.1007/978-3-662-48616-0\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/GonzalezGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/GriesmayerLMW13,
author = {Andreas Griesmayer and
Zhiming Liu and
Charles Morisset and
Shuling Wang},
title = {A framework for automated and certified refinement steps},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {3--16},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0183-6},
doi = {10.1007/S11334-012-0183-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/GriesmayerLMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/GriesmayerM13,
author = {Andreas Griesmayer and
Charles Morisset},
editor = {Jason Crampton and
Sushil Jajodia and
Keith Mayes},
title = {Automated Certification of Authorisation Policy Resistance},
booktitle = {Computer Security - {ESORICS} 2013 - 18th European Symposium on Research
in Computer Security, Egham, UK, September 9-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8134},
pages = {574--591},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40203-6\_32},
doi = {10.1007/978-3-642-40203-6\_32},
timestamp = {Wed, 25 Sep 2019 18:03:15 +0200},
biburl = {https://dblp.org/rec/conf/esorics/GriesmayerM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GriesmayerL13,
author = {Andreas Griesmayer and
Alessio Lomuscio},
editor = {Dirk Beyer and
Michele Boreale},
title = {Model Checking Distributed Systems against Temporal-Epistemic Specifications},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {130--145},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_10},
doi = {10.1007/978-3-642-38592-6\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/GriesmayerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GonzalezGL13,
author = {Pavel Gonzalez and
Andreas Griesmayer and
Alessio Lomuscio},
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Model Checking GSM-Based Multi-Agent Systems},
booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
pages = {54--68},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06859-6\_6},
doi = {10.1007/978-3-319-06859-6\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/GonzalezGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GriesmayerM13,
author = {Andreas Griesmayer and
Charles Morisset},
title = {Automated Certification of Authorisation Policy Resistance},
journal = {CoRR},
volume = {abs/1306.4624},
year = {2013},
url = {http://arxiv.org/abs/1306.4624},
eprinttype = {arXiv},
eprint = {1306.4624},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GriesmayerM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JobstmannSGB12,
author = {Barbara Jobstmann and
Stefan Staber and
Andreas Griesmayer and
Roderick Bloem},
title = {Finding and fixing faults},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {441--460},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.005},
doi = {10.1016/J.JCSS.2011.05.005},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JobstmannSGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/GonzalezGL12,
author = {Pavel Gonzalez and
Andreas Griesmayer and
Alessio Lomuscio},
editor = {Carole A. Goble and
Peter P. Chen and
Jia Zhang},
title = {Verifying GSM-Based Business Artifacts},
booktitle = {2012 {IEEE} 19th International Conference on Web Services, Honolulu,
HI, USA, June 24-29, 2012},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICWS.2012.31},
doi = {10.1109/ICWS.2012.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/GonzalezGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BensalemGLNP11,
author = {Saddek Bensalem and
Andreas Griesmayer and
Axel Legay and
Thanh{-}Hung Nguyen and
Doron A. Peled},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Efficient deadlock detection for concurrent systems},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {119--129},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970518},
doi = {10.1109/MEMCOD.2011.5970518},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BensalemGLNP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BensalemGLNSY11,
author = {Saddek Bensalem and
Andreas Griesmayer and
Axel Legay and
Thanh{-}Hung Nguyen and
Joseph Sifakis and
Rongjie Yan},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {D-Finder 2: Towards Efficient Correctness of Incremental Design},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {453--458},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_32},
doi = {10.1007/978-3-642-20398-5\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BensalemGLNSY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/BensalemSGILY11,
author = {Saddek Bensalem and
Lavindra de Silva and
Andreas Griesmayer and
F{\'{e}}lix Ingrand and
Axel Legay and
Rongjie Yan},
editor = {Sven Apel and
Ethan K. Jackson},
title = {A Formal Approach for Incremental Construction with an Application
to Autonomous Robotic Systems},
booktitle = {Software Composition - 10th International Conference, SC@TOOLS 2011,
Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6708},
pages = {116--132},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22045-6\_8},
doi = {10.1007/978-3-642-22045-6\_8},
timestamp = {Sat, 30 Sep 2023 09:57:04 +0200},
biburl = {https://dblp.org/rec/conf/soco/BensalemSGILY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-0215,
author = {Andreas Griesmayer and
Zhiming Liu and
Charles Morisset and
Shuling Wang},
title = {A Framework for Automated and Certified Refinement Steps},
journal = {CoRR},
volume = {abs/1112.0215},
year = {2011},
url = {http://arxiv.org/abs/1112.0215},
eprinttype = {arXiv},
eprint = {1112.0215},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-0215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GriesmayerSB10,
author = {Andreas Griesmayer and
Stefan Staber and
Roderick Bloem},
title = {Fault localization using a model checker},
journal = {Softw. Test. Verification Reliab.},
volume = {20},
number = {2},
pages = {149--173},
year = {2010},
url = {https://doi.org/10.1002/stvr.421},
doi = {10.1002/STVR.421},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/GriesmayerSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BasukiCGS09,
author = {Thomas Anung Basuki and
Antonio Cerone and
Andreas Griesmayer and
Rudolf Schlatte},
title = {Model-checking user behaviour using interacting components},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {571--588},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0101-8},
doi = {10.1007/S00165-008-0101-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BasukiCGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GrabeJKKSBBABG09,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Andries Stam and
Christel Baier and
Tobias Blechmann and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {The Credo Methodology - (Extended Version)},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {41--69},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_3},
doi = {10.1007/978-3-642-17071-3\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GrabeJKKSBBABG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GriesmayerAJS09,
author = {Andreas Griesmayer and
Bernhard K. Aichernig and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Dynamic Symbolic Execution of Distributed Concurrent Objects},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {225--230},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_16},
doi = {10.1007/978-3-642-02138-1\_16},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/GriesmayerAJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GriesmayerAJS09,
author = {Andreas Griesmayer and
Bernhard K. Aichernig and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {Catherine Dubois},
title = {Dynamic Symbolic Execution for Testing Distributed Objects},
booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {105--120},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02949-3\_9},
doi = {10.1007/978-3-642-02949-3\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/GriesmayerAJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Bernhard K. Aichernig and
Christel Baier and
Tobias Blechmann and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Marcel Kyas and
Wolfgang Leister and
Rudolf Schlatte and
Andries Stam and
Martin Steffen and
Simon Tschirner and
Liang Xuedong and
Wang Yi},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Credo Methodology: Modeling and Analyzing {A} Peer-to-Peer System
in Credo},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {33--48},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.047},
doi = {10.1016/J.ENTCS.2010.08.047},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchlatteAGK10,
author = {Rudolf Schlatte and
Bernhard K. Aichernig and
Andreas Griesmayer and
Marcel Kyas},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Resource Modeling for Timed Creol Models},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {63--75},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.049},
doi = {10.1016/J.ENTCS.2010.08.049},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchlatteAGK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AichernigGJSS08,
author = {Bernhard K. Aichernig and
Andreas Griesmayer and
Einar Broch Johnsen and
Rudolf Schlatte and
Andries Stam},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Conformance Testing of Distributed Concurrent Systems with Executable
Designs},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {61--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_4},
doi = {10.1007/978-3-642-04167-9\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AichernigGJSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SchlatteABGJ08,
author = {Rudolf Schlatte and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Testing Concurrent Objects with Application-Specific Schedulers},
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 = {319--333},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_22},
doi = {10.1007/978-3-540-85762-4\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/SchlatteABGJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigGSS09,
author = {Bernhard K. Aichernig and
Andreas Griesmayer and
Rudolf Schlatte and
Andries Stam},
editor = {Jianhua Zhao and
Volker Stolz},
title = {Modeling and Testing Multi-Threaded Asynchronous Systems with Creol},
booktitle = {Proceedings of the 2nd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2008, Istanbul, Turkey, August
30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {243},
pages = {3--14},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.002},
doi = {10.1016/J.ENTCS.2009.07.002},
timestamp = {Thu, 09 Mar 2023 13:49:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigGSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GriesmayerBC06,
author = {Andreas Griesmayer and
Roderick Bloem and
Byron Cook},
editor = {Thomas Ball and
Robert B. Jones},
title = {Repair of Boolean Programs with an Application to {C}},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {358--371},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_33},
doi = {10.1007/11817963\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GriesmayerBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GriesmayerSB07,
author = {Andreas Griesmayer and
Stefan Staber and
Roderick Bloem},
editor = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
title = {Automated Fault Localization for {C} Programs},
booktitle = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {4},
pages = {95--111},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.032},
doi = {10.1016/J.ENTCS.2006.12.032},
timestamp = {Fri, 27 Jan 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GriesmayerSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JobstmannGB05,
author = {Barbara Jobstmann and
Andreas Griesmayer and
Roderick Bloem},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Program Repair as a Game},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {226--238},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_23},
doi = {10.1007/11513988\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/JobstmannGB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/GriesmayerBHW05,
author = {Andreas Griesmayer and
Roderick Bloem and
Martin Hautzendorfer and
Franz Wotawa},
editor = {Moonis Ali and
Floriana Esposito},
title = {Formal Verification of Control Software: {A} Case Study},
booktitle = {Innovations in Applied Artificial Intelligence, 18th International
Conference on Industrial and Engineering Applications of Artificial
Intelligence and Expert Systems, {IEA/AIE} 2005, Bari, Italy, June
22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3533},
pages = {783--788},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11504894\_108},
doi = {10.1007/11504894\_108},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/GriesmayerBHW05.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-27 22:45 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:
