Roland J. Weiss

Roland Weiss

	2009
10		Heiko Koziolek, Roland Weiss, Jens Doppelhamer: Evolving Industrial Software Architectures into a Software Product Line: A Case Study. QoSA 2009: 177-193
	2008
9		Alexander Jesser, Stefan Laemmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel: Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Transactions 91-A(12): 3548-3555 (2008)
	2006
8		Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel: Fast falsification based on symbolic bounded property checking. DAC 2006: 1077-1082
7		Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Distributed Symbolic Bounded Property Checking. Electr. Notes Theor. Comput. Sci. 135(2): 47-63 (2006)
	2005
6		Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Efficient and Customizable Integration of Temporal Properties. FDL 2005: 385-397
	2004
5		Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel: Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report 2004: 541-566
	2003
4		Roland Weiss, Volker Simonis: Storing Properties in Grouped Tagged Tuples. Ershov Memorial Conference 2003: 22-29
3		Volker Simonis, Roland Weiss: ProgDOC - A New Program Documentation System. Ershov Memorial Conference 2003: 438-449
	2001
2		Roland Weiss, Volker Simonis: Exploring Template Template Parameters. Ershov Memorial Conference 2001: 500-510
	1999
1		Volker Simonis, Roland Weiss: Heterogeneous, Nested STL Containers in C++. Ershov Memorial Conference 1999: 383-388

Coauthor Index

1	Jens Doppelhamer	[10]
2	Wolfgang Fengler	[9]
3	Lars Hedrich	[9]
4	Alexander Jesser	[9]
5	Heiko Koziolek	[10]
6	Thomas Kropf	[5] [6] [7] [8] [9]
7	Stefan Laemmermann	[9]
8	Pradeep Kumar Nalla	[7] [8]
9	Alexander Pacholik	[9]
10	Prakash Mohan Peranandam	[7] [8]
11	Wolfgang Rosenstiel	[5] [6] [7] [8] [9]
12	Jürgen Ruf	[5] [6] [7] [8] [9]
13	Volker Simonis	[1] [2] [3] [4]

Colors in the list of coauthors