Peter Fritzson

Affiliations:
  • Linköping University, Sweden


According to our database1, Peter Fritzson authored at least 128 papers between 1980 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
The Openmodelica Environment for Building Digital Twins of Sustainable Cyber-Physical Systems.
Proceedings of the Winter Simulation Conference, 2021

The OpenModelica Environment and Its Use for Development of Sustainable Cyber-physical Systems and Digital Twins.
Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

2019
Controller Design for a Magnetic Levitation Kit using OpenModelica's Integration with the Julia Language.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

OMJulia: An OpenModelica API for Julia-Modelica Interaction.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

MetaModelica - A Symbolic-Numeric Modelica Language and Comparison to Julia.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

Status and directions for cyber-physical system development with OpenModelica.
Proceedings of the EOOLT '19: 9th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2019

2018
Index reduction of differential algebraic equations by differential Dixon resultant.
Appl. Math. Comput., 2018

2017
Large Scale Training through Spoken Tutorials to Promote and use OpenModelica.
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

Traceability Support in OpenModelica Using Open Services for Lifecycle Collaboration (OSLC).
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

Development of a Thermodynamic Engine in OpenModelica.
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

Parallelizing simulations with runtime profiling and scheduling.
Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2017

Towards an OpenModelica-based sensitivity analysis platform including optimization-driven strategies.
Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2017

2016
Efficient index reduction algorithm for large scale systems of differential algebraic equations.
Appl. Math. Comput., 2016

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.
Proceedings of the IEEE International Symposium on Systems Engineering, 2016

Model-based development of sustainable cyber-physical systems including requirement formalization using the openModelica model-based development toolkit.
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.
Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015
Semantic validation of physical models using role models.
Simul., 2015

PDE Modeling with Modelica via FMI Import of HiFlow3 C++ Components with Parallel Multi-core Simulations.
Simul. Notes Eur., 2015

Expressing Requirements in Modelica.
Simul. Notes Eur., 2015

Index reduction of differential algebraic equations by differential algebraic elimination.
CoRR, 2015

Efficient algorithm for computing large scale systems of differential algebraic equations.
CoRR, 2015

2014
PDE Modeling with Modelica via FMI Import of HiFlow3 C++ Components.
Simul. Notes Eur., 2014

An integrated toolchain for model based functional safety analysis.
J. Comput. Sci., 2014

Automatic task based analysis and parallelization in the context of equation based languages.
Proceedings of the Equation-Based Object-Oriented Modeling Languages and Tools 2014, 2014

2013
Translation of UML state machines to Modelica: Handling semantic issues.
Simul., 2013

Acausal Modeling and Simulation of the Standalone Solar Power Systems as Hybrid DAEs.
Simul. Notes Eur., 2013

Comparison Open Modelica - Dymola for Power Plant Simulation.
Simul. Notes Eur., 2013

Acausal Modelling and Dynamic Simulation of the Standalone Wind-Solar Plant Using Modelica.
Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013

Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

Tool Demonstration Abstract: OpenModelica Graphical Editor and Debugger.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

Models for Distributed Real-Time Simulation in a Vehicle Co-Simulator Setup.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

2012
ModelicaML value bindings for automated model composition.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

A comparison of two metacompilation approaches to implementing a complex domain-specific language.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Comodeling: From Requirements to an Integrated Software/Hardware Model.
Computer, 2011

Modelica - A cyber-physical modeling language and the OpenModelica environment.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

Debugging Symbolic Transformations in Equation Systems.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

Comodeling Revisited: Execution of Behavior Trees in Modelica.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

A Generic FMU Interface for Modelica.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

2010
The Modelica Object-Oriented Equation-Based Language and Its OpenModelica Environment with MetaModeling, Interoperability, and Parallel Execution.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010

Virtual Verification of System Designs against System Requirements.
Proceedings of the Models in Software Engineering, 2010

Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010.
Proceedings of the Models in Software Engineering, 2010

Compilation of Modelica Array Computations into Single Assignment C for Efficient Execution on CUDA-enabled GPUs.
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Towards Efficient Distributed Simulation in Modelica using Transmission Line Modeling.
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Execution of UMLState Machines Using Modelica.
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Platform-independent modeling of explicitly parallel programs.
Proceedings of the ARCS '10, 2010

2009
High-Order Acausal Models.
Simul. Notes Eur., 2009

Formal Semantics Based Translator Generation and Tool Development in Practice.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008
Evaluation and comparison of models and modelling tools simulating nitrogen processes in treatment wetlands.
Simul. Model. Pract. Theory, 2008

Automatic parallelization of simulation code for equation-based models with software pipelining and measurements on three platforms.
SIGARCH Comput. Archit. News, 2008

The Impreciseness of UML and Implications for ModelicaML.
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008

Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems.
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008

Higher-Order Acausal Models.
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008

Equation-Based Object-Oriented Languages and Tools.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica.
Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

2007
Automatic Parallelization of Object Oriented Models Executed with Inline Solvers.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

Towards Unified System Modeling with the ModelicaML UML Profile.
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

Abstract Syntax Can Make the Definition of Modelica Less Abstract.
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

Robust Initialization of Differential Algebraic Equations.
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

Equation-Based Object-Oriented Languages and Tools Report on the Workshop EOOLT 2007 at ECOOP 2007.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

2006
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications.
Proceedings of the Third Workshop on Structural Operational Semantics, 2006

NestStepModelica - Mathematical Modeling and Bulk-Synchronous Parallel Simulation.
Proceedings of the Applied Parallel Computing. State of the Art in Scientific Computing, 2006

MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Determining over- and under-constrained systems of equations using structural constraint delta.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
Debugging natural semantics specifications.
Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004
Automated Static Analysis of Equation-Based Components.
Simul., 2004

Heart sound analysis for symptom detection and computer-aided diagnosis.
Simul. Model. Pract. Theory, 2004

Composition of XML Dialects: A ModelicaXML Case Study.
Proceedings of the Software Composition Workshop, 2004

2003
A general symbolic PDE solver generator: Beyond explicit schemes.
Sci. Program., 2003

A general symbolic PDE solver generator: Explicit schemes.
Sci. Program., 2003

Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002
Automatic Generation of Graphical User Interface from C++ Data Structures.
Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, 2002

Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

A Debugging Scheme for Declarative Equation Based Modeling Languages.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Decreasing Memory Overhead in Hard Real-Time Garbage Collection.
Proceedings of the Embedded Software, Second International Conference, 2002

Modelica-A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation.
Proceedings of the Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), 2002

2000
Lossless Compression of High-Volume Numerical Data from Simulations.
Proceedings of the Data Compression Conference, 2000

1999
A Design, Simulation and Visualization Environment for Object-Oriented Mechanical and Multi-Domain Models in Modelica.
Proceedings of the International Conference on Information Visualisation, 1999

1998
Modelica - A Language for Equation-Based Physical Modeling and High Performance Simulation.
Proceedings of the Applied Parallel Computing, 1998

Modelica - A Unified Object-Oriented Language for System Modelling and Simulation.
Proceedings of the ECOOP'98, 1998

1997
Rolling Bearing Simulation On Mimd Computers.
Int. J. High Perform. Comput. Appl., 1997

1996
Overview and industrial application of code generator generators.
J. Syst. Softw., 1996

Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications.
Int. J. Softw. Eng. Knowl. Eng., 1996

Dynamic Slicing of Parallel Message-Passing Programs.
Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

Parallel Implementation of Image Reconstruction for the CARABAS Long-Wave Penetrating Radar.
Proceedings of the High-Performance Computing and Networking, 1996

Benchmarking an Intelligent Network Prototype Implemented in Parallel Erlang.
Proceedings of the High-Performance Computing and Networking, 1996

A Performance Analyzer for a Parallel Real-Time Functional Language.
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models.
Proceedings of the ECOOP'96, 1996

A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes.
Proceedings of the Compiler Construction, 6th International Conference, 1996

1995
ObjectMath - An Object-Oriented Language and Environment for Symbolic and Numerical Processing in Scientific Computing.
Sci. Program., 1995

High-level Mathematical Modeling And Programming.
IEEE Softw., 1995

Usability criteria for automated debugging systems.
J. Syst. Softw., 1995

Generating Parallel Code from Object Oriented Mathematical Models.
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

Implementation of the real-time functional language Erlang on a massively parallel platform, with applications to telecommunications services.
Proceedings of the High-Performance Computing and Networking, 1995

Parallelisation of the CVODE ordinary differential equation solver with applications to rolling bearing simulation.
Proceedings of the High-Performance Computing and Networking, 1995

Evaluation of Program Slicing tools.
Proceedings of the Second International Workshop on Automated Debugging, 1995

1994
Using assertions in declarative and operational models for automated debugging.
J. Syst. Softw., 1994

Algorithmic Debugging for Lazy Functional Languages.
J. Funct. Program., 1994

Solving Ordinary Differential Equations on Parallel Computers - Applied to Dynamic Rolling Bearings Simulation.
Proceedings of the Parallel Scientific Computing, First International Workshop, 1994

Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.
Proceedings of the Compiler Construction, 5th International Conference, 1994

1993
Three approaches to interprocedural dynamic slicing.
Microprocess. Microprogramming, 1993

PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications.
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing.
Proceedings of the Conference on Software Maintenance, 1993

Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

Generating Parallel Code from Equations in the ObjectMath Programming Environments.
Proceedings of the Parallel Computation, 1993

Graphical User Interfaces for Algorithmic Debugging.
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

Lazy Algorithmic Debugging: Ideas for Practical Implementation.
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992
Generalized Algorithmic Debugging and Testing.
LOPLAS, 1992

PREDULA a multi-paradigm parallel programming and debugging environment.
Microprocess. Microprogramming, 1992

Software features of an extended single instruction machine.
Microprocess. Microprogramming, 1992

Industrial Application of OO Mathematical Modeling and Computer Algebra in Mechanical Analysis.
Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Interprocedural Dynamic Slicing.
Proceedings of the Programming Language Implementation and Logic Programming, 1992

An Object-Oriented Language for Symbolic Computation - Applied to Machine Element Analysis.
Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.
Proceedings of the ICCL'92, 1992

A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language.
Proceedings of the Computing and Information, 1992

The Implementation of ObjectMath - a High-Level Programming Environment for Scientific Computing.
Proceedings of the Compiler Construction, 1992

1990
Bug Localization by Algorithmic Debugging and Program Slicing.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

Semi-automatic bug localization in software maintenance.
Proceedings of the Conference on Software Maintenance, 1990

Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract).
Proceedings of the Compiler Compilers, 1990

A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System.
Proceedings of the Compiler Compilers, 1990

1988
Affect-Chaining and Dependency Oriented Flow Analysis Applied to Queries of Programs.
Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, 1988

Experience from a Token Sequence Representation of Programs, Documents, and their Deltas.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

Incremental Symbol Processing.
Proceedings of the Compiler Compilers and High Speed Compilation, 1988

1984
Preliminary Experience from the DICE System, A Distributed Incremental Compiling Environment.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

1983
A systematic approach to advanced debugging: incremental compilation.
Proceedings of the symposium on High-level debugging, 1983

Symbolic debugging through incremental compilation in an integrated environment.
J. Syst. Softw., 1983

1980
Transfer of Programs from Development to Runtime Environments.
BIT, 1980


  Loading...