The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Fritzson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  62. Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica. [Citation Graph (, )][DBLP]


  63. Formal Semantics Based Translator Generation and Tool Development in Practice. [Citation Graph (, )][DBLP]


  64. Equation-Based Object-Oriented Languages and Tools Report on the Workshop EOOLT 2007 at ECOOP 2007. [Citation Graph (, )][DBLP]


  65. Equation-Based Object-Oriented Languages and Tools. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002