2008 |
67 | EE | 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 |
66 | EE | Stina Edelfeldt,
Peter Fritzson:
Evaluation and comparison of models and modelling tools simulating nitrogen processes in treatment wetlands.
Simulation Modelling Practice and Theory 16(1): 26-49 (2008) |
2007 |
65 | EE | Peter Fritzson,
David Broman,
François 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 |
64 | EE | Håkan Lundvall,
Peter Fritzson:
Automatic Parallelization of Object Oriented Models Executed with Inline Solvers.
PVM/MPI 2007: 365-372 |
63 | EE | Adrian Pop,
Peter Fritzson:
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications.
Electr. Notes Theor. Comput. Sci. 175(1): 71-75 (2007) |
2006 |
62 | EE | David Broman,
Kaj Nyström,
Peter Fritzson:
Determining over- and under-constrained systems of equations using structural constraint delta.
GPCE 2006: 151-160 |
61 | EE | Adrian Pop,
Peter Fritzson:
MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language.
JMLC 2006: 211-229 |
60 | EE | Christoph W. Kessler,
Peter Fritzson,
Mattias V. Eriksson:
NestStepModelica - Mathematical Modeling and Bulk-Synchronous Parallel Simulation.
PARA 2006: 1006-1015 |
2005 |
59 | EE | Adrian Pop,
Peter Fritzson:
Debugging natural semantics specifications.
AADEBUG 2005: 77-82 |
58 | EE | Adrian Pop,
Ilie Savga,
Uwe Aßmann,
Peter Fritzson:
Composition of XML Dialects: A ModelicaXML Case Study.
Electr. Notes Theor. Comput. Sci. 114: 137-152 (2005) |
2004 |
57 | EE | Todd R. Reed,
Nancy E. Reed,
Peter Fritzson:
Heart sound analysis for symptom detection and computer-aided diagnosis.
Simulation Modelling Practice and Theory 12(2): 129-146 (2004) |
2003 |
56 | EE | Peter Bunus,
Peter Fritzson:
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models.
ASE 2003: 253-258 |
55 | | K. Sheshadri,
Peter Fritzson:
A general symbolic PDE solver generator: Explicit schemes .
Scientific Programming 11(1): 39-55 (2003) |
54 | | K. Sheshadri,
Peter Fritzson:
A general symbolic PDE solver generator: Beyond explicit schemes.
Scientific Programming 11(3): 225-235 (2003) |
2002 |
53 | EE | 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 |
52 | EE | Tobias Ritzau,
Peter Fritzson:
Decreasing Memory Overhead in Hard Real-Time Garbage Collection.
EMSOFT 2002: 213-226 |
51 | EE | Peter Bunus,
Peter Fritzson:
A Debugging Scheme for Declarative Equation Based Modeling Languages.
PADL 2002: 280-298 |
50 | EE | Peter Bunus,
Peter Fritzson:
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages.
SCAM 2002: 163-172 |
49 | | Vadim Engelson,
Dag Fritzson,
Peter Fritzson:
Automatic Generation of Graphical User Interface from C++ Data Structures.
TAMODIA 2002: 72-77 |
2000 |
48 | EE | Vadim Engelson,
Dag Fritzson,
Peter Fritzson:
Lossless Compression of High-Volume Numerical Data from Simulations.
Data Compression Conference 2000: 574 |
1999 |
47 | EE | 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 |
46 | EE | Peter Fritzson,
Vadim Engelson:
Modelica - A Unified Object-Oriented Language for System Modelling and Simulation.
ECOOP 1998: 67-90 |
45 | | Peter Fritzson:
Modelica - A Language for Equation-Based Physical Modeling and High Performance Simulation.
PARA 1998: 149-160 |
1996 |
44 | | 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 |
43 | EE | Vadim Engelson,
Dag Fritzson,
Peter Fritzson:
Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models.
ECOOP 1996: 114-141 |
42 | EE | Olav Hansen,
Peter Fritzson:
A Performance Analyzer for a Parallel Real-Time Functional Language.
HICSS (1) 1996: 479-477 |
41 | | Tommy Persson,
Peter Fritzson:
Parallel Implementation of Image Reconstruction for the CARABAS Long-Wave Penetrating Radar.
HPCN Europe 1996: 327-332 |
40 | | Kent Engström,
Erik Reitsma,
Peter Fritzson:
Benchmarking an Intelligent Network Prototype Implemented in Parallel Erlang.
HPCN Europe 1996: 905-906 |
39 | EE | Mariam Kamkar,
Patrik Krajina,
Peter Fritzson:
Dynamic Slicing of Parallel Message-Passing Programs.
PDP 1996: 170-178 |
38 | EE | Mikhail Auguston,
Peter Fritzson:
Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications.
International Journal of Software Engineering and Knowledge Engineering 6(4): 609-640 (1996) |
37 | EE | Niclas Andersson,
Peter Fritzson:
Overview and industrial application of code generator generators.
Journal of Systems and Software 32(3): 185-214 (1996) |
1995 |
36 | | Tommy Hoffner,
Mariam Kamkar,
Peter Fritzson:
Evaluation of Program Slicing tools.
AADEBUG 1995: 51-69 |
35 | | 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 |
34 | | Patrik Nordling,
Peter Fritzson:
Parallelisation of the CVODE ordinary differential equation solver with applications to rolling bearing simulation.
HPCN Europe 1995: 892-897 |
33 | | Niclas Andersson,
Peter Fritzson:
Generating Parallel Code from Object Oriented Mathematical Models.
PPOPP 1995: 48-57 |
32 | EE | Peter Fritzson,
Lars Viklund,
Johan Herber,
Dag Fritzson:
High-level Mathematical Modeling And Programming.
IEEE Software 12(4): 77-87 (1995) |
31 | EE | Nahid Shahmehri,
Mariam Kamkar,
Peter Fritzson:
Usability criteria for automated debugging systems.
Journal of Systems and Software 31(1): 55-70 (1995) |
30 | EE | Lars Viklund,
Peter Fritzson:
ObjectMath - An Object-Oriented Language and Environment for Symbolic and Numerical Processing in Scientific Computing.
Scientific Programming 4(4): 229-250 (1995) |
1994 |
29 | | Peter Fritzson:
Compiler Construction, 5th International Conference, CC'94, Edinburgh, U.K., April 7-9, 1994, Proceedings
Springer 1994 |
28 | | Johan Ringström,
Peter Fritzson,
Mikael Pettersson:
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.
CC 1994: 248-262 |
27 | | Patrik Nordling,
Peter Fritzson:
Solving Ordinary Differential Equations on Parallel Computers - Applied to Dynamic Rolling Bearings Simulation.
PARA 1994: 397-415 |
26 | | Henrik Nilsson,
Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages.
J. Funct. Program. 4(3): 337-369 (1994) |
25 | EE | Peter Fritzson,
Mikhail Auguston,
Nahid Shahmehri:
Using assertions in declarative and operational models for automated debugging.
Journal of Systems and Software 25(3): 223-239 (1994) |
1993 |
24 | | Henrik Nilsson,
Peter Fritzson:
Lazy Algorithmic Debugging: Ideas for Practical Implementation.
AADEBUG 1993: 117-134 |
23 | | Nahid Shahmehri,
Mariam Kamkar,
Peter Fritzson:
Usability Criteria for Automated Debugging Systems.
AADEBUG 1993: 16-39 |
22 | | Rickard Westman,
Peter Fritzson:
Graphical User Interfaces for Algorithmic Debugging.
AADEBUG 1993: 273-286 |
21 | | Peter Fritzson,
Niclas Andersson:
Generating Parallel Code from Equations in the ObjectMath Programming Environments.
ACPC 1993: 219-232 |
20 | | Peter Fritzson,
Vadim Engelson,
Lars Viklund:
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment.
DISCO 1993: 145-163 |
19 | | Mariam Kamkar,
Peter Fritzson,
Nahid Shahmehri:
Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing.
ICSM 1993: 386-395 |
1992 |
18 | | Lars Viklund,
Johan Herber,
Peter Fritzson:
The Implementation of ObjectMath - a High-Level Programming Environment for Scientific Computing.
CC 1992: 312-318 |
17 | | Johan Fagerström,
Peter Fritzson,
Johan Ringström,
Mikael Pettersson:
A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language.
ICCI 1992: 133-134 |
16 | EE | Mikael Pettersson,
Peter Fritzson:
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.
ICCL 1992: 127-136 |
15 | EE | Lars Viklund,
Peter Fritzson:
An Object-Oriented Language for Symbolic Computation - Applied to Machine Element Analysis.
ISSAC 1992: 397-405 |
14 | | Mariam Kamkar,
Nahid Shahmehri,
Peter Fritzson:
Interprocedural Dynamic Slicing.
PLILP 1992: 370-384 |
13 | | Henrik Nilsson,
Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages.
PLILP 1992: 385-399 |
12 | | Peter Fritzson,
Lars Viklund,
Johan Herber,
Dag Fritzson:
Industrial Application of OO Mathematical Modeling and Computer Algebra in Mechanical Analysis.
TOOLS (7) 1992: 167-181 |
11 | | Peter Fritzson,
Nahid Shahmehri,
Mariam Kamkar,
Tibor Gyimóthy:
Generalized Algorithmic Debugging and Testing.
LOPLAS 1(4): 303-322 (1992) |
1991 |
10 | | Peter Fritzson,
Tibor Gyimóthy,
Mariam Kamkar,
Nahid Shahmehri:
Generalized Algorithmic Debugging and Testing.
PLDI 1991: 317-326 |
1990 |
9 | | Petr Kroha,
Peter Fritzson:
A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System.
CC 1990: 132-146 |
8 | | Nahid Shahmehri,
Peter Fritzson:
Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract).
CC 1990: 226-227 |
7 | | Mariam Kamkar,
Nahid Shahmehri,
Peter Fritzson:
Bug Localization by Algorithmic Debugging and Program Slicing.
PLILP 1990: 60-74 |
1988 |
6 | | Peter Fritzson:
Incremental Symbol Processing.
CC 1988: 11-38 |
5 | | Rober Bilos,
Peter Fritzson:
Experience from a Token Sequence Representation of Programs, Documents, and their Deltas.
SCM 1988: 430-433 |
4 | EE | Mariam Kamkar,
Nahid Shahmehri,
Peter Fritzson:
Affect-Chaining and Dependency Oriented Flow Analysis Applied to Queries of Programs.
SIGSMALL/PC 1988: 36-44 |
1984 |
3 | | Peter Fritzson:
Preliminary Experience from the DICE System, A Distributed Incremental Compiling Environment.
Software Development Environments (SDE) 1984: 113-123 |
1983 |
2 | EE | Peter Fritzson:
Symbolic debugging through incremental compilation in an integrated environment.
Journal of Systems and Software 3(4): 285-294 (1983) |
1980 |
1 | | Dan Strömberg,
Peter Fritzson:
Transfer of Programs from Development to Runtime Environments.
BIT 20(4): 434-442 (1980) |