DBLP: Markus Dahlweid

	2010
c5		Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen: Components, platforms and possibilities: towards generic automation for MDA. EMSOFT 2010: 39-48
	2009
c4		Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55
c3		Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
c2		Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89
c1		Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42
	2004
b1		Markus Dahlweid, Uwe Schulze: High level transition systems of CSP specifications and their application in automated testing. University of Bremen 2004, pp. 1-437

2010

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen: Components, platforms and possibilities: towards generic automation for MDA. EMSOFT 2010: 39-48

2009

Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55

Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430

Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89

Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42

2004

Markus Dahlweid, Uwe Schulze: High level transition systems of CSP specifications and their application in automated testing. University of Bremen 2004, pp. 1-437

1	Eyad Alkassar	[c4]
2	Nikolaj Bjørner	[c2]
3	Vladimir Boyarinov	[c4]
4	Ernie Cohen	[c4] [c1]
5	Ulan Degenbaev	[c4]
6	Mark A. Hillebrand	[c4] [c1]
7	Ethan K. Jackson	[c5] [c2]
8	Eunsuk Kang	[c5]
9	Bruno Langenstein	[c4]
10	Dirk Leinenbach	[c4] [c1]
11	Michal Moskal	[c4] [c3] [c1]
12	Steven Obua	[c4]
13	Wolfgang J. Paul	[c4]
14	Hristo Pentchev	[c4]
15	Elena Petrova	[c4]
16	Thomas Santen	[c5] [c4] [c3] [c2] [c1]
17	Norbert Schirmer (Bert Schirmer)	[c4]
18	Sabine Schmaltz	[c4]
19	Wolfram Schulte	[c4] [c3] [c2] [c1]
20	Uwe Schulze	[b1]
21	Dirk Seifert	[c5] [c2]
22	Andrey Shadrin	[c4]
23	Stephan Tobies	[c4] [c3] [c1]
24	Alexandra Tsyban	[c4]
25	Sergey Tverdyshev	[c4]

Markus Dahlweid

Coauthor Index