The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Egon Börger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Egon Börger
    A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control. [Citation Graph (1, 0)][DBLP]
    CSL, 1989, pp:36-64 [Conf]
  2. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    An ASM Semantics for UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:293-308 [Conf]
  3. Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Using Abstract State Machines at Microsoft: A Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:367-379 [Conf]
  4. Tommaso Bolognesi, Egon Börger
    Abstract State Processes. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:22-32 [Conf]
  5. Egon Börger
    Abstract State Machines at the Cusp of the Millenium. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:1-8 [Conf]
  6. Egon Börger, Tommaso Bolognesi
    Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:218-228 [Conf]
  7. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    Modeling the Dynamics of UML State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:223-241 [Conf]
  8. Egon Börger, Peter Päppinghaus, Joachim Schmid
    Report on a Practical Application of ASMs in Software Design. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:361-366 [Conf]
  9. Robert F. Stärk, Egon Börger
    An ASM Specification of C# Threads and the .NET Memory Model. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:38-60 [Conf]
  10. Egon Börger
    The ASM Ground Model Method as a Foundation for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:145-160 [Conf]
  11. Egon Börger
    Unsolvable Decision Problems for Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Computation Theory and Logic, 1987, pp:37-48 [Conf]
  12. Michael Altenhofen, Egon Börger, Jens Lemcke
    A High-Level Specification for Mediators(Virtual Providers). [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2005, pp:116-129 [Conf]
  13. Christoph Beierle, Egon Börger
    Correctness Proof For the WAM with Types. [Citation Graph (0, 0)][DBLP]
    CSL, 1991, pp:15-34 [Conf]
  14. Egon Börger, Dean Rosenzweig
    From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. [Citation Graph (0, 0)][DBLP]
    CSL, 1990, pp:31-66 [Conf]
  15. Egon Börger, Joachim Schmid
    Composition and Submachine Concepts for Sequential ASMs. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:41-60 [Conf]
  16. Egon Börger, Peter H. Schmitt
    A Formal Operational Semantics for Languages of Type Prolog III. [Citation Graph (0, 0)][DBLP]
    CSL, 1990, pp:67-79 [Conf]
  17. Jean-Raymond Abrial, Egon Börger, Hans Langmaack
    The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:1-12 [Conf]
  18. Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene
    Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:52-78 [Conf]
  19. Egon Börger
    Design for Reuse via Structuring Techniques for ASMs. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:20-35 [Conf]
  20. Egon Börger
    Logical Description of Computation Processes. [Citation Graph (0, 0)][DBLP]
    FCT, 1981, pp:410-424 [Conf]
  21. Egon Börger
    High Level System Design and Analysis Using Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:1-43 [Conf]
  22. Egon Börger, Robert F. Stärk
    Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:42-76 [Conf]
  23. Egon Börger
    The ASM Method for System Design and Analysis. A Tutorial Introduction. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:264-283 [Conf]
  24. Egon Börger, Giuseppe Del Castillo
    A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:145-148 [Conf]
  25. Michael Altenhofen, Egon Börger, Jens Lemcke
    An Abstract Model for Process Mediation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:81-95 [Conf]
  26. Alistair P. Barros, Egon Börger
    A Compositional Framework for Service Interaction Patterns and Interaction Flows. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:5-35 [Conf]
  27. Egon Börger, Dean Rosenzweig
    Full Prolog in a Nutshell. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:832- [Conf]
  28. Egon Börger
    Logic Programming: The Evolving Algebra Approach. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:391-395 [Conf]
  29. Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
    Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:396-401 [Conf]
  30. Egon Börger, Uwe Glässer
    A Formal Specification of the PVM Architecture. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:402-409 [Conf]
  31. Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
    A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:410-415 [Conf]
  32. Egon Börger, Wolfram Schulte
    A Programmer Friendly Modular Definition of the Semantics of Java. [Citation Graph (0, 0)][DBLP]
    Formal Syntax and Semantics of Java, 1999, pp:353-404 [Conf]
  33. Egon Börger, Dean Rosenzweig
    The Mathematics of Set Predicates in Prolog. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:1-13 [Conf]
  34. Egon Börger
    Spektralproblem and completeness of logical decision problems. [Citation Graph (0, 0)][DBLP]
    Logic and Machines, 1983, pp:333-356 [Conf]
  35. Egon Börger, Elvinia Riccobene
    Logical Operational Semantics of Parlog. Part II: Or-Parallelism. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:27-34 [Conf]
  36. Egon Börger, Dean Rosenzweig
    WAM Algebras - A Mathematical Study of Implementation, Part 2. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:35-54 [Conf]
  37. Egon Börger
    A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:1-14 [Conf]
  38. Egon Börger, Wolfram Schulte
    Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:17-35 [Conf]
  39. Egon Börger
    Modeling with Abstract State Machines: A support for accurate system design and analysis. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2004, pp:235-239 [Conf]
  40. Egon Börger, Elvinia Riccobene
    Logical Operational Semantics of Parlog, Part I: And-Parallelism. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:191-198 [Conf]
  41. Egon Börger, Bart Demoen
    A Framework to Specify Database Update Views for Prolog. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:147-158 [Conf]
  42. Egon Börger, Igor Durdanovic, Dean Rosenzweig
    Occam: Specification and Compiler Correctness - Part I: The Primary Model. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:489-508 [Conf]
  43. Egon Börger, Elvinia Riccobene, Alessandra Cavarra
    Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:1086-1091 [Conf]
  44. Egon Börger
    Why Use Evolving Algebras for Hardware and Software Engineering? [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:236-271 [Conf]
  45. Egon Börger
    A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:65-84 [Conf]
  46. Egon Börger
    Evolving Algebras for Specification of Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:5- [Conf]
  47. Egon Börger, S. Mazzanti
    A Practical Method for Rigorously Controllable Hardware Design. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:151-187 [Conf]
  48. Stal O. Anderaa, Egon Börger
    The Equivalence of Horn and Network Complexity for Boolean Functions. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:15, n:, pp:303-307 [Journal]
  49. Egon Börger
    Abstract State Machines: a unifying view of models of computation and of system design frameworks. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:149-171 [Journal]
  50. Egon Börger, Igor Durdanovic
    Correctness of Compiling Occam to Transputer Code. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1996, v:39, n:1, pp:52-92 [Journal]
  51. Egon Börger, James K. Huggins
    Abstract State Machines 1988-1998: Commented ASM Bibliography [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  52. Christoph Beierle, Egon Börger
    Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:4, pp:428-462 [Journal]
  53. Christoph Beierle, Egon Börger
    Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:5, pp:539-564 [Journal]
  54. Egon Börger
    The ASM Refinement Method. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:237-257 [Journal]
  55. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    On formalizing UML state machines using ASM. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:5, pp:287-292 [Journal]
  56. Nicu G. Fruja, Egon Börger
    Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2006, v:5, n:3, pp:5-34 [Journal]
  57. Stål Aanderaa, Egon Börger, Harry R. Lewis
    Conservative Reduction Classes of Krom Formulas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:110-130 [Journal]
  58. Egon Börger
    The Origins and the Development of the ASM Method for High Level System Design and Analysis. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2002, v:8, n:1, pp:2-74 [Journal]
  59. Egon Börger
    Ten Years of Gurevich's Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:4, pp:230-232 [Journal]
  60. Egon Börger
    JUCS Special ASM Issue, Part II - Introduction. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:5, pp:414-415 [Journal]
  61. Egon Börger, Reinhard Gotzhein
    Requirements Engineering - The Light Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:580-581 [Journal]
  62. Egon Börger, Reinhard Gotzhein
    The Light Control Case Study: A Synopsis. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:582-585 [Journal]
  63. Egon Börger, Uwe Glässer
    Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:914-916 [Journal]
  64. Egon Börger, Luca Mearelli
    Integrating ASMs into the Software Development Life Cycle. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:5, pp:603-665 [Journal]
  65. Egon Börger, Elvinia Riccobene, Joachim Schmid
    Capturing Requirements by Abstract State Machines: The Light Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:597-620 [Journal]
  66. Egon Börger, Diego Sona
    A Neural Abstract Machine. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:1006-1023 [Journal]
  67. Egon Börger, Peter H. Schmitt
    A Description of the Tableau Method Using Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:5, pp:659-681 [Journal]
  68. Egon Börger, Dean Rosenzweig
    A Mathematical Definition of Full Prolog. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:3, pp:249-286 [Journal]
  69. Egon Börger, Wolfram Schulte
    Initialization problems for Java. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 2000, v:19, n:4, pp:175-178 [Journal]
  70. Egon Börger
    Abstract state machines and high-level system design and analysis. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:205-207 [Journal]
  71. Egon Börger, Hans Kleine Büning
    The Reachability Problem for Petri Nets and Decision Problems for Skolem Arithmetic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:11, n:, pp:123-143 [Journal]
  72. Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk
    A high-level modular definition of the semantics of C#. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:235-284 [Journal]
  73. Egon Börger, Wolfram Schulte
    A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:9, pp:872-887 [Journal]
  74. Egon Börger
    The ASM Method: a Cornerstone in Computer Science Education. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:49-56 [Conf]
  75. Egon Börger
    Design Pattern Abstractions and Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:91-100 [Conf]
  76. Danièle Beauquier, Egon Börger, Anatol Slissenko
    Introduction. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:5-10 [Conf]
  77. Egon Börger
    Modeling Workflow Patterns from First Principles. [Citation Graph (0, 0)][DBLP]
    ER, 2007, pp:1-20 [Conf]
  78. Egon Börger
    Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:225-241 [Journal]

  79. Synchronous Message Passing and Semaphores: An Equivalence Proof. [Citation Graph (, )][DBLP]


  80. Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. [Citation Graph (, )][DBLP]


  81. The semantics of behavioral VHDL '93 descriptions. [Citation Graph (, )][DBLP]


  82. Coupling Design and Verification in Software Product Lines. [Citation Graph (, )][DBLP]


  83. A high-level specification for Semantic Web Service Discovery Services. [Citation Graph (, )][DBLP]


  84. Concurrent Abstract State Machines and +CAL Programs. [Citation Graph (, )][DBLP]


  85. Linking the Meaning of Programs to What the Compiler Can Verify. [Citation Graph (, )][DBLP]


  86. A Method for Verifiable and Validatable Business Process Modeling. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.014secs
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