P
Peter Gorm Larsen
Researcher at Aarhus University
Publications - 202
Citations - 4509
Peter Gorm Larsen is an academic researcher from Aarhus University. The author has contributed to research in topics: Formal methods & Computer science. The author has an hindex of 31, co-authored 177 publications receiving 4052 citations. Previous affiliations of Peter Gorm Larsen include Association for Computing Machinery & International Fund for Agricultural Development.
Papers
More filters
Journal ArticleDOI
Formal methods: Practice and experience
TL;DR: The state of the art in the industrial use of formal methods is described, concentrating on their increasing use at the earlier stages of specification and design, by comparing the situation in 2009 with the most significant surveys carried out over the last 20 years.
Journal ArticleDOI
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions
TL;DR: A review of existing attempts to define and classify SoS is used to identify several dimensions that characterise SoS applications and the state of the art for SoS modelling, architectural description, simulation, verification, and testing is reviewed.
Book
Validated Designs for Object-oriented Systems
TL;DR: I - Models and Software Development Introduction Building a Model in VDM++: an Overview VDM+ Tool Support II - Modelling Object-oriented Systems in V DM++ Defining Data Defining Functionality Modelling Unordered Collections Modelling Ordered Collections Modelled Relationships
Book
Modelling Systems: Practical Tools and Techniques in Software Development
TL;DR: This second edition of VDM (Vienna Development Method) is updated to include advanced online tool support for formal modeling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.
Journal ArticleDOI
Co-Simulation: A Survey
TL;DR: The need for finding generic approaches for modular, stable, and accurate coupling of simulation units, as well as expressing the adaptations required to ensure that the coupling is correct, is identified.