![]() | ![]() |
| 2011 | ||
|---|---|---|
| 94 | 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 University Electronic Press 2011 | |
| 93 | Wuzhu Chen, Michaela Huhn, Peter Fritzson: A Generic FMU Interface for Modelica. EOOLT 2011: 19-24 | |
| 92 | Martin Sjölund, Peter Fritzson: Debugging Symbolic Transformations in Equation Systems. EOOLT 2011: 67-74 | |
| 91 | Toby Myers, Wladimir Schamai, Peter Fritzson: Comodeling Revisited: Execution of Behavior Trees in Modelica. EOOLT 2011: 97-106 | |
| 90 | Peter Fritzson: Modelica - A cyber-physical modeling language and the OpenModelica environment. IWCMC 2011: 1648-1653 | |
| 89 | Toby Myers, R. Geoff Dromey, Peter Fritzson: Comodeling: From Requirements to an Integrated Software/Hardware Model. IEEE Computer 44(4): 62-70 (2011) | |
| 2010 | ||
| 88 | 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 University Electronic Press 2010 | |
| 87 | Christoph W. Kessler, Wladimir Schamai, Peter Fritzson: Platform-independent modeling of explicitly parallel programs. ARCS Workshops 2010: 83-94 | |
| 86 | Wladimir Schamai, Uwe Pohlmann, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle, Carsten Strobel: Execution of UMLState Machines Using Modelica. EOOLT 2010: 1-10 | |
| 85 | Martin Sjölund, Robert Braun, Peter Fritzson, Petter Krus: Towards Efficient Distributed Simulation in Modelica using Transmission Line Modeling. EOOLT 2010: 71-80 | |
| 84 | 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 | |
| 83 | 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 | |
| 82 | Wladimir Schamai, Philipp Helle, Peter Fritzson, Christiaan J. J. Paredis: Virtual Verification of System Designs against System Requirements. MoDELS Workshops 2010: 75-89 | |
| 81 | Peter Fritzson: The Modelica Object-Oriented Equation-Based Language and Its OpenModelica Environment with MetaModeling, Interoperability, and Parallel Execution. SIMPAR 2010: 5-14 | |
| 2009 | ||
| 80 | 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 | ||
| 79 | 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 University Electronic Press 2008 | |
| 78 | 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 | |
| 77 | Peter Fritzson, David Broman, François E. Cellier: Equation-Based Object-Oriented Languages and Tools. ECOOP Workshops 2008: 18-29 | |
| 76 | Jörn Guy Süß, Peter Fritzson, Adrian Pop: The Impreciseness of UML and Implications for ModelicaML. EOOLT 2008: 17-26 | |
| 75 | Toby Myers, Peter Fritzson, R. Geoff Dromey: Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems. EOOLT 2008: 5-15 | |
| 74 | David Broman, Peter Fritzson: Higher-Order Acausal Models. EOOLT 2008: 59-69 | |
| 73 | 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 Computer Architecture News 36(5): 46-55 (2008) | |
| 72 | 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 | ||
| 71 | 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 University Electronic Press 2007 | |
| 70 | 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 | |
| 69 | David Broman, Peter Fritzson: Abstract Syntax Can Make the Definition of Modelica Less Abstract. EOOLT 2007: 111-126 | |
| 68 | Adrian Pop, David Akhvlediani, Peter Fritzson: Towards Unified System Modeling with the ModelicaML UML Profile. EOOLT 2007: 13-24 | |
| 67 | Bernhard Bachmann, Peter Aronsson, Peter Fritzson: Robust Initialization of Differential Algebraic Equations. EOOLT 2007: 151-163 | |
| 66 | Håkan Lundvall, Peter Fritzson: Automatic Parallelization of Object Oriented Models Executed with Inline Solvers. PVM/MPI 2007: 365-372 | |
| 65 | 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 | ||
| 64 | David Broman, Kaj Nyström, Peter Fritzson: Determining over- and under-constrained systems of equations using structural constraint delta. GPCE 2006: 151-160 | |
| 63 | Adrian Pop, Peter Fritzson: MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language. JMLC 2006: 211-229 | |
| 62 | Christoph W. Kessler, Peter Fritzson, Mattias V. Eriksson: NestStepModelica - Mathematical Modeling and Bulk-Synchronous Parallel Simulation. PARA 2006: 1006-1015 | |
| 2005 | ||
| 61 | Adrian Pop, Peter Fritzson: Debugging natural semantics specifications. AADEBUG 2005: 77-82 | |
| 60 | 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 | ||
| 59 | Peter Bunus, Peter Fritzson: Automated Static Analysis of Equation-Based Components. Simulation 80(7-8): 321-345 (2004) | |
| 58 | 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 | ||
| 57 | Peter Bunus, Peter Fritzson: Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. ASE 2003: 253-258 | |
| 56 | K. Sheshadri, Peter Fritzson: A general symbolic PDE solver generator: Explicit schemes . Scientific Programming 11(1): 39-55 (2003) | |
| 55 | K. Sheshadri, Peter Fritzson: A general symbolic PDE solver generator: Beyond explicit schemes. Scientific Programming 11(3): 225-235 (2003) | |
| 2002 | ||
| 54 | 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 | |
| 53 | Tobias Ritzau, Peter Fritzson: Decreasing Memory Overhead in Hard Real-Time Garbage Collection. EMSOFT 2002: 213-226 | |
| 52 | Peter Bunus, Peter Fritzson: A Debugging Scheme for Declarative Equation Based Modeling Languages. PADL 2002: 280-298 | |
| 51 | Peter Bunus, Peter Fritzson: Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages. SCAM 2002: 163-172 | |
| 50 | Vadim Engelson, Dag Fritzson, Peter Fritzson: Automatic Generation of Graphical User Interface from C++ Data Structures. TAMODIA 2002: 72-77 | |
| 2000 | ||
| 49 | Vadim Engelson, Dag Fritzson, Peter Fritzson: Lossless Compression of High-Volume Numerical Data from Simulations. Data Compression Conference 2000: 574 | |
| 1999 | ||
| 48 | 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 | ||
| 47 | Peter Fritzson, Vadim Engelson: Modelica - A Unified Object-Oriented Language for System Modelling and Simulation. ECOOP 1998: 67-90 | |
| 46 | Peter Fritzson: Modelica - A Language for Equation-Based Physical Modeling and High Performance Simulation. PARA 1998: 149-160 | |
| 1996 | ||
| 45 | 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 | |
| 44 | Vadim Engelson, Dag Fritzson, Peter Fritzson: Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models. ECOOP 1996: 114-141 | |
| 43 | Olav Hansen, Peter Fritzson: A Performance Analyzer for a Parallel Real-Time Functional Language. HICSS (1) 1996: 479-477 | |
| 42 | Tommy Persson, Peter Fritzson: Parallel Implementation of Image Reconstruction for the CARABAS Long-Wave Penetrating Radar. HPCN Europe 1996: 327-332 | |
| 41 | Kent Engström, Erik Reitsma, Peter Fritzson: Benchmarking an Intelligent Network Prototype Implemented in Parallel Erlang. HPCN Europe 1996: 905-906 | |
| 40 | Mariam Kamkar, Patrik Krajina, Peter Fritzson: Dynamic Slicing of Parallel Message-Passing Programs. PDP 1996: 170-178 | |
| 39 | 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) | |
| 38 | Niclas Andersson, Peter Fritzson: Overview and industrial application of code generator generators. Journal of Systems and Software 32(3): 185-214 (1996) | |
| 1995 | ||
| 37 | Tommy Hoffner, Mariam Kamkar, Peter Fritzson: Evaluation of Program Slicing tools. AADEBUG 1995: 51-69 | |
| 36 | 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 | |
| 35 | Patrik Nordling, Peter Fritzson: Parallelisation of the CVODE ordinary differential equation solver with applications to rolling bearing simulation. HPCN Europe 1995: 892-897 | |
| 34 | Niclas Andersson, Peter Fritzson: Generating Parallel Code from Object Oriented Mathematical Models. PPOPP 1995: 48-57 | |
| 33 | Peter Fritzson, Lars Viklund, Johan Herber, Dag Fritzson: High-level Mathematical Modeling And Programming. IEEE Software 12(4): 77-87 (1995) | |
| 32 | Nahid Shahmehri, Mariam Kamkar, Peter Fritzson: Usability criteria for automated debugging systems. Journal of Systems and Software 31(1): 55-70 (1995) | |
| 31 | 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 | ||
| 30 | Peter Fritzson: Compiler Construction, 5th International Conference, CC'94, Edinburgh, U.K., April 7-9, 1994, Proceedings Springer 1994 | |
| 29 | Johan Ringström, Peter Fritzson, Mikael Pettersson: Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. CC 1994: 248-262 | |
| 28 | Patrik Nordling, Peter Fritzson: Solving Ordinary Differential Equations on Parallel Computers - Applied to Dynamic Rolling Bearings Simulation. PARA 1994: 397-415 | |
| 27 | Henrik Nilsson, Peter Fritzson: Algorithmic Debugging for Lazy Functional Languages. J. Funct. Program. 4(3): 337-369 (1994) | |
| 26 | 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 | ||
| 25 | Henrik Nilsson, Peter Fritzson: Lazy Algorithmic Debugging: Ideas for Practical Implementation. AADEBUG 1993: 117-134 | |
| 24 | Nahid Shahmehri, Mariam Kamkar, Peter Fritzson: Usability Criteria for Automated Debugging Systems. AADEBUG 1993: 16-39 | |
| 23 | Rickard Westman, Peter Fritzson: Graphical User Interfaces for Algorithmic Debugging. AADEBUG 1993: 273-286 | |
| 22 | Peter Fritzson, Niclas Andersson: Generating Parallel Code from Equations in the ObjectMath Programming Environments. ACPC 1993: 219-232 | |
| 21 | Peter Fritzson, Vadim Engelson, Lars Viklund: Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment. DISCO 1993: 145-163 | |
| 20 | Mariam Kamkar, Peter Fritzson, Nahid Shahmehri: Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing. ICSM 1993: 386-395 | |
| 19 | Mariam Kamkar, Peter Fritzson, Nahid Shahmehri: Three approaches to interprocedural dynamic slicing. Microprocessing and Microprogramming 38(1-5): 625-636 (1993) | |
| 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 | 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 | 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 | 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 | 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) | |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page