Bakgrunn og aktiviteter

Research topics

  • Model-Based Engineering of Networked Services based on Collaborative Techniques
  • Functional and Security Aspects of Distributed Component-Structured Software
  • Trust Management Issues
  • Formal Specification, Implementation, and Verification of Distributed Systems and Continuous-Discrete Technical Systems

Projects

  • UbiCompForAll (Ubiquitous Computing For All Users, 2008-2012)
  • Arctis (Analysis, Refinement, Composition and Transformation of Interactive Services, Verification Project, 2010-2011, extended until 2012)
  • EuroNF (Network of the Future, 2008-2011)
  • ISIS (Infrastructure for Integrated Services, 2007-2011)
  • SIMS (Semantic Interfaces for Mobile Services, 2006-2008)
  • iTrust (2003-2005)

Tools

Reactive Blocks, the tool for engineering networked services. You find more information here.

Publications

Below, you will find selected publications. A more comprehensive and up-to-date list is available on my homepage.

 

Vitenskapelig, faglig og kunstnerisk arbeid

Viser et utvalg av aktivitet. Se alle publikasjoner i databasen

Tidsskriftspublikasjoner

Del av bok/rapport

  • Herrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
  • Hordvik, Simon Eikeland; Øseth, Kristoffer; Svendsen, Henrik Heggelund; Blech, Jan Olaf; Herrmann, Peter. (2017) Model-based Engineering and Spatiotemporal Analysis of Transport Systems. Evaluation of Novel Approaches to Software Engineering.
  • Khan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter. (2017) A Trust-based Resilient Routing Mechanism for the Internet of Things. ARES'17. Proceedings of The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy — August 29 - September 01, 2017.
  • Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. Proceedings of the Symposium on Applied Computing.
  • Herrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf. (2016) Collaborative Model-based Development of a Remote Train Monitoring System. ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering.
  • Hordvik, Simon Eikeland; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter. (2016) A Methodology for Model-based Development and Safety Analysis of Transport Systems. ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering.
  • Oplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf. (2016) Model-based Development of a Controller and Simulator for a Mobile Robot. 2016 Fifth ICT International Student Project Conference (ICT-ISPC 2016).
  • Blech, Jan Olaf; Herrmann, Peter Michael; Peake, Ian; Schmidt, Heinz. (2015) Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering.
  • Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter; Schmidt, Heinz. (2015) Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual.
  • Han, Fenglin; Herrmann, Peter Michael; Le, Hien Nam. (2013) Modeling and Verifying Real-time Properties of Reactive Systems. Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on.

Andre

  • Herrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) . IEEE Computer; Prague. 2017-07-25 - 2017-07-29.
  • Khan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter. (2017) A Trust-based Resilient Routing Mechanism for the Internet of Things. 12th International Conference on Availability, Reliability and Security ; Reggio di Calabria. 2017-08-29 - 2017-09-01.
  • Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. 32nd ACM Symposium on Applied Computing (SAC) . ACM; Marrakech. 2017-04-04 - 2017-04-06.
  • Herrmann, Peter; Blech, Jan Olaf. (2016) Formal Model-based Development in Industrial Automation with Reactive Blocks. 3rd Human-Oriented Formal Methods Workshop (HOFM2016) . University of Vienna; Vienna. 2016-07-04 - 2016-07-04.
  • Herrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf. (2016) Collaborative Model-based Development of a Remote Train Monitoring System. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods . SciTePress; Rome. 2016-04-27 - 2016-04-28.
  • Hordvik, Simon; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter. (2016) A Methodology for Model-based Development and Safety Analysis of Transport Systems. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods ; Rome. 2016-04-27 - 2016-04-28.
  • Oplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf. (2016) Model-based Development of a Controller and Simulator for a Mobile Robot. 2016 5th ICT International Student Project Conference (ICT-ISPC) . Mahidol University; Bangkok. 2016-05-27 - 2016-05-28.
  • Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf; Fernandez, Alvaro. (2016) Service Virtualization for Self-Adaptation in Mobile Cyber-Physical Systems. International Workshop on Management of Service-Oriented Cyber-Physical Systems (MCPS) ; Banff. 2016-10-10 - 2016-10-10.
  • Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Component-based Development of Cyber-Physical Systems. 2nd Human-Oriented Formal Methods Workshop (HOFM2015) . Maria Spichkova, Heinz Schmidt; York. 2015-09-07 - 2015-09-07.
  • Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Space-aware Systems. 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems . Iulia Dragomir et al.; Ottawa. 2015-09-28 - 2015-09-28.
  • Herrmann, Peter. (2015) State of the art IoT research - What do we know and what are the biggest questions we pursuit?. Innovasjonsfrokost . Næringsforeningen i Trondheimsregionen; Trondheim. 2015-08-28 - 2015-08-28.
  • Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Towards Verifying Safety Properties of Real-Time Probabilistic Systems. 11th International Workshop on Formal Engineering approaches to Software Components and Architectures ; Grenoble. 2014-04-12 - 2014-04-12.
  • Herrmann, Peter Michael; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz. (2014) A Model-based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. 2014 Asia-Pacific Services Computing Conference (APSCC) ; Fuzhou. 2014-12-04 - 2014-12-06.
  • Spichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST. Model-Driven Engineering, Verification, and Validation in MDE, Satellite event of MoDELS2014 ; Valencia. 2014-09-30 - 2014-09-30.
  • Han, Fenglin; Herrmann, Peter Michael. (2013) Modeling Real-Time System Performance with Respect to Scheduling Analysis. 6th IEEE International Conference on Ubi-Media Computing (UMEDIA 2013) . IEEE; Aizu-Wakamatsu. 2013-11-02 - 2013-11-04.
  • Han, Fenglin; Herrmann, Peter Michael; Le, Hien Nam. (2013) Modeling and verifying real-time properties of reactive systems. 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2013) . IEEE; National University of Singapore, School of Computing. 2013-07-17 - 2013-07-21.
  • Gunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter. (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. 7th International Federated Conference on Distributed Computing Techniques (DAIS 2012) . KTH; Stockholm. 2012-06-13 - 2012-06-15.