Peter Herrmann

	2011
54		Frank Alexander Kraemer, Peter Herrmann: System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers Springer 2011
53		Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann: A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. ESSoS 2011: 142-155
52		Vidar Slåtten, Peter Herrmann: Contracts for Multi-instance UML Activities. FMOODS/FORTE 2011: 304-318
51		Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann: Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. GPCE 2011: 147-156
50		Rune Sætre, Mohammad Ullah Khan, Erlend Stav, Alfredo Perez Fernandez, Peter Herrmann, Jon Atle Gulla: Towards Ontology-Driven End-User Composition of Personalized Mobile Services. NLDB 2011: 242-245
49		Linda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König: Modeling a distributed intrusion detection system using collaborative building blocks. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
48		Máté J. Csorba, Poul E. Heegaard, Peter Herrmann: Component deployment using parallel ant-nests. IJAACS 4(1): 78-99 (2011)
	2010
47		Frank Alexander Kraemer, Peter Herrmann: Reactive Semantics for Distributed UML Activities. FMOODS/FORTE 2010: 17-31
46		Peter Herrmann, Mozhgan Tavakolifard: Special issue on trust and privacy in electronic commerce - Editors' introduction. Electronic Commerce Research 10(3-4): 235-237 (2010)
	2009
45		Máté J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann: Foraging for Better Deployment of Replicated Service Components. DAIS 2009: 87-101
44		Linda Ariani Gunawan, Peter Herrmann, Frank Alexander Kraemer: Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. FGIT-SecTech 2009: 72-85
43		Mozhgan Tavakolifard, Peter Herrmann, Svein J. Knapskog: Inferring Trust Based on Similarity with TILLIT. IFIPTM 2009: 133-148
42		Mozhgan Tavakolifard, Peter Herrmann, Pinar Öztürk: Analogical Trust Reasoning. IFIPTM 2009: 149-163
41		Frank Alexander Kraemer, Peter Herrmann: Automated Encapsulation of UML Activities for Incremental Development and Verification. MoDELS 2009: 571-585
40		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
39		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
38		Máté J. Csorba, Poul E. Heegaard, Peter Herrmann: Adaptable model-based component deployment guided by artificial ants. Autonomics 2008: 15
37		Máté J. Csorba, Poul E. Heegaard, Peter Herrmann: Cost-Efficient Deployment of Collaborating Components. DAIS 2008: 253-268
36		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
35		Mozhgan Tavakolifard, Svein J. Knapskog, Peter Herrmann: Trust transferability among similar contexts. Q2SWinet 2008: 91-97
34		Mozhgan Tavakolifard, Svein J. Knapskog, Peter Herrmann: Cross-Situation Trust Reasoning. Web Intelligence/IAT Workshops 2008: 67-71
	2007
33		Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann: Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. SDL Forum 2007: 166-185
32		Frank Alexander Kraemer, Peter Herrmann: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. ECEASST 6: (2007)
	2006
31		Frank Alexander Kraemer, Peter Herrmann: Service Specification by Composition of Collaborations--An Example. IAT Workshops 2006: 129-133
30		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
29		Peter Herrmann: Temporal Logic-Based Specification and Verification of Trust Models. iTrust 2006: 105-119
28		Peter Herrmann, Gaby Herrmann: Security requirement analysis of business processes. Electronic Commerce Research 6(3-4): 305-335 (2006)
	2005
27		Peter Herrmann, Valérie Issarny, Simon Shiu: Trust Management, Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings Springer 2005
	2004
26		Peter Herrmann, Lars Wiebusch, Heiko Krumm: Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. DIMVA 2004: 55-70
25		Günter Graw, Peter Herrmann: Generation and Enactment of Controllers for Business Architectures Using MDA. EWSA 2004: 148-166
24		Günter Graw, Peter Herrmann: Transformation and Verification of Executable UML Models. Electr. Notes Theor. Comput. Sci. 101: 3-24 (2004)
23		Gaby Herrmann, Peter Herrmann: Introduction: Security and Trust in Electronic Commerce. Electronic Commerce Research 4(1-2): 5-7 (2004)
22		Peter Herrmann, Heiko Krumm: Trust-Based Monitoring of Component-Structured Software. Praxis der Informationsverarbeitung und Kommunikation 27(4): 237-245 (2004)
	2003
21		Peter Herrmann: Formal Security Policy Verification of Distributed Component-Structured Software. FORTE 2003: 257-272
20		Peter Herrmann: Trust-Based Protection of Software Component Users and Designers. iTrust 2003: 75-90
	2002
19		Peter Herrmann, Lars Wiebusch, Heiko Krumm: State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. I3E 2002: 195-209
18		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)
17		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
16		Peter Herrmann: Information Flow Analysis of Component-Structured Applications. ACSAC 2001: 45-54
15		Peter Herrmann, Lars Wiebusch, Heiko Krumm: Tool-Assisted Security Assessment of Distributed Applications. DAIS 2001: 289-294
14		Peter Herrmann, Heiko Krumm: Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. ISCC 2001: 2-8
	2000
13		Günter Graw, Peter Herrmann, Heiko Krumm: Verification of UML-Based Real-Time System Designs by Means of cTLA. ISORC 2000: 86-95
12		Peter Herrmann, Heiko Krumm: A framework for modeling transfer protocols. Computer Networks 34(2): 317-337 (2000)
	1999
11		Günter Graw, Peter Herrmann, Heiko Krumm: Constraint-oriented formal modelling of OO-systems. DAIS 1999: 345-
10		Günter Graw, Peter Herrmann, Heiko Krumm: Composing Object-Oriented Specifications and Verifications with cTLA. ECOOP Workshops 1999: 318
9		Peter Herrmann, Manfred Noël: Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. FBT 1999: 83-92
8		Peter Herrmann, Heiko Krumm: Formal Hazard Analysis of Hybrid Systems in cTLA. SRDS 1999: 68-77
	1998
7		Peter Herrmann: Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen. DUV 1998: I-XII, 1-276
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	[30] [33]
2	Roland Büschkes	[36]
3	Máté J. Csorba	[37] [38] [45] [48]
4	Hervé Debar	[36]
5	Olaf Drögehorn (Olaf Droegehorn)	[6] [17]
6	Alfredo Perez Fernandez	[50]
7	Ali Fessi	[36]
8	Inéz Frerichs	[18]
9	Walter Geisselhardt	[17]
10	Günter Graw	[4] [10] [11] [13] [24] [25]
11	Volker Gruhn	[5]
12	Jon Atle Gulla	[50]
13	Linda Ariani Gunawan	[44] [49] [53]
14	Dirk Haage	[36]
15	Günter Hahn	[18]
16	Poul E. Heegaard	[37] [38] [45] [48]
17	Gerhard Hellige	[18]
18	Gaby Herrmann	[23] [28]
19	Jose Hinz	[18]
20	Ralph Holz	[36]
21	Valérie Issarny	[27]
22	Marko Jahnke	[36]
23	Richard A. Kemmerer	[36]
24	Mohammad Ullah Khan	[50]
25	Svein J. Knapskog (Svein Johan Knapskog)	[34] [35] [43]
26	Hartmut König	[36] [49]
27	Frank Alexander Kraemer	[30] [31] [32] [33] [39] [40] [41] [44] [47] [49] [51] [53] [54]
28	Heiko Krumm	[1] [2] [3] [4] [5] [8] [10] [11] [12] [13] [14] [15] [17] [19] [22] [26]
29	Hein Meling	[45]
30	Manfred Noël	[9]
31	Pinar Öztürk	[42]
32	Michael Quintel	[18]
33	Rune Sætre	[50]
34	Sebastian Schmerl	[49]
35	Simon Shiu	[27]
36	Vidar Slåtten	[39] [40] [49] [51] [52]
37	Erlend Stav	[50]
38	Mozhgan Tavakolifard	[34] [35] [42] [43] [46]
39	Michael Vogel	[49]
40	Gerald Weisser	[18]
41	Lars Wiebusch	[15] [19] [26]
42	Stephen D. Wolthusen	[36]
43	Tanja Zseby	[36]

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