Markus Dahlweid

	2010
6		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
5		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
4		Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
3		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
2		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
1		Markus Dahlweid, Uwe Schulze: High level transition systems of CSP specifications and their application in automated testing. University of Bremen 2004: 1-437

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page