Publications of Peter Herrmann

2017

S. Hordvik, K. Øseth, H. H. Svendsen, J. O. Blech, P. Herrmann. Model-based Engineering and Spatiotemporal Analysis of Transport Systems. In Evaluation of Novel Approaches to Software Engineering, pages 44-65, CCIS 703, Springer-Verlag, April 2017, see Springer Link, pdf

A. Svae, A. Taherkordi, P. Herrmann, J. O. Blech. Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. To appear in 32nd ACM Symposium on Applied Computing (SAC), Marrakesh, Morocco, ACM, April 2017, see pdf © ACM

Z. A. Khan, P. Herrmann. How to Secure Internet of Things Devices in an Energy Efficient Way. In ERCIM News, 109(2017)4, see ERCIM News

Z. A. Khan, P. Herrmann. A Trust Based Distributed Intrusion Detection Mechanism for Internet of Things. In 31st IEEE International Conference on Advanced Information Networking and Applications (AINA-2017), pages 1169-1176, Taipei, Taiwan, IEEE Computer, March 2017, see IEEE Xplore, pdf © IEEE Computer

2016

P. Herrmann, J.O. Blech, F. Han, H. Schmidt. A Model-based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. In International Journal of Web Services Research (IJWSR), 13(2016)1, pages 40-52, IGI Global, see IGI Global, pdf © IGI Global

A. Taherkordi, P. Herrmann, J. O. Blech, Á. Férnandez. Service Virtualization for Self-Adaptation in Mobile Cyber-Physical Systems. In International Workshop on Management of Service-Oriented Cyber-Physical Systems (MCPS), Banff, Canada, October 2016, see pdf

P. Herrmann, J. O. Blech. Formal Model-based Development in Industrial Automation with Reactive Blocks. In Software Technologies: Applications and Foundations - 3rd Human-Oriented Formal Methods Workshop (HOFM2016), pages 253-261, Vienna, LNCS 9946, July 2016, Springer-Verlag, see SpringerLink, pdf

M. K. Oplenskedal, P. Herrmann, J. O. Blech. Model-based Development of a Controller and Simulator for a Mobile Robot. In the 2016 5th ICT International Student Project Conference (ICT-ISPC), pages 61-64, Bangkok, May 2016, IEEE Computer, see IEEE Xplore, pdf © IEEE Computer

S. Hordvik, K. Øseth, J. O. Blech, P. Herrmann. A Methodology for Model-based Development and Safety Analysis of Transport Systems. In 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 91-101, Rome, April 2016, SciTePress, see SciTePress Digital Library, pdf © SciTePress. This article received the Best Paper Award of ENASE 2016.

P. Herrmann, A. Svae, H. H. Svendsen, J. O. Blech. Collaborative Model-based Development of a Remote Train Monitoring System. In 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods, pages 383-390, Rome, April 2016, SciTePress, see SciTePress Digital Library, pdf © SciTePress

2015

J.O. Blech, P. Herrmann. Behavioral Types for Space-aware Systems. In 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded Systems (ACES-MB), pages 11-18, CEUR-WS Proceedings, vol. 1508, Ottawa, Canada, September 2015, see CEUR-WS

J.O. Blech, P. Herrmann. Behavioral Types for Component-based Development of Cyber-Physical Systems. In 2nd Human-Oriented Formal Methods Workshop (HOFM2015), pages 43-52, York, UK, LNCS 9509, September 2015, Springer-Verlag, see SpringerLink, pdf

Han F., J.O. Blech, P. Herrmann, H. Schmidt. Model-based Engineering and Analysis of Space-aware Systems Communicating via IEEE 802.11. In 39th Annual International Computers, Software & Applications Conference (COMPSAC 2015), pages 638-646, Taichung, Taiwan, July 2015, IEEE Computer, see IEEE Xplore, pdf © IEEE Computer

F.A. Kraemer, P. Herrmann. Creating Internet of Things Applications from Building Blocks. In ERCIM News — Special Theme: The Internet of Things and The Web of Things, 101(2015)4, pages 19-20, see ERCIM News

J.O. Blech, P. Herrmann, I. Peake, H. Schmidt. Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. In 10th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 331-336, Barcelona, April 2015, SciTePress, see SciTePress Digital Library, pdf © SciTePress


2014

M. Vasilevskaya, L.A. Gunawan, S. Nadjm-Tehrani, P. Herrmann. Integrating Security Mechanisms into Embedded Systems by Domain-specific Modelling. In Security and Communication Networks 7(2014)12, pages 2815-2832, Wiley & Sons, Ltd., see Wiley Online Library, pdf

P. Herrmann, J.O. Blech, F. Han, H. Schmidt. A Model-based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. In 2014 Asia-Pacific Services Computing Conference (APSCC), IEEE Computer. This paper was awarded the Best-Track Paper Award of the Special Track on Reliability Technologies and Tools for Services-Based Systems.

M. Spichkova, J.O. Blech, P. Herrmann, H. Schmidt. Modeling Spatial Aspects of Safety-Critical Systems with FOCUSST. In Model-Driven Engineering, Verification, and Validation in MDE, Satellite event of MoDELS2014, pages 49-58, CEUR-WS Proceedings, vol. 1235, Valencia, September/October 2014, see CEUR-WS, pdf

Han F., J.O. Blech, P. Herrmann, H. Schmidt. Towards Verifying Safety Properties of Real-Time Probabilistic Systems. In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Electronic Proceedings in Theoretical Computer Science, vol. 147, pages 1-15, Grenoble, April 2014, see EPTCS, pdf (published according to the Creative Commons Attribution License)


2013

V. Slåtten, P. Herrmann, F.A. Kraemer. Model-Driven Engineering of Reliable Fault-Tolerant Systems - A State-of-the-Art Survey. Chapter 4 in A. Memon (ed.) Advances in Computers 91(2013)119-205, see ScienceDirect

Han F., P. Herrmann. Modeling Real-Time System Performance with Respect to Scheduling Analysis. In proceedings of the 6th IEEE International Conference on Ubi-Media Computing (UMEDIA 2013), pages 663-671, Aizu-Wakamatsu, Japan, IEEE Computer Society Press, September 2013, see IEEE Xplore, pdf © IEEE Computer

Han F., P. Herrmann, Hien L. Modeling and Verifying Real-time Properties of Reactive Systems. In Proceedings of the 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), pages 14-23, Singapore, July 2013, see IEEE Xplore, pdf © IEEE Computer

S. Gladysh, P. Herrmann. Modeling Reactive Trust Acquisition Using State Transition Systems. In Proceedings of the 7th IFIP WG 11.11 International Conference on Trust Management (IFIPTM13), pages 247-254, Malaga, IFIP Advances in Information and Communication Technology 401, Springer-Verlag, June 2013, see SpringerLink, pdf

L.A. Gunawan, P. Herrmann, Compositional Verification of Application-Level Security Properties, in Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS 2013), pages 75-90, Paris, LNCS 7781, February/March 2013, Springer-Verlag, see SpringerLink, pdf


2012

M. Vasilevskaya, L.A. Gunawan, S. Nadjm-Tehrani, P. Herrmann, Security Asset Elicitation for Collaborative Models, in Proceedings of the Model-Driven Security Workshop (MDsec 2012), Innsbruck, October 2012, see ACM Digital Library, pdf © ACM

L.A. Gunawan, F.A. Kraemer, P. Herrmann, Behavioral Singletons to Consistently Handle Global States of Security Patterns, in Distributed Applications and Interoperable Systems, Proceedings of the 12th IFIP WG 6.1 International Conference (DAIS 2012), pages 73-86, Stockholm, LNCS 7272, Springer-Verlag, June 2012, see SpringerLink, pdf

Han F., P. Herrmann, Remedy of Mixed Initiative Conflicts in Model-based System Engineering, in Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques, Tallinn, March 2012, Electronic Communications of the EASST 47(2012), see ECEASST


2011

V. Slåtten, F.A. Kraemer, P. Herrmann, Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed System: A Method Exemplified by an Industrial Case Study, in Proceedings of the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), pages 147-156, Portland, ACM, October 2011, see ACM Digital Library, pdf © ACM

R. Sætre, M.U. Khan, P. Herrmann, End-User Composition of Web-Based Services: The “Plus Alpha” Approach, in Proceedings of the India-Norway Workshop on Web Concepts and Technologies, pages 51-61, Trondheim, Tapir Academic Press, October 2011, see pdf

Han F., S.B. Kathayat, Hien L., R. Bræk, P. Herrmann, Towards Choreography Model Transformation via Graph Transformation, in Proceedings of the 2nd IEEE International Conference on Software Engineering and Service Science (ICSESS 2011), pages 508-515, Beijing, IEEE Computer Society Press, July 2011, see IEEE Xplore, pdf © IEEE Computer

V. Slåtten, P. Herrmann, Contracts for Multi-instance UML Activities, in Formal Techniques for Distributed Systems, Proceedings of the Joint 13th IFIP WG 6.1 International Conference (FMOODS 2011) and 30th IFIP WG 6.1 International Conference (FORTE 2011), pages 304-318, Reykjavik, LNCS 6722, Springer-Verlag, June 2011, see SpringerLink, pdf

R. Sætre, M.U. Khan, E. Stav, A.P. Fernandez, P. Herrmann, J.A. Gulla, Towards Ontology-Driven End-User Composition of Personalized Mobile Services, in Natural Language Processing and Information Systems, Proceedings of the 16th International Conference on Applications of Natural Language to Information Systems (NLDB 2011), pages 242-245, Alicante, LNCS 6716, Springer-Verlag, June 2011, see Proceedings, pdf

J. Floch, P. Herrmann, M.U. Khan, R. Sanders, E. Stav, R. Sætre, End-User Service Composition in Mobile Pervasive Environments, in Proceedings of the EUD4 services workshop: Methodologies, Tools, and Evaluations, Torre Canne (Brindisi), June 2011, see Proceedings, pdf

F.A. Kraemer, P. Herrmann (Editors), System Analysis and Modeling: About Models, Post proceedings of the 6th International Workshop on System Analysis and Modelling (SAM 2010), Oslo, October 2010, LNCS 6598, Springer-Verlag, see SpringerLink

L.A. Gunawan, F.A. Kraemer, P. Herrmann, A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications, in Engineering Secure Software and Systems, Proceedings of the 3rd International Symposium (ESSoS 2011), pages 142–155, Madrid, LNCS 6542, Springer-Verlag, February 2011, see SpringerLink, pdf

L.A. Gunawan, M. Vogel, F.A. Kraemer, S. Schmerl, V. Slåtten, P. Herrmann, H. König, Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks, in ACM SIGSOFT Software Engineering Notes, 36(2011)1, pages 1-8, see ACM Digital Library, pdf © ACM

M.J. Csorba, P. Heegaard, P. Herrmann, Component Deployment Using Parallel Ant-Nests, in International Journal of Autonomous and Adaptive Communications Systems (IJAACS), Inderscience Publishers, 4(2011)1, pages 78-99, see Inderscience


2010

P. Herrmann, M. Tavakolifard (Guest Editors). Special Issue on Trust and Privacy in Electronic Commerce. Electronic Commerce Research Journal, Springer-Verlag, 10(2010)3-4, SpringerLink

L.A. Gunawan, M. Vogel, F.A. Kraemer, S. Schmerl, V. Slåtten, P. Herrmann, H. König. Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks, Proceedings of the 3rd IEEE International Workshop UML and Formal Methods, Shanghai, November 2010.

F.A. Kraemer, P. Herrmann. Reactive Semantics for Distributed UML Activities. In J. Hatcliff, E. Zucca, Formal Techniques for Distributed Systems, Proceedings of the Joint 12th IFIP WG 6.1 International Conference (FMOODS 2010) and 30th IFIP WG 6.1 International Conference (FORTE 2010), Amsterdam, LNCS 6117, pages 17-31, Springer-Verlag, June 2010, see SpringerLink, pdf

V. Slåtten, F.A. Kraemer, P. Herrmann. Towards a Model-Driven Method for Reliable Applications: From Ideal to Realistic Transmission Semantics. In Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010), London, ACM Digitial Library, pages 2-11, April 2010, see ACM Digital Library, pdf © ACM


2009

F.A. Kraemer, V. Slåtten, P. Herrmann. Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. In The Journal of Systems and Software 82 (2009) 2068-2080, see ScienceDirect, pdf

L.A. Gunawan, P. Herrmann, F.A. Kraemer. Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. In Proceedings of the International Conference on Security Technology (SecTech 2009), pages 72-85, Jeju Island, Korea, Communications in Computer and Information Science 58, Springer-Verlag, December 2009, see SpringerLink, pdf

F.A. Kraemer, P. Herrmann. Automated Encapsulation of UML Activities for Incremental Development and Verification. In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), pages 571-585, Denver, LNCS 5795, Springer-Verlag, October 2009, see SpringerLink, pdf

F.A. Kraemer, V. Slåtten, P. Herrmann. Model-Driven Construction of Embedded Applications
 based on Reusable Building Blocks - An Example. In R. Reed, A. Bilgic, R. Gotzhein (eds.), Proceedings of the 14th International SDL Forum 2009, pages 1-18, Bochum, LNCS 5719, Springer-Verlag, September 2009, see SpringerLink, pdf

F.A. Kraemer, R. Bræk, P. Herrmann. Compositional Service Engineering with Arctis. In Teletronikk, Special Issue on Model-Driven Security - Integrating Availability in System Development, Telenor, (2009)1, 135-151, see Complete volume, pdf

M. Tavakolifard, P. Herrmann, P. Öztürk. Analogical Trust Reasoning. In Proceedings of the 3rd IFIP WG 11.11 International Conference on Trust Management (IFIPTM09), pages 149-163, West Lafayette, IFIP Advances in Information and Communication Technology 300, Springer-Verlag, June 2009, see SpringerLink, pdf

M. Tavakolifard, P. Herrmann, S.J. Knapskog. Inferring Trust based on Similarity with TILLIT. In Proceedings of the 3rd IFIP WG 11.11 International Conference on Trust Management (IFIPTM09), pages 133-148, West Lafayette, IFIP Advances in Information and Communication Technology 300, Springer-Verlag, June 2009, see SpringerLink, pdf

M.J. Csorba, H. Meling, P.E. Heegard, P. Herrmann. Foraging for Better Deployment of Replicated Service Components. In Proceedings of the 9th IFIP WG6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2009), pages 87-101, Lisbon, LNCS 5523, Springer-Verlag, June 2009, see SpringerLink, pdf


2008

M. Tavakolifard, S.J. Knapskog, P. Herrmann. Cross-Situation Trust Reasoning. In Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - IAT 2008, pages 67-71, Sydney, Australia, December 2008, IEEE Computer, IEEExplore, pdf © IEEE Computer

M. Tavakolifard, S.J. Knapskog, P. Herrmann. Trust Transferability Among Similar Contexts. In Proceedings of the 4th ACM International Symposium on QoS and Security for Wireless and Mobile Networks (Q2SWinet 2008), pages 91-97, Vancouver, Canada, October 2008, ACM, see ACM Digital Library, pdf © ACM

M.J. Csorba, P.E. Heegard, P. Herrmann. Adaptable Model-based Component Deployment Guided by Artificial Ants. In Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, Torino, September 2008, ACM, ICST, see pdf (not yet available in the ACM Digital Library) © ACM

Y. Karabulut, J.C. Mitchell, P. Herrmann, Ch.D. Jensen (Editors). Trust Management II - Proceedings of the Joint IFIP iTrust and PST Conferences on Privacy, Trust Management and Security. IFIP Advances in Information and Communication Technology 263, Springer-Verlag 2008, 372 pages, see SpringerLink

R.A. Kemmerer, R. Büschkes, A. Fessi, H. König, P. Herrmann, S. Wolthusen, M. Jahnke, H. Debar, R. Holz, T. Zseby, D. Haage. Outcome Working Group - Situational Awareness. Dagstuhl Seminar Proceedings 2008 (08102), see DSP, pdf

M.J. Csorba, P.E. Heegard, P. Herrmann. Cost-Efficient Deployment of Collaborative Components. In Proceedings of the 8th IFIP WG6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2008), Oslo, LNCS 5053, Springer-Verlag, June 2008, see SpringerLink, pdf


2007

F.A. Kraemer, V. Slåtten, P. Herrmann. Engineering Support for UML Activities by Automated Model-Checking - An Example. In Proceedings of the 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2007), Luxemburg, November 2007, see pdf

F.A. Kraemer, P. Herrmann. Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. In Proceedings of the Networking and Electronic Commerce Research Conference 2007 (NAEC), pages 194-220, Riva del Garda, ATSMA, October 2007, see pdf

F.A. Kraemer, R. Bræk, P. Herrmann. Synthesizing Components with Sessions from Collaboration-Oriented Service Specications. In E. Gaudin, E. Najm, R. Reed, eds., Proceedings of the 13th System Design Language Forum 2007, pages 166-185, LNCS 4745, Paris, Springer-Verlag, September 2007, see SpringerLink, pdf

P. Herrmann, F.A. Kraemer. Design of Trusted Systems with Reusable Collaboration Models. In S. Etalle, S. Marsh, eds., Proceedings of the Joint IFIP iTrust and PST Conferences on Privacy, Trust Management and Security, pages 317-332, Moncton, Springer-Verlag, July/August 2007, see SpringerLink, pdf

F.A. Kraemer, P. Herrmann. Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques, Braga, March/April 2007. Published in Electronic Communications of the EASST 6(2007), see ECEASST


2006

P. Herrmann, G. Herrmann. Security-Oriented Refinement of Business Processes. In Electronic Commerce Research Journal, Springer-Verlag, 6(2006)3-4, 305-335, see SpringerLink, pdf

F.A. Kraemer, P. Herrmann. Service Specification by Composition of Collaborations - An Example. In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence, International Workshop on Service Composition (Sercomp'06), pages 129-133, Hong Kong, IEEE Computer, December 2006, see IEEExplore, pdf © IEEE Computer

F.A. Kraemer, P. Herrmann, R. Bræk. Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. In R. Meersmann and Z. Tari (eds.), Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA06), pages 1613-1632, LNCS 4276, Montpellier, Springer-Verlag, October 2006, see SpringerLink, pdf

P. Herrmann. Temporal Logic-Based Specification and Verification of Trust Models. In. K. Stølen, W.H. Winsborough, F. Martinelli, F. Massacci (eds.), Proceedings of the 4th International Conference on Trust Management, pages 105-119, LNCS 3986, Pisa, Springer-Verlag, May 2006, see SpringerLink, pdf


2005

P. Herrmann, S. Shiu, V. Issarny (Editors). Proceedings of the 3rd International Conference on Trust Management. Paris, LNCS 3477, Springer-Verlag, 2005, see SpringerLink


2004

P. Herrmann, H. Krumm. Trust-Based Monitoring of Component-Structured Software. In Praxis der Informationsverarbeitung und Kommunikation (PIK), Saur Verlag, 27(2004)4, 237-245, see pdf

G. Graw, P. Herrmann. Transformation and Verification of Executable UML Models. In Electronic Notes in Theoretical Computer Science, Elsevier Science, 101(2004), 3-24, see ScienceDirect, pdf

P. Herrmann, G. Herrmann (Guest Editors). Special Issue on Security and Trust in Electronic Commerce. In Electronic Commerce Research Journal, Kluwer Academic Publishers, 4(2004)1-2, see SpringerLink

P. Herrmann, L. Wiebusch, H. Krumm. Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. In Proceedings GI/SIDAR Workshop on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2004), GI/FG SIDAR, pages 55-70, LNI, Gesellschaft Für Informatik, July 2004, Springer Verlag (in German), see pdf © Gesellschaft für Informatik

G. Graw, P. Herrmann. Generation and Enactment of Controllers for Business Architectures using MDA. In Proceedings of the 1st European Workshop on Software Architecture (EWSA 2004), pages 148-166, LNCS 3047, St. Andrews, May 2004, Springer-Verlag, see SpringerLink, pdf


2003

G. Herrmann, P. Herrmann. Development Support of Anonymous Business Processes. In Proceedings of the 6th International Conference on Electronic Commerce Research (ICECR03), ATSMA, IFIP, Dallas, October 2003, see pdf

G. Graw, P. Herrmann. Transformation and Verification of Executable UML Models. In Participant Proceedings of the Workshop on Compositional Verification of UML Models - Workshop at the 6th International Conference on the Unified Modeling Language, San Francisco, October 2003, see also in 2004

P. Herrmann. Formal Security Policy Verification of Distributed Component-Structured Software. In Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), pages 257-272, IFIP, LNCS 2767, Berlin, September/October 2003, Springer-Verlag. SpringerLink, pdf

P. Herrmann. How to Integrate Trust Management into a Risk Analysis Process. Position Paper. In Participants Proceedings of the 2nd Internal iTrust Workshop on Trust Management in Dynamic Open Systems, London, September 2003, see pdf

P. Herrmann. Trust-Based Protection of Software Component Users and Designers. In Proceedings of the 1st International Conference on Trust Management, pages 75-90, LNCS 2692, Heraklion, May 2003, Springer-Verlag, see SpringerLink, pdf


2002

P. Herrmann, H. Krumm, O. Drögehorn, W. Geisselhardt. Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs. In Telecommunication Systems, Kluwer Academic Publisher, 20(2002)3-4, 291-310, see SpringerLink, pdf

P. Herrmann, G. Herrmann. Security-Oriented Refinement of Business Processes. In Proceedings of the 5th International Conference on Electronic Commerce Research (ICECR02), ATSMA, IFIP, Montreal, October 2002, see pdf

P. Herrmann, L. Wiebusch, H. Krumm: State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. In: Proceedings of the 2nd IFIP Conference on E-Commerce, E-Business & E-Government (I3E), pages 195-209, Lisbon, October 2002. Kluwer Academic Publisher, see pdf (not listed in SpringerLink)

G. Graw, P. Herrmann. Verification of xUML Specifications in the context of MDA. In: Participant Proceedings of the Workshop in Software Model Engineering (WISME@UML'2002), Dresden, October 2002, see pdf

P. Herrmann. Trust-Based Security Policy Enforcement of Software Components. In Participant Proceedings of the 1st Internal iTrust Workshop on Trust Management in Dynamic Open Systems, Glasgow, September 2002, see pdf


2001

S. Kowalewski, P. Herrmann, S. Engell, R. Huuck, H. Krumm, Y. Lakhnech, B. Lukoschus, H. Treseler. Approaches to the Formal Verification of Hybrid Systems. In at - Automatisierungstechnik, Oldenbourg-Verlag, 49(2001)2, 66-74, see Oldenbourg

P. Herrmann. Information Flow Analysis of Component-Structured Applications. In Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC'2001), pages 45-54, ACM SIGSAC, New Orleans, December 2001. IEEE Computer Society Press, see IEEExplore, pdf © IEEE Computer]

P. Herrmann. Trust-Based Procurement Support for Software Components. In Proceedings of the 4th International Conference on Electronic Commerce Research (ICECR-4), pages 505-514, ATSMA, IFIP, Dallas, November 2001, see pdf

P. Herrmann, L. Wiebusch, H. Krumm. Tool-Assisted Security Assessment of Distributed Applications. In Proceedings of the 3rd IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 2001), pages 289-294, Krakow, September 2001. Kluwer Academic Publisher, see pdf (not listed in SpringerLink)

P. Herrmann, H. Krumm. Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. In Proceedings of the 6th IEEE Symposium on Computers and Communications, pages 2-8, Hammamet, Tunesia, July 2001. IEEE Computer Society Press, see IEEE Computer, pdf © IEEE Computer

P. Herrmann, H. Krumm. Object-Oriented Security Analysis and Modeling. In Proceedings of the 9th International Conference on Telecommunication Systems - Modelling and Analysis, pages 21-32, ATSMA, IFIP, Dallas, TX, USA, March 2001, see pdf


2000

P. Herrmann, H. Krumm. A Framework for Modeling Transfer Protocols. In Computer Networks, 34(2000)2, 317-337, see ScienceDirect, pdf

P. Herrmann, H. Krumm. A Framework for the Hazard Analysis of Chemical Plants. In Proceedings of the 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD2000), pages 35-41, Anchorage, Alaska, USA, IEEE CSS, September 2000. Omnipress, see IEEExplore, pdf © IEEE Computer

P. Herrmann, P. Grannas. A Tool for Hazard Detection in Hybrid Systems. In Proceedings of the 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, pages 225-230, Dortmund, Germany, September 2000. Shaker Verlag, see pdf

G. Graw, P. Herrmann, H. Krumm. Verification of UML-based Real-Time System Designs by means of cTLA. In Proceedings of the 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC2K), pages 86-95, Newport Beach, CA, USA, March 2000. IEEE Computer Society Press, see IEEE Computer, pdf © IEEE Computer

P. Herrmann, M. Noël. Formal Development of a Distributed Control System for Road Marking Machines. In: Proceedings of the 8th International Conference on Telecommunication Systems - Modelling and Analysis, pages 430-437, ATSMA, IFIP, Nashville, TN, USA, March 2000, see pdf

A. Berraqa, P. Herrmann, N. Ilayyan, H. Krumm, N. Schmitt, J. Schröder, M.-C. Schröer, S. Stöcker, A. Stoll, J. Thiemann, L. Wiebusch. Ein flexibles komponentenstrukturiertes Intrusion Detection System. In Proceedings of the 7th Workshop “Sicherheit in vernetzten Systemen”, DFN-CERT & DFN-PCA, Hamburg, March 2000 (in German), see pdf


1999

P. Herrmann, H. Krumm. Formal Hazard Analysis of Hybrid Systems in cTLA. In Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS´99), pages 68-77, Lausanne, Oct. 1999, IEEE Computer Society Press, see IEEE Computer, pdf © IEEE Computer

G. Graw, P. Herrmann, H. Krumm. Constraint-Oriented Formal Modelling of OO-Systems. In L. Kutvonen, H. König, M. Tienari (Eds.), Proceedings of the 2nd IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 99), pages 345-358, Helsinki, June/July 1999. Kluwer Academic Publisher, see pdf (not listed in SpringerLink)

P. Herrmann, M. Noël. Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. In Tagungsband zum 9. Fachgespräch Formale Beschreibungstechniken, Seiten 83-92, München, HerbertUtz-Verlag, 1999 (in German), see pdf

G. Graw, P. Herrmann, H. Krumm. Composing Object-Oriented Specifications and Verifications with cTLA. In Proceedings of the Workshop on Semantics of Objects as Processes (SOAP'99), NS-99-2, pages 7-22, Lisbon, June 1999. BRICS Notes Series, see pdf

P. Herrmann, O. Drögehorn, W. Geisselhardt, H. Krumm, Tool-Supported Formal Verification of Highspeed Transfer Protocol Designs. In Proceedings of the 7th International Conference on Telecommunication Systems - Modelling and Analysis, pages 531-541, ATSMA, IFIP, Nashville, TN, USA, 1999, see pdf


1998

P. Herrmann. Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen. Deutscher Universitätsverlag, 1998 (in German), see pdf

P. Herrmann, H. Krumm. Modular Specification and Verification of XTP. In Telecommunication Systems, 9(1998)2, 207-221, see SpringerLink, pdf

P. Herrmann, H. Krumm. Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework. In Praxis der Informationsverarbeitung und Kommunikation (PIK), 21(1998)2, 79-88 (in German), see pdf

V. Gruhn, P. Herrmann, H. Krumm. User-Defined Telecooperation Services. In Proceedings of the 1998 International Conference on Parallel and Distributed Systems - (ICPADS'98), pages 590-598, Tainan, Taiwan, December 1998. IEEE Computer Society Press, see IEEExplore, pdf © IEEE Computer

P. Herrmann, G. Graw, H. Krumm. Compositional Specification and Structured Verification of Hybrid Systems in cTLA. In Proceedings of the 1st IEEE International Symposium on Object-oriented Real-time distributed Computing - (ISORC'98), pages 335-340, Kyoto, Japan, April 1998. IEEE Computer Society Press, see IEEExplore, pdf © IEEE Computer

O. Drögehorn, P. Herrmann. Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. In Tagungsband zum 8. Fachgespräch Formale Beschreibungstechniken, Cottbus, Seiten 48-59, Shaker Verlag, 1998 (in German), see pdf


1997

P. Herrmann, H. Krumm. Specification of Hybrid Systems in cTLA+. In Proceedings of the 5th International Workshop on Parallel & Distributed Real-Time Systems (WPDRTS'97), pages 212-216, IEEE, Geneva, Switzerland, 1997. IEEE Computer Society Press, see IEEExplore, pdf © IEEE Computer

P. Herrmann, H. Krumm. Modular Specification and Verification of XTP. In Proceedings of the 5th International Conference on Telecommunication Systems - Modelling and Analysis, pages 477-486, ATSMA, IFIP, Nashville, TN, USA, 1997, see also in 1998

P. Herrmann, H. Krumm. Kompositionale Constraints hybrider Systeme. In: Tagungsband zur 5. Fachtagung Entwurf komplexer Automatisierungssysteme, Seiten 243-264, ISBN 3-9803363-4-4, Braunschweig, Mai 1997 (in German). pdf


1995

P. Herrmann, H. Krumm. Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations. In P. Dembinski and M. Sredniawa, editors, Proceedings of the 15th IFIP International Conference on Protocol Specification, Testing and Verification (PSTV XV), pages 171-186, Warsaw, Poland, June 1995. Chapman & Hall, see pdf (not listed in ScienceDirect)

P. Herrmann, A. Mester, H. Krumm. Entwurf korrekter verteilter Systeme durch wiederverwendbare Spezifikations- und Verifikationselemente. In Tagungsband zum 5. Fachgespräch der GI/ITG-Fachgruppen 3.3.1/4.4. (Kommunikation und verteilte Systeme) zu Formale Beschreibungstechniken für verteilte Systeme, 10 Seiten. Kaiserlautern, Juni 1995 (in German).


1994

P. Herrmann, H. Krumm. Compositional Specification and Verification of High-Speed Transfer Protocols. In S. T. Vuong and S. T. Chanson, editors, Proceedings of the 14th IFIP International Conference on Protocol Specification, Testing and Verification (PSTV XIV), pages 339-346, Vancouver, B.C., Canada, 1994. Chapman and Hall, see pdf (not listed in ScienceDirect)

P. Herrmann, H. Krumm. Kompositionale Spezifikation und Verifikation von Hochleistungs-Protokollen. In Tagungsband zum 1. Arbeitstreffen der GI/ITG-Fachgruppe 'Kommunikation und Verteilte Systeme' zur “Architektur und Implementierung von Hochleistungs-Kommunikationssystemen”, Karlsruhe, Januar 1994 (in German), see pdf


Research Reports

A. Mester, P. Herrmann (Editors). Audiovisuelle Animation von verteilten Algorithmen und Kommunikationsprotokollen. Endbericht der Projektgruppe 225. Interner Bericht, Universität Dortmund, Fachbereich Informatik, Lehrstuhl IV, April 1994 (in German)

P. Herrmann, Th. Kraatz, H. Krumm, M. Stange. Automated Verification of Refinements of Concurrent and Distributed Systems. Forschungsbericht/Research Report 541/1994, Universität Dortmund, Fachbereich Informatik, March 1994

P. Herrmann, H. Krumm. Compositional Specification and Verification of High-Speed Transfer Protocols. Forschungsbericht/Research Report 540/1994, Universität Dortmund, Fachbereich Informatik, February 1994

U. Eickhoff, P. Herrmann, H. Krumm. Theorem prover based verification of TLA systems. Forschungsbericht/Research Report 492/1993, Universität Dortmund, Fachbereich Informatik, May 1993

P. Herrmann, H. Krumm. Report on Analysis and Verification Techniques. Forschungsbericht/Research Report 485/1993, Universität Dortmund, Fachbereich Informatik, 1993