Stefan Hallerstede

	2012
28		Stefan Hallerstede, Michael Leuschel: Experiments in program verification using Event-B. Formal Asp. Comput. 24(1): 97-125 (2012)
	2011
27		Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge: On Fitting a Formal Method into Practice. ICFEM 2011: 195-210
26		Stefan Hallerstede, Colin F. Snook: Refining Nodes and Edges of State Machines. ICFEM 2011: 569-584
25		Stefan Hallerstede, Michael Leuschel: Constraint-Based Deadlock Checking of High-Level Specifications CoRR abs/1109.2015: (2011)
24		Michael Jastram, Stefan Hallerstede, Lukas Ladenberger: Mixing Formal and Informal Model Elements for Tracing Requirements. ECEASST 46: (2011)
23		Stefan Hallerstede: On the purpose of Event-B proof obligations. Formal Asp. Comput. 23(1): 133-150 (2011)
22		Stefan Hallerstede, Frank Danzinger, Angelika C. Bullinger, Kathrin Möslein: Akzeptanzorientiertes Application Lifecycle Management. HMD - Praxis Wirtschaftsinform. 278: (2011)
21		Stefan Hallerstede, Michael Leuschel: Constraint-based deadlock checking of high-level specifications. TPLP 11(4-5): 767-782 (2011)
	2010
20		Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel: Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers Springer 2010
19		Angelika Cosima Bullinger, Stefan Hallerstede, Uta Renken, Jens-Hendrik Soeldner, Kathrin Möslein: Towards Research Collaboration - a Taxonomy of Social Research Network Sites. AMCIS 2010: 92
18		Stefan Hallerstede: Structured Event-B Models and Proofs. ASM 2010: 273-286
17		Stefan Hallerstede, Michael Leuschel, Daniel Plagge: Refinement-Animation for Event-B - Towards a Method of Validation. ASM 2010: 287-301
16		Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo: An Approach of Requirements Tracing in Formal Refinement. VSTTE 2010: 97-111
15		Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6): 447-466 (2010)
	2009
14		Stefan Hallerstede, Michael Leuschel: How to Explain Mistakes. TFM 2009: 105-124
13		Stefan Hallerstede: Proving Quicksort Correct in Event-B. Electr. Notes Theor. Comput. Sci. 259: 47-65 (2009)
	2008
12		Stefan Hallerstede: On the Purpose of Event-B Proof Obligations. ABZ 2008: 125-138
11		Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin: A Roadmap for the Rodin Toolset. ABZ 2008: 347
10		Stefan Hallerstede: Incremental System Modelling in Event-B. FMCO 2008: 139-158
	2007
9		Stefan Hallerstede: Justifications for the Event-B Modelling Notation. B 2007: 49-63
8		Stefan Hallerstede, Thai Son Hoang: Qualitative Probabilistic Modelling in Event-B. IFM 2007: 293-312
7		Jean-Raymond Abrial, Stefan Hallerstede: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam. Inform. 77(1-2): 1-28 (2007)
	2006
6		Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin: An Open Extensible Tool Environment for Event-B. ICFEM 2006: 588-605
	2004
5		Nikos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte: A hardware/software codesign framework for developing complex embedded systems using formal model refinement. FDL 2004: 598-612
4		Stefan Hallerstede, Y. Zimmermann: Circuit Design by Refinement in EventB1. FDL 2004: 624-637
3		Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Konstantinos Masselos: Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language. Design Autom. for Emb. Sys. 9(2): 67-99 (2004)
2		Stefan Hallerstede, Michael J. Butler: Performance analysis of probabilistic action systems. Formal Asp. Comput. 16(4): 313-331 (2004)
	2003
1		Stefan Hallerstede: Parallel Hardware Design in B. ZB 2003: 101-102

Coauthor Index

1	Jean-Raymond Abrial	[6] [7] [11] [15]
2	Frank S. de Boer	[20]
3	Marcello M. Bonsangue	[20]
4	Angelika C. Bullinger (Angelika Cosima Bullinger)	[19] [22]
5	Michael J. Butler	[2] [6] [11] [15]
6	Frank Danzinger	[22]
7	Rainer Gmehlich	[27]
8	Katrin Grau	[27]
9	Thai Son Hoang	[8] [15]
10	Michael Jastram	[16] [24]
11	Lukas Ladenberger	[24]
12	Thierry Lecomte	[5]
13	Michael Leuschel	[14] [16] [17] [20] [21] [25] [27] [28]
14	Felix Lösch (Felix Loesch)	[27]
15	Kostas Masselos (Konstantinos Masselos)	[3]
16	Farhad Mehta	[15]
17	Kathrin Möslein	[19] [22]
18	Daniel Plagge	[17] [27]
19	Uta Renken	[19]
20	Aryldo G. Russo	[16]
21	Colin F. Snook	[3] [5] [26]
22	Jens-Hendrik Soeldner	[19]
23	Laurent Voisin	[6] [11] [15]
24	Nikos S. Voros (Nikolaos S. Voros)	[3] [5]
25	Y. Zimmermann	[4]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page