Peter Herrmann

	2009
40		Máté J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann: Foraging for Better Deployment of Replicated Service Components. DAIS 2009: 87-101
39		Frank Alexander Kraemer, Peter Herrmann: Automated Encapsulation of UML Activities for Incremental Development and Verification. MoDELS 2009: 571-585
38		Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann: Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example. SDL Forum 2009: 1-18
37		Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann: Tool support for the rapid composition, analysis and implementation of reactive services. Journal of Systems and Software 82(12): 2068-2080 (2009)
	2008
36		Máté J. Csorba, Poul E. Heegaard, Peter Herrmann: Adaptable model-based component deployment guided by artificial ants. Autonomics 2008: 15
35		Máté J. Csorba, Poul E. Heegaard, Peter Herrmann: Cost-Efficient Deployment of Collaborating Components. DAIS 2008: 253-268
34		Richard A. Kemmerer, Roland Büschkes, Ali Fessi, Hartmut König, Peter Herrmann, Stephen D. Wolthusen, Marko Jahnke, Hervé Debar, Ralph Holz, Tanja Zseby, Dirk Haage: 08102 Outcome Working Group -- Situational Awareness. Network Attack Detection and Defense 2008
33		Mozhgan Tavakolifard, Svein J. Knapskog, Peter Herrmann: Trust transferability among similar contexts. Q2SWinet 2008: 91-97
32		Mozhgan Tavakolifard, Svein J. Knapskog, Peter Herrmann: Cross-Situation Trust Reasoning. Web Intelligence/IAT Workshops 2008: 67-71
	2007
31		Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann: Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. SDL Forum 2007: 166-185
30		Frank Alexander Kraemer, Peter Herrmann: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. ECEASST 6: (2007)
	2006
29		Frank Alexander Kraemer, Peter Herrmann: Service Specification by Composition of Collaborations--An Example. IAT Workshops 2006: 129-133
28		Frank Alexander Kraemer, Peter Herrmann, Rolv Bræk: Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. OTM Conferences (2) 2006: 1613-1632
27		Peter Herrmann: Temporal Logic-Based Specification and Verification of Trust Models. iTrust 2006: 105-119
26		Peter Herrmann, Gaby Herrmann: Security requirement analysis of business processes. Electronic Commerce Research 6(3-4): 305-335 (2006)
	2005
25		Peter Herrmann, Valérie Issarny, Simon Shiu: Trust Management, Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings Springer 2005
	2004
24		Peter Herrmann, Lars Wiebusch, Heiko Krumm: Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. DIMVA 2004: 55-70
23		Günter Graw, Peter Herrmann: Generation and Enactment of Controllers for Business Architectures Using MDA. EWSA 2004: 148-166
22		Günter Graw, Peter Herrmann: Transformation and Verification of Executable UML Models. Electr. Notes Theor. Comput. Sci. 101: 3-24 (2004)
21		Gaby Herrmann, Peter Herrmann: Introduction: Security and Trust in Electronic Commerce. Electronic Commerce Research 4(1-2): 5-7 (2004)
	2003
20		Peter Herrmann: Formal Security Policy Verification of Distributed Component-Structured Software. FORTE 2003: 257-272
19		Peter Herrmann: Trust-Based Protection of Software Component Users and Designers. iTrust 2003: 75-90
	2002
18		Peter Herrmann, Lars Wiebusch, Heiko Krumm: State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. I3E 2002: 195-209
17		Inéz Frerichs, Jose Hinz, Peter Herrmann, Gerald Weisser, Günter Hahn, Michael Quintel, Gerhard Hellige: Regional Lung Perfusion as Determined by Electrical Impedance Tomography in Comparison with Electron Beam CT Imaging. IEEE Trans. Med. Imaging 21(6): 646-652 (2002)
16		Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt: Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. Telecommunication Systems 20(3-4): 291-310 (2002)
	2001
15		Peter Herrmann: Information Flow Analysis of Component-Structured Applications. ACSAC 2001: 45-54
14		Peter Herrmann, Lars Wiebusch, Heiko Krumm: Tool-Assisted Security Assessment of Distributed Applications. DAIS 2001: 289-294
13		Peter Herrmann, Heiko Krumm: Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. ISCC 2001: 2-8
	2000
12		Günter Graw, Peter Herrmann, Heiko Krumm: Verification of UML-Based Real-Time System Designs by Means of cTLA. ISORC 2000: 86-95
11		Peter Herrmann, Heiko Krumm: A framework for modeling transfer protocols. Computer Networks 34(2): 317-337 (2000)
	1999
10		Günter Graw, Peter Herrmann, Heiko Krumm: Constraint-oriented formal modelling of OO-systems. DAIS 1999: 345-
9		Günter Graw, Peter Herrmann, Heiko Krumm: Composing Object-Oriented Specifications and Verifications with cTLA. ECOOP Workshops 1999: 318
8		Peter Herrmann, Manfred Noël: Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. FBT 1999: 83-92
7		Peter Herrmann, Heiko Krumm: Formal Hazard Analysis of Hybrid Systems in cTLA. SRDS 1999: 68-77
	1998
6		Olaf Drögehorn, Peter Herrmann: Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. FBT 1998: 48-59
5		Volker Gruhn, Peter Herrmann, Heiko Krumm: User-Defined Telecooperation Services. ICPADS 1998: 590-598
4		Peter Herrmann, Günter Graw, Heiko Krumm: Compositional Specification and Structured Verification of Hybrid Systems in cTLA. ISORC 1998: 335-
3		Peter Herrmann, Heiko Krumm: Modular specification and verification of XTP. Telecommunication Systems 9(2): 207-221 (1998)
	1995
2		Peter Herrmann, Heiko Krumm: Re-usable verification elements for high-speed transfer protocol configurations. PSTV 1995: 171-186
	1994
1		Peter Herrmann, Heiko Krumm: Compositional specification and verification of high-speed transfer protocols. PSTV 1994: 339-346

Coauthor Index

1	Rolv Bræk	[28] [31]
2	Roland Büschkes	[34]
3	Máté J. Csorba	[35] [36] [40]
4	Hervé Debar	[34]
5	Olaf Drögehorn (Olaf Droegehorn)	[6] [16]
6	Ali Fessi	[34]
7	Inéz Frerichs	[17]
8	Walter Geisselhardt	[16]
9	Günter Graw	[4] [9] [10] [12] [22] [23]
10	Volker Gruhn	[5]
11	Dirk Haage	[34]
12	Günter Hahn	[17]
13	Poul E. Heegaard	[35] [36] [40]
14	Gerhard Hellige	[17]
15	Gaby Herrmann	[21] [26]
16	Jose Hinz	[17]
17	Ralph Holz	[34]
18	Valérie Issarny	[25]
19	Marko Jahnke	[34]
20	Richard A. Kemmerer	[34]
21	Svein J. Knapskog	[32] [33]
22	Hartmut König	[34]
23	Frank Alexander Kraemer	[28] [29] [30] [31] [37] [38] [39]
24	Heiko Krumm	[1] [2] [3] [4] [5] [7] [9] [10] [11] [12] [13] [14] [16] [18] [24]
25	Hein Meling	[40]
26	Manfred Noël	[8]
27	Michael Quintel	[17]
28	Simon Shiu	[25]
29	Vidar Slåtten	[37] [38]
30	Mozhgan Tavakolifard	[32] [33]
31	Gerald Weisser	[17]
32	Lars Wiebusch	[14] [18] [24]
33	Stephen D. Wolthusen	[34]
34	Tanja Zseby	[34]

Colors in the list of coauthors