Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Andreas Griesmayer
2010 – today
- 2013
[j8]Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang: A framework for automated and certified refinement steps. ISSE 9(1): 3-16 (2013)- [c13]Andreas Griesmayer, Alessio Lomuscio: Model Checking Distributed Systems against Temporal-Epistemic Specifications. FMOODS/FORTE 2013: 130-145
- 2012
- [j7]Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem: Finding and fixing faults. J. Comput. Syst. Sci. 78(2): 441-460 (2012)
- [c12]Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio: Verifying GSM-Based Business Artifacts. ICWS 2012: 25-32
- 2011
- [c11]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
- [c10]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods 2011: 453-458
- [c9]Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan: A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. Software Composition 2011: 116-132
- [i1]Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang: A Framework for Automated and Certified Refinement Steps. CoRR abs/1112.0215 (2011)
- 2010
- [j6]Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)
- [j5]Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas: Resource Modeling for Timed Creol Models. Electr. Notes Theor. Comput. Sci. 266: 63-75 (2010)
- [j4]Andreas Griesmayer, Stefan Staber, Roderick Bloem: Fault localization using a model checker. Softw. Test., Verif. Reliab. 20(2): 149-173 (2010)
2000 – 2009
- 2009
- [j3]Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam: Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electr. Notes Theor. Comput. Sci. 243: 3-14 (2009)
- [j2]Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte: Model-checking user behaviour using interacting components. Formal Asp. Comput. 21(6): 571-588 (2009)
- [c8]Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer: The Credo Methodology - (Extended Version). FMCO 2009: 41-69
- [c7]Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230
- [c6]Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution for Testing Distributed Objects. TAP 2009: 105-120
- 2008
- [c5]Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam: Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: 61-81
- [c4]Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen: Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333
- 2007
- [j1]Andreas Griesmayer, Stefan Staber, Roderick Bloem: Automated Fault Localization for C Programs. Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007)
- 2006
- [c3]Andreas Griesmayer, Roderick Bloem, Byron Cook: Repair of Boolean Programs with an Application to C. CAV 2006: 358-371
- 2005
- [c2]
- [c1]Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa: Formal Verification of Control Software: A Case Study. IEA/AIE 2005: 783-788
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-02 22:15 CEST by the dblp team