Andreas Griesmayer

	2012
19		Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem: Finding and fixing faults. J. Comput. Syst. Sci. 78(2): 441-460 (2012)
	2011
18		Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
17		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
16		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
15		Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang: A Framework for Automated and Certified Refinement Steps CoRR abs/1112.0215: (2011)
	2010
14		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)
13		Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas: Resource Modeling for Timed Creol Models. Electr. Notes Theor. Comput. Sci. 266: 63-75 (2010)
12		Andreas Griesmayer, Stefan Staber, Roderick Bloem: Fault localization using a model checker. Softw. Test., Verif. Reliab. 20(2): 149-173 (2010)
	2009
11		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
10		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230
9		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution for Testing Distributed Objects. TAP 2009: 105-120
8		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)
7		Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte: Model-checking user behaviour using interacting components. Formal Asp. Comput. 21(6): 571-588 (2009)
	2008
6		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
5		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
4		Andreas Griesmayer, Stefan Staber, Roderick Bloem: Automated Fault Localization for C Programs. Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007)
	2006
3		Andreas Griesmayer, Roderick Bloem, Byron Cook: Repair of Boolean Programs with an Application to C. CAV 2006: 358-371
	2005
2		Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem: Program Repair as a Game. CAV 2005: 226-238
1		Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa: Formal Verification of Control Software: A Case Study. IEA/AIE 2005: 783-788

Coauthor Index

1	Bernhard K. Aichernig	[5] [6] [8] [9] [10] [11] [13] [14]
2	Christel Baier	[11] [14]
3	Thomas Anung Basuki	[7]
4	Saddek Bensalem	[16] [17] [18]
5	Tobias Blechmann	[11] [14]
6	Roderick Bloem (Roderick Paul Bloem)	[1] [2] [3] [4] [12] [19]
7	Frank S. de Boer	[5] [11] [14]
8	Antonio Cerone	[7]
9	Byron Cook	[3]
10	Immo Grabe	[11] [14]
11	Martin Hautzendorfer	[1]
12	Félix Ingrand (François Felix Ingrand)	[16]
13	Mohammad Mahdi Jaghoori	[11] [14]
14	Barbara Jobstmann	[2] [19]
15	Einar Broch Johnsen	[5] [6] [9] [10] [14]
16	Joachim Klein	[11] [14]
17	Sascha Klüppelholz	[11] [14]
18	Marcel Kyas	[13] [14]
19	Axel Legay	[16] [17] [18]
20	Wolfgang Leister	[14]
21	Zhiming Liu	[15]
22	Charles Morisset	[15]
23	Thanh-Hung Nguyen	[17] [18]
24	Doron Peled	[18]
25	Rudolf Schlatte	[5] [6] [7] [8] [9] [10] [13] [14]
26	Joseph Sifakis	[17]
27	Lavindra de Silva	[16]
28	Stefan Staber	[4] [12] [19]
29	Andries Stam	[6] [8] [11] [14]
30	Martin Steffen	[14]
31	Simon Tschirner	[14]
32	Shuling Wang	[15]
33	Franz Wotawa	[1]
34	Liang Xuedong	[14]
35	Rongjie Yan	[16] [17]
36	Wang Yi	[14]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page