


Остановите войну!
for scientists:


default search action
Peter Fritzson
Person information

- affiliation: Linköping University, Sweden
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [c97]Peter Fritzson:
The OpenModelica Environment and Its Use for Development of Sustainable Cyber-physical Systems and Digital Twins. SIMULTECH 2021: 7 - [c96]Peter Fritzson:
The Openmodelica Environment for Building Digital Twins of Sustainable Cyber-Physical Systems. WSC 2021: 1-12
2010 – 2019
- 2019
- [c95]Peter Fritzson:
Status and directions for cyber-physical system development with OpenModelica. EOOLT 2019: 3-4 - [c94]Peter Fritzson, Adrian Pop
, Martin Sjölund, Adeel Asghar:
MetaModelica - A Symbolic-Numeric Modelica Language and Comparison to Julia. Modelica 2019: 157:030 - [c93]Bernt Lie, Arunkumar Palanisamy
, Alachew Mengist, Lena Buffoni, Martin Sjölund, Adeel Asghar, Adrian Pop
, Peter Fritzson:
OMJulia: An OpenModelica API for Julia-Modelica Interaction. Modelica 2019: 157:072 - [c92]Lennart A. Ochel, Robert Braun, Bernhard Thiele, Adeel Asghar, Lena Buffoni, Magnus Eek, Peter Fritzson, Dag Fritzson, Sune Horkeby, Robert Hällquist, Åke Kinnander, Arunkumar Palanisamy
, Adrian Pop
, Martin Sjölund:
OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP. Modelica 2019: 157:007 - [c91]Bernhard Thiele, Bernt Lie, Martin Sjölund, Adrian Pop
, Peter Fritzson:
Controller Design for a Magnetic Levitation Kit using OpenModelica's Integration with the Julia Language. Modelica 2019: 157:031 - 2018
- [j32]Xiaolin Qin, Lu Yang, Yong Feng, Bernhard Bachmann
, Peter Fritzson:
Index reduction of differential algebraic equations by differential Dixon resultant. Appl. Math. Comput. 328: 189-202 (2018) - 2017
- [c90]Mahder Gebremedhin, Peter Fritzson:
Parallelizing simulations with runtime profiling and scheduling. EOOLT 2017: 19-25 - [c89]Alejandro Danós, Willi Braun, Peter Fritzson, Adrian Pop, Hugo D. Scolnik, Rodrigo D. Castro:
Towards an OpenModelica-based sensitivity analysis platform including optimization-driven strategies. EOOLT 2017: 87-93 - [c88]Rahul Jain, Kannan M. Moudgalya, Peter Fritzson, Adrian Pop:
Development of a Thermodynamic Engine in OpenModelica. Modelica 2017: 132:009 - [c87]Alachew Mengist
, Adrian Pop, Adeel Asghar, Peter Fritzson:
Traceability Support in OpenModelica Using Open Services for Lifecycle Collaboration (OSLC). Modelica 2017: 132:090 - [c86]Kannan M. Moudgalya, Bhargava Nemmaru, Kaushik Datta, Priyam Nayak, Rahul Jain, Peter Fritzson, Adrian Pop:
Large Scale Training through Spoken Tutorials to Promote and use OpenModelica. Modelica 2017: 132:029 - 2016
- [j31]Xiaolin Qin
, Juan Tang
, Yong Feng, Bernhard Bachmann
, Peter Fritzson:
Efficient index reduction algorithm for large scale systems of differential algebraic equations. Appl. Math. Comput. 277: 10-22 (2016) - [c85]Peter Gorm Larsen
, John S. Fitzgerald
, Jim Woodcock
, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte
, Markus Pfeil, Ole Green, Stylianos Basagiannis
, Andrey Sadovykh
:
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data 2016: 1-6 - [c84]Peter Fritzson:
Model-based development of sustainable cyber-physical systems including requirement formalization using the openModelica model-based development toolkit. ECSA Workshops 2016: 6 - [c83]Alfredo Garro
, Andrea Tundis
, Daniel Bouskela, Audrey Jardin
, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson:
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. ISSE 2016: 1-8 - 2015
- [j30]Lena Buffoni, Peter Fritzson:
Expressing Requirements in Modelica. Simul. Notes Eur. 25(3-4): 185-189 (2015) - [j29]Kristian Stavåker, Peter Fritzson, Chen Song, Martin Wlotzka, Vincent Heuveline:
PDE Modeling with Modelica via FMI Import of HiFlow3 C++ Components with Parallel Multi-core Simulations. Simul. Notes Eur. 25(3-4): 191-197 (2015) - [j28]Roland Samlaus, Peter Fritzson:
Semantic validation of physical models using role models. Simul. 91(4): 383-399 (2015) - [i2]Xiaolin Qin, Lu Yang, Yong Feng, Bernhard Bachmann, Peter Fritzson:
Index reduction of differential algebraic equations by differential algebraic elimination. CoRR abs/1504.04977 (2015) - [i1]Xiaolin Qin, Juan Tang, Yong Feng, Bernhard Bachmann, Peter Fritzson:
Efficient algorithm for computing large scale systems of differential algebraic equations. CoRR abs/1506.03963 (2015) - 2014
- [j27]Lena Rogovchenko-Buffoni, Andrea Tundis
, Muhammed Zoheb Hossain, Mattias Nyberg, Peter Fritzson:
An integrated toolchain for model based functional safety analysis. J. Comput. Sci. 5(3): 408-414 (2014) - [j26]Kristian Stavåker, Staffan Ronnås, Martin Wlotzka, Vincent Heuveline, Peter Fritzson:
PDE Modeling with Modelica via FMI Import of HiFlow3 C++ Components. Simul. Notes Eur. 24(1): 11-20 (2014) - [c82]Mahder Gebremedhin, Peter Fritzson:
Automatic task based analysis and parallelization in the context of equation based languages. EOOLT 2014: 49-52 - 2013
- [j25]Erik Dahlquist, Elena T. Aparicio, Hailong Li, Peter Fritzson, Per Östlund:
Comparison Open Modelica - Dymola for Power Plant Simulation. Simul. Notes Eur. 23(3-4): 139-146 (2013) - [j24]Arash Moradinegade Dizqah
, Krishna Busawon, Peter Fritzson:
Acausal Modeling and Simulation of the Standalone Solar Power Systems as Hybrid DAEs. Simul. Notes Eur. 23(3-4): 171-178 (2013) - [j23]Wladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis:
Translation of UML state machines to Modelica: Handling semantic issues. Simul. 89(4): 498-512 (2013) - [c81]Lena Rogovchenko-Buffoni, Andrea Tundis, Peter Fritzson, Alfredo Garro:
Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches. EOOLT 2013: 15-24 - [c80]Alachew Shitahun, Vitalij Ruge, Mahder Gebremedhin, Bernhard Bachmann, Lars Eriksson, Joel Andersson, Moritz Diehl, Peter Fritzson:
Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization. EOOLT 2013: 107-108 - [c79]Adeel Asghar, Peter Fritzson:
Tool Demonstration Abstract: OpenModelica Graphical Editor and Debugger. EOOLT 2013: 109-110 - [c78]Anders Anderson, Peter Fritzson:
Models for Distributed Real-Time Simulation in a Vehicle Co-Simulator Setup. EOOLT 2013: 131-139 - [c77]Arash Moradinegade Dizqah
, Alireza Maheri
, Krishna Busawon, Peter Fritzson:
Acausal Modelling and Dynamic Simulation of the Standalone Wind-Solar Plant Using Modelica. UKSim 2013: 580-585 - 2012
- [c76]David Broman, Peter Fritzson, Görel Hedin, Johan Åkesson:
A comparison of two metacompilation approaches to implementing a complex domain-specific language. SAC 2012: 1919-1921 - [c75]Wladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle:
ModelicaML value bindings for automated model composition. SpringSim (TMS-DEVS) 2012: 31 - 2011
- [j22]Toby Myers, R. Geoff Dromey, Peter Fritzson:
Comodeling: From Requirements to an Integrated Software/Hardware Model. Computer 44(4): 62-70 (2011) - [c74]Wuzhu Chen, Michaela Huhn, Peter Fritzson:
A Generic FMU Interface for Modelica. EOOLT 2011: 19-24 - [c73]Martin Sjölund, Peter Fritzson:
Debugging Symbolic Transformations in Equation Systems. EOOLT 2011: 67-74 - [c72]Toby Myers, Wladimir Schamai, Peter Fritzson:
Comodeling Revisited: Execution of Behavior Trees in Modelica. EOOLT 2011: 97-106 - [c71]Peter Fritzson:
Modelica - A cyber-physical modeling language and the OpenModelica environment. IWCMC 2011: 1648-1653 - [e5]François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee:
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011. Linköping Electronic Conference Proceedings 56, Linköping University Electronic Press 2011 [contents] - 2010
- [c70]Christoph W. Kessler, Wladimir Schamai, Peter Fritzson:
Platform-independent modeling of explicitly parallel programs. ARCS Workshops 2010: 83-94 - [c69]Wladimir Schamai, Uwe Pohlmann, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle, Carsten Strobel:
Execution of UMLState Machines Using Modelica. EOOLT 2010: 1-10 - [c68]Martin Sjölund, Robert Braun, Peter Fritzson, Petter Krus:
Towards Efficient Distributed Simulation in Modelica using Transmission Line Modeling. EOOLT 2010: 71-80 - [c67]Kristian Stavåker, Daniel Rolls, Jing Guo, Peter Fritzson, Sven-Bodo Scholz:
Compilation of Modelica Array Computations into Single Assignment C for Efficient Execution on CUDA-enabled GPUs. EOOLT 2010: 81-90 - [c66]Wladimir Schamai, Philipp Helle, Peter Fritzson, Christiaan J. J. Paredis:
Virtual Verification of System Designs against System Requirements. MoDELS (Workshops) 2010: 75-89 - [c65]Peter Fritzson, Edward A. Lee
, François E. Cellier, David Broman:
Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. MoDELS (Workshops) 2010: 140-144 - [c64]Peter Fritzson:
The Modelica Object-Oriented Equation-Based Language and Its OpenModelica Environment with MetaModeling, Interoperability, and Parallel Execution. SIMPAR 2010: 5-14 - [e4]Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman:
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010. Linköping Electronic Conference Proceedings 47, Linköping University Electronic Press 2010 [contents]
2000 – 2009
- 2009
- [j21]David Broman, Peter Fritzson:
High-Order Acausal Models. Simul. Notes Eur. 19(1): 5-16 (2009) - [c63]Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson:
Formal Semantics Based Translator Generation and Tool Development in Practice. Australian Software Engineering Conference 2009: 256-266 - 2008
- [j20]Håkan Lundvall, Kristian Stavåker, Peter Fritzson, Christoph W. Kessler:
Automatic parallelization of simulation code for equation-based models with software pipelining and measurements on three platforms. SIGARCH Comput. Archit. News 36(5): 46-55 (2008) - [j19]Stina Edelfeldt, Peter Fritzson:
Evaluation and comparison of models and modelling tools simulating nitrogen processes in treatment wetlands. Simul. Model. Pract. Theory 16(1): 26-49 (2008) - [c62]Jörn Guy Süß, Adrian Pop, Peter Fritzson, Luke Wildman:
Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica. Australian Software Engineering Conference 2008: 149-159 - [c61]Peter Fritzson, David Broman, François E. Cellier:
Equation-Based Object-Oriented Languages and Tools. ECOOP Workshops 2008: 18-29 - [c60]Toby Myers, Peter Fritzson, R. Geoff Dromey:
Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems. EOOLT 2008: 5-15 - [c59]Jörn Guy Süß, Peter Fritzson, Adrian Pop:
The Impreciseness of UML and Implications for ModelicaML. EOOLT 2008: 17-26 - [c58]David Broman, Peter Fritzson:
Higher-Order Acausal Models. EOOLT 2008: 59-69 - [e3]Peter Fritzson, François E. Cellier, David Broman:
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008. Linköping Electronic Conference Proceedings 29, Linköping University Electronic Press 2008 [contents] - 2007
- [c57]Peter Fritzson, David Broman, François E. Cellier, Christoph Nytsch-Geusen:
Equation-Based Object-Oriented Languages and Tools Report on the Workshop EOOLT 2007 at ECOOP 2007. ECOOP Workshops 2007: 27-39 - [c56]Adrian Pop, David Akhvlediani, Peter Fritzson:
Towards Unified System Modeling with the ModelicaML UML Profile. EOOLT 2007: 13-24 - [c55]David Broman, Peter Fritzson:
Abstract Syntax Can Make the Definition of Modelica Less Abstract. EOOLT 2007: 111-126 - [c54]Bernhard Bachmann, Peter Aronsson, Peter Fritzson:
Robust Initialization of Differential Algebraic Equations. EOOLT 2007: 151-163 - [c53]Håkan Lundvall, Peter Fritzson:
Automatic Parallelization of Object Oriented Models Executed with Inline Solvers. PVM/MPI 2007: 365-372 - [e2]Peter Fritzson, François E. Cellier, Christoph Nytsch-Geusen:
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2007, Berlin, Germany, July 30, 2007. Linköping Electronic Conference Proceedings 24, Linköping University Electronic Press 2007 [contents] - 2006
- [c52]David Broman, Kaj Nyström, Peter Fritzson:
Determining over- and under-constrained systems of equations using structural constraint delta. GPCE 2006: 151-160 - [c51]Adrian Pop, Peter Fritzson:
MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language. JMLC 2006: 211-229 - [c50]Christoph W. Kessler, Peter Fritzson, Mattias V. Eriksson:
NestStepModelica - Mathematical Modeling and Bulk-Synchronous Parallel Simulation. PARA 2006: 1006-1015 - [c49]Adrian Pop, Peter Fritzson:
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications. SOS@CONCUR 2006: 71-75 - 2005
- [c48]Adrian Pop, Peter Fritzson:
Debugging natural semantics specifications. AADEBUG 2005: 77-82 - 2004
- [j18]Todd R. Reed, Nancy E. Reed, Peter Fritzson:
Heart sound analysis for symptom detection and computer-aided diagnosis. Simul. Model. Pract. Theory 12(2): 129-146 (2004) - [j17]Peter Bunus, Peter Fritzson:
Automated Static Analysis of Equation-Based Components. Simul. 80(7-8): 321-345 (2004) - [c47]Adrian Pop, Ilie Savga, Uwe Aßmann
, Peter Fritzson:
Composition of XML Dialects: A ModelicaXML Case Study. SC 2004: 137-152 - 2003
- [j16]K. Sheshadri, Peter Fritzson:
A general symbolic PDE solver generator: Explicit schemes. Sci. Program. 11(1): 39-55 (2003) - [j15]K. Sheshadri, Peter Fritzson:
A general symbolic PDE solver generator: Beyond explicit schemes. Sci. Program. 11(3): 225-235 (2003) - [c46]Peter Bunus, Peter Fritzson:
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. ASE 2003: 253-258 - 2002
- [c45]Peter Fritzson, Peter Bunus:
Modelica-A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation. Annual Simulation Symposium 2002: 365-380 - [c44]Tobias Ritzau, Peter Fritzson:
Decreasing Memory Overhead in Hard Real-Time Garbage Collection. EMSOFT 2002: 213-226 - [c43]Peter Bunus, Peter Fritzson:
A Debugging Scheme for Declarative Equation Based Modeling Languages. PADL 2002: 280-298 - [c42]Peter Bunus, Peter Fritzson:
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages. SCAM 2002: 163-172 - [c41]Vadim Engelson, Dag Fritzson, Peter Fritzson:
Automatic Generation of Graphical User Interface from C++ Data Structures. TAMODIA 2002: 72-77 - 2000
- [c40]Vadim Engelson, Dag Fritzson, Peter Fritzson:
Lossless Compression of High-Volume Numerical Data from Simulations. Data Compression Conference 2000: 574
1990 – 1999
- 1999
- [c39]Vadim Engelson, Hakan Larsson, Peter Fritzson:
A Design, Simulation and Visualization Environment for Object-Oriented Mechanical and Multi-Domain Models in Modelica. IV 1999: 188-193 - 1998
- [c38]Peter Fritzson, Vadim Engelson:
Modelica - A Unified Object-Oriented Language for System Modelling and Simulation. ECOOP 1998: 67-90 - [c37]Peter Fritzson:
Modelica - A Language for Equation-Based Physical Modeling and High Performance Simulation. PARA 1998: 149-160 - 1997
- [j14]Dag Fritzson, Peter Fritzson, Patrik Nordling, Tommy Persson:
Rolling Bearing Simulation On Mimd Computers. Int. J. High Perform. Comput. Appl. 11(4): 299-313 (1997) - 1996
- [j13]Mikhail Auguston, Peter Fritzson:
Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. Int. J. Softw. Eng. Knowl. Eng. 6(4): 609-640 (1996) - [j12]Niclas Andersson, Peter Fritzson:
Overview and industrial application of code generator generators. J. Syst. Softw. 32(3): 185-214 (1996) - [c36]Peter Fritzson, Roland Wismüller, Olav Hansen, Jonas Sala, Peter Skov:
A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes. CC 1996: 341-355 - [c35]Vadim Engelson, Dag Fritzson, Peter Fritzson:
Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models. ECOOP 1996: 114-141 - [c34]Olav Hansen, Peter Fritzson:
A Performance Analyzer for a Parallel Real-Time Functional Language. HICSS (1) 1996: 479-477 - [c33]Tommy Persson, Peter Fritzson:
Parallel Implementation of Image Reconstruction for the CARABAS Long-Wave Penetrating Radar. HPCN Europe 1996: 327-332 - [c32]Kent Engström, Erik Reitsma, Peter Fritzson:
Benchmarking an Intelligent Network Prototype Implemented in Parallel Erlang. HPCN Europe 1996: 905-906 - [c31]Mariam Kamkar, Patrik Krajina, Peter Fritzson:
Dynamic Slicing of Parallel Message-Passing Programs. PDP 1996: 170-178 - 1995
- [j11]Nahid Shahmehri, Mariam Kamkar, Peter Fritzson:
Usability criteria for automated debugging systems. J. Syst. Softw. 31(1): 55-70 (1995) - [j10]Peter Fritzson, Lars Viklund, Johan Herber, Dag Fritzson:
High-level Mathematical Modeling And Programming. IEEE Softw. 12(4): 77-87 (1995) - [j9]Lars Viklund, Peter Fritzson:
ObjectMath - An Object-Oriented Language and Environment for Symbolic and Numerical Processing in Scientific Computing. Sci. Program. 4(4): 229-250 (1995) - [c30]Tommy Hoffner, Mariam Kamkar, Peter Fritzson:
Evaluation of Program Slicing tools. AADEBUG 1995: 51-69 - [c29]Beshar Zuhdy, Peter Fritzson, Kent Engström:
Implementation of the real-time functional language Erlang on a massively parallel platform, with applications to telecommunications services. HPCN Europe 1995: 886-891 - [c28]Patrik Nordling, Peter Fritzson:
Parallelisation of the CVODE ordinary differential equation solver with applications to rolling bearing simulation. HPCN Europe 1995: 892-897 - [c27]Niclas Andersson, Peter Fritzson:
Generating Parallel Code from Object Oriented Mathematical Models. PPoPP 1995: 48-57 - 1994
- [j8]Henrik Nilsson
, Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages. J. Funct. Program. 4(3): 337-369 (1994) - [j7]Peter Fritzson, Mikhail Auguston, Nahid Shahmehri:
Using assertions in declarative and operational models for automated debugging. J. Syst. Softw. 25(3): 223-239 (1994) - [c26]Johan Ringström, Peter Fritzson, Mikael Pettersson:
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. CC 1994: 248-262 - [c25]Patrik Nordling, Peter Fritzson:
Solving Ordinary Differential Equations on Parallel Computers - Applied to Dynamic Rolling Bearings Simulation. PARA 1994: 397-415 - [e1]Peter Fritzson:
Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings. Lecture Notes in Computer Science 786, Springer 1994, ISBN 3-540-57877-3 [contents] - 1993
- [j6]Mariam Kamkar, Peter Fritzson, Nahid Shahmehri:
Three approaches to interprocedural dynamic slicing. Microprocess. Microprogramming 38(1-5): 625-636 (1993) - [c24]Nahid Shahmehri, Mariam Kamkar, Peter Fritzson:
Usability Criteria for Automated Debugging Systems. AADEBUG 1993: 16-39 - [c23]Henrik Nilsson, Peter Fritzson:
Lazy Algorithmic Debugging: Ideas for Practical Implementation. AADEBUG 1993: 117-134 - [c22]Rickard Westman, Peter Fritzson:
Graphical User Interfaces for Algorithmic Debugging. AADEBUG 1993: 273-286 - [c21]Peter Fritzson, Niclas Andersson:
Generating Parallel Code from Equations in the ObjectMath Programming Environments. ACPC 1993: 219-232 - [c20]Peter Fritzson, Vadim Engelson, Lars Viklund:
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment. DISCO 1993: 145-163 - [c19]Mariam Kamkar, Peter Fritzson, Nahid Shahmehri:
Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing. ICSM 1993: 386-395 - [c18]Mikhail Auguston, Peter Fritzson:
PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications. PDP 1993: 150-157 - 1992
- [j5]Johan Ringström, Peter Fritzson, Johan Fagerström:
PREDULA a multi-paradigm parallel programming and debugging environment. Microprocess. Microprogramming 34(1-5): 45-48 (1992) - [j4]Petr Kroha, Peter Fritzson:
Software features of an extended single instruction machine. Microprocess. Microprogramming 34(1-5): 109-112 (1992) - [j3]Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, Tibor Gyimóthy
:
Generalized Algorithmic Debugging and Testing. LOPLAS 1(4): 303-322 (1992) - [c17]