Homepage Anagrafe della Ricerca

• Consultazione dati

  • per struttura
  • per settore
  • per autore
  • per parola
  • per più criteri

• Link correlati

  • Unimap

• Funzioni

  • Stampa pagina

Autore

EGON BORGER

Dati autore

• Professore Ordinario presso Dipartimento di Informatica
• Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
• Settore scientifico disciplinare INF/01 INFORMATICA
• Non più in servizio

Prodotti

• lista concisa
• lista espansa
• tipo
• anno

• Articolo, saggio o studio originale in rivista

  1. BORGER EGON, Thalheim Bernhard, Soerensen Ove,On defining the behavior of OR-joins in business process models, JOURNAL OF UNIVERSAL COMPUTER SCIENCE,pp 1,tot.pag 30,2008
• 
  

  Articolo in rivista

  1. Beierle C., Borger E.,Specification and correctness proof of a WAM extension with abstract type constraints, Formal Aspects of Computing,vol. 8,num. 4,pp 428,tot.pag 35,1996
  2. Borger E., Durdanovic I.,Correctness of Compiling Occam to Transputer Code, The Computer Journal,vol. 39,num. 1,pp 55,tot.pag 0,1996
  3. Beierle C., Borger E.,Refinement of a typed WAM extension by polymorphic order-sorted types, Formal Aspects of Computing,vol. 8,num. 5,pp 539,tot.pag 26,1996
  4. Egon Boerger,Ten Years of CSL Conferences (1987-1997), EATCS Bulletin,vol. 63,pp 61-63,tot.pag 3,1997
  5. E.Borger,Ten Years of Gurevich's Abstract State Machines, Journal of Universal Computer Science,vol. 3,num. 4,pp 231,tot.pag 3,1997
  6. Borger E., Mearelli L.,Integrating ASMs into the Software Development Life Cycle, Journal of Universal Computer Science,vol. 3,num. 5,pp 603,tot.pag 63,1997
  7. Borger E., Schmitt P.,A description of the Tableau Method using Abstract State Machines, Journal of Logic and Computation,vol. 7,num. 5,pp 659,tot.pag 23,1997
  8. E.Borger,JUCS Special ASM Issue.Part II., Journal of Universal Computer Science,vol. 3,num. 5,pp 414,tot.pag 2,1997
  9. E.Borger, J.Huggins,Abstract State Machines 1988-1998: Commented ASM Bibliography, EATCS Bulletin,vol. 64,pp 105,tot.pag 22,1998
  10. E. Boerger and R. Gotzhein,J.UCS Special Issue on Requirements Engineering. The Light Control Case Study, Journal of Universal Computer Science,vol. 6,num. 7,pp 580-581,tot.pag 2,2000
  11. D. Barnocchi, E.Borger, F. Romani,Il Teorema di Goedel, MC Microcomputer,vol. October,pp 170,tot.pag 4,2000
  12. Borger E., Schulte W.,,A Practical Method for Specification and Analysis of Exception Handling -- A Java/JVM Case Study, IEEE Transactions of Software Engineering,vol. 26,num. 10,pp ?,tot.pag 16,2000
  13. E. Borger, E. Riccobene, J.Schmid,Capturing Requirements by Abstract State Machines: The Light Control Case Study, Journal of Universal Computer Science,vol. 6,num. 7,pp 597,tot.pag 24,2000
  14. Borger E., Schulte W.,Initialization Problems for Java, Software---Concepts and Tools,vol. 19,num. 4,pp 175,tot.pag 4,2000
  15. E.Borger, R. Gotzhein,The Light Control Case Study---A Synopsis, Journal of Universal Computer Science,vol. 6,num. 7,pp 582,tot.pag 4,2000
  16. E.Borger and D.Sona,A Neural Abstract Machine, Journal of Universal Computer Science,vol. 7,num. 11,pp 10-28,tot.pag 18,2001
  17. Egon Boerger and Uwe Glaesser,Abstract State Machines 2001: New Developments and Applications, Journal of Universal Computer Science,vol. 7,num. 11,pp 914-916,tot.pag 3,2001
  18. Egon Boerger,The Origins and the Development of the ASM Method for High Level System Design and, Journal of Universal Computer Science,vol. 8,num. 1,pp 2-74,tot.pag 73,2002
  19. Egon Boerger,The ASM Refinement Method, Formal Aspects of Computing,vol. 15,num. 2/3,pp 000-999,tot.pag 999,2003
  20. Egon Boerger,Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks, Annals of Pure and Applied Logic,vol. ?,num. ?,pp 000-999,tot.pag 999,2004
  21. E. Boerger, A. Cavarra, E. Riccobene,On formalizing UML state machines using ASMs, Information and Software Technology,pp 1-6,tot.pag 6,2004
  22. Egon Boerger,Abstract State Machines and High-Level System Design and Analysis, Theoretical Computer Science,vol. 336,num. 336,pp 205-207,tot.pag 3,2005
  23. E. Boerger, G. Fruja, V. Gervasi, R. Staerk,,A High-Level Modular Definition of the Semantics of C#, Theoretical Computer Science,vol. 336,num. 336,pp 235-284,tot.pag 50,2005
  24. N. G. Fruja, E. Boerger,Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis, Journal of Object Technology,vol. 5,num. 3,pp 5-34,tot.pag 29,2006
  25. M. Altenhofen, E. Boerger, A Friesen, J. Lemcke,A High-Level Specification for Mediators, International Journal of Business Process Integration and Management,pp 267-278,tot.pag 12,2006
  26. BORGER EGON,Construction and analysis of ground modesl and their refinements as a foundation for validating computer-based systems, FORMAL ASPECTS OF COMPUTING,vol. 19,pp 225,tot.pag 17,tot. autori 1,2007
  27. BORGER EGON, Slissenko Anatol,The Abstract State Machines Method, JOURNAL OF UNIVERSAL COMPUTER SCIENCE,vol. 77/1-2,pp 1,tot.pag 4,tot. autori 2,2007
  28. BORGER EGON, Slissenko Anatol,The Abstract State Machines Method, FUNDAMENTA INFORMATICAE,vol. XX,pp 1,tot.pag 4,tot. autori 2,2007
• 
  

  Libro di ricerca

  1. E.Borger and U. Glaesser,Abstract State Machines 2001: Theory and Applications,tot.pag. 200,edizione Springer-Verlag,2001
  2. Egon Boerger and Robert Staerk,Abstract State Machines. A Method for High-Level System Design and Analysis,tot.pag. 448,edizione Springer,2003
  3. E. Boerger and A. Gargantini and E. Riccobene,Abstract State Machines 2003--Advances in Theory and Applications,tot.pag. 450,edizione Springer-Verlag,2003
  4. D. Beauquier and E. Boerger and A. Slissenko,Proceedings ASM'2005,edizione Universite de Paris 12,2005
  5. Egon Borger,TCS Special Issue: Abstract State Machines and High-Level System Design and Analysis,tot.pag. 232,edizione Elsevier,2005
  6. BORGER EGON, Slissenko Anatol,Fundamenta Informaticae Special Issue: Selected Papers from ASM2006,tot.pag. 185,tot.autori 18,2007
  7. BORGER EGON, Butler Michael, Bowen Jonathan, Boca Paul,Abstract State Machines, B and Z,tot.pag. 394,tot.autori 4,2008
  8. BORGER EGON, Cisternino Antonio,Advances in Software Engineering,tot.pag. 277,tot.autori 18,2008
  9. BORGER EGON, Prinz Andreas,J. Universal Computer Science Special ASM Issue,tot.pag. 171,tot.autori 14,2008
• 
  

  Libro, manuale o trattato

  1. J.-R.Abrial, E.Borger, H.Langmaack,Formal Methods for Industrial Applications,tot.pag. 519,1996
  2. E.Boerger, E.Graedel, Y.Gurevich,The Classical Decision Problem,tot.pag. 494,1997
  3. E.Borger,JUCS Special ASM Issue,tot.pag. 600,1997
  4. E.Borger,Architecture Design and Validation Methods,tot.pag. 367,2000
  5. E.Borger, R. gotzhein,JUCS Special Requirements Engineering Issue,tot.pag. 177,2000
  6. R. Staerk, J. Schmid, E. Borger,Java and the Java Virtual Machine: Definition, Verification, Validation,tot.pag. 413,2001
• 
  

  Capitolo, parte o articolo in libro

  1. J.-R. Abrial, E.Borger, H. Langmaack,The Steam Boiler Case Study: Competition of Formal Program Specification and Developments Methods in Formal Methods for Industrial Applications. Specifying and Programming the Steam-Boiler Control,pp 1, J.-R. Abrial, E.Borger, H. Langmaack,tot.pag. 22,1996
  2. Beierle C., Borger E., Durdanovic I., Glasser U., Riccobene E.,Refining abstract machine specifications of the steam boiler control to well documented executable code in Formal Methods for Industrial Applications. Specifying and Programming the Steam-Boiler Control,pp 52, J.-R. Abrial, E.Borger, H. Langmaack,tot.pag. 27,1996
  3. Borger E., Schulte W.,Programmer friendly modular definition of the semantics of Java in Formal Syntax and Semantics of Java,pp 353, Jim Alves-Foss,tot.pag. 51,1999
  4. Borger E., Schulte W.,Modular Design for the Java Virtual Machine Architecture in Architecture Design and Validation Methods,pp 297, E.Boerger,tot.pag. 61,2000
  5. E.Boerger,Discrete Systems Modeling in Encyclopedia of Physical Sciences and Technology,pp ?, Academic Press,tot.pag. 13,2001
  6. E. Boerger,Linking architectural and component level system views by Abstract State Machines in Formal Description Languages,pp 1, 14, Kluwer,tot.pag. 14,2004
  7. Egon Boerger,Design Pattern Abstractions and Abstract State Machines in Proceedings ASM05,pp 91, 100, Universite de Paris 12,tot.pag. 10,2005
  8. BORGER EGON, Friesen A.,A High-Level Specification for Semantic Web Service Discovery Services in Workshop Proceedings of the 6th International Conference on Web Engeneering,,pp 1, 10,tot. autori 2,tot.pag. 10,2006
  9. E.Boerger and A. Gargantini and E. Riccobene,Abstract State Machines. A Method for System Specification and Analysis in Software Specification Methods: An Overview Using a Case Study,pp 101, 117, HERMES Science Publishing,tot.pag. 17,2006
  10. Egon Boerger,From Finite State Machines to Virtual Machines (Illustrating Design Patterns and Event-B Models) in Praezisionswerkzeug Logik--Gedenkschrift zu Ehren von Dieter Roedding,pp 1, 19, Forschungsinstitut fuer Mathematikdidaktik Osnabrueck,tot.pag. 19,2006
  11. BORGER EGON,Modeling Workflow Patterns from First Principles in ER 2007,pp 1, 20,tot. autori 1,tot.pag. 20,2007
  12. BORGER EGON,Linking the Meaning of Programs to What the Compiler Can Verify in Verified Software: Tools, Techniques, and Experiments,pp 1, 12,tot. autori 1,tot.pag. 12,2008
• 
  

  Articolo, saggio o studio originale in volume

  1. BORGER EGON, Altenhofen Michael,Concurrent Abstract State Machines and +CAL in Proc.WADT2008,pp 1, 20,tot. autori 2,tot.pag. 20,2008
  2. BORGER EGON, Batory Don,Modularizing Theorems for Software Product Lines: The Jbook Case Study in Special ASM Issue of JUCS,pp 1, 24,tot. autori 2,tot.pag. 24,2008
  3. BORGER EGON, Thalheim Bernhard,Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach in Abstract State Machines, B and Z,pp 24, 38,tot. autori 2,tot.pag. 14,2008
  4. BORGER EGON, Thalheim Bernhard,A Method for Verifiable and Validatable Business Process in Advances in Software Engineering,pp 59, 115,tot. autori 2,tot.pag. 56,2008
  5. BORGER EGON, Prinz Andreas,Quo Vadis Abstract State Machines? in J.UCS Special ASM Issue,pp 1, 8,tot. autori 2,tot.pag. 8,2008
  6. BORGER EGON,The Abstract State Machines Method for High-Level System Design and Analysis in BCS-FACS Seminar Series Book,pp 1, 35,tot. autori 1,tot.pag. 35,2009
  7. BORGER EGON, Craig Iain,Modeling an Operating System Kernel in Modeling an Operating System Kernel,pp 199, 216,tot. autori 2,tot.pag. 18,2009
• 
  

  Articolo in atti di congresso

  1. Borger E., Mazzanti S.,A Practical Method for Rigorously Controllable Hardware Design, ZUM (Z User Meeting), pp 151, Reading (GB),vol. 1212 LNCS,1997
  2. Borger E.,High Level System Design and Analysis using Abstract State Machines, FM-Trends 1998, pp 1, Boppard (Germany),vol. 1641,1998
  3. Borger E., Schulte W.,Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation, Mathematical Foundations fo Computer Science, pp 17, Brno (Czech Republic),vol. 1450,1998
  4. M. Barnett, E. Borger, Y. Gurevich, W. Schulte, M. Veanes,Using Abstract State Machines at Microsoft: A Case Study, Workshop on ABstract State Machines, pp 367, Ascona (Switzerland),vol. 1912,2000
  5. E. Borger, A. Cavarra, E. Riccobene,Modeling the Dynamics of UML State Machines, International Woprkshop on Abstract State Machines, pp 223, Ascona (Switzerland),vol. 1912,2000
  6. E.Borger, J.Schmid,Composition and Submachine Concepts for Sequential ASMs, Computer Science Logic, pp 41, Fischbachau (Munich, Germany),vol. 1862,2000
  7. E.Borger,Yuri Gurevich: The Evolution of a Research Life from Algebra through Logic to Computer Science, Computer Science Logic, pp VIII, Fischbachau (Munich, Germany),vol. 1862,2000
  8. E. Borger, Peter Paeppinghaus, J.Schmid,Report on a Practical Application of ASMs in Software Design, Workshop on Abstract State Machines, pp 361, Ascona (Switzerland),vol. 1912,2000
  9. E. Borger, A. Cavarra, E. Riccobene,An ASM Semantics for UML Activity Diagrams, Algebraic Methodology and Software Technology (AMAST), pp 292, Iowa City (USA),vol. 1816,2000
  10. Egon Boerger,Using Abstract State Machines in Requirements Engineering, Fourth IEEE International Conference on Requirements Engineering (ICRE 2000), pp 1-54, Chicago,vol. T3,2000
  11. E. Borger,Abstract State Machines at the Cusp of the Millenium, International Workshop on Abstract State Machines, pp 1, Ascona (Switzerland),vol. 1912,2000
  12. E. Borger, A. Cavarra, E. Riccobene,Solving Conflicts in UML State Machine Concurrent States, UML'2001, pp 1-4, Toronto,vol. 2001,2001
  13. Egon Borger,Design for Reuse via Structuring Techniques for ASMs, EUROCAST, pp 1-16, Las Palmas (Spain),vol. LNCS 2178,2001
  14. T. Bolognesi and E. Boerger,Abstract State Processes, International Workshop on Abstract State Machines 2003, pp 12-22, Taormina,vol. LNCS 2589,2002
  15. E. Boerger,Computation and Specification Models. A Comparative Study, International Workshop on Action Notation, pp 1-27, Copenhague,vol. xxx,2002
  16. E. Boerger and A. Cavarra and E. Riccobene,Modeling the meaning of transitions from and to concurrent states in UML State Machines, ACM Symposium on Applied Computing, pp xxx-xxx, unkown,vol. xxx,2003
  17. Egon Boerger,The ASM Ground Model Method as a Foundation for Requirements Engineering, Manna Symposium, pp 1-16, Taormina,vol. 2772,2003
  18. E. Boerger abd T. Bolognesi,Remarks on Turbo ASMs for Functional Equations and Recursion Schemes, International Workshop on Abstract State Machines 2003, pp 1-11, Taormina,vol. LNCS 2589,2003
  19. Egon Boerger,Teaching ASMs to Practice-Oriented Students with Limited Mathematical Background, Teaching Formal Methods 2003, pp 5-12, Oxford,vol. 2003,2003
  20. E. Boerger abd A. Gargantini and E. riccobene,ASM 2003--A double anniversary in Sicily, Tenth International Workshop on Abstract State Machines 2003, pp 1-3, Taormina,vol. LNCS 2589,2003
  21. Robert F. Staerk and Egon Boerger,An ASM specification of C# threads and the .NET memory model, Abstract State Machines 2004, pp 1-23, halle-Wittenberg,vol. 3333,2004
  22. Egon Boerger,A practice-oriented course on the principles of computation, programming and system design and analysis, Teaching Formal Methods 2004, pp 65-84, Gent (Belgium),vol. LNCS 3294,2004
  23. Egon Boerger and Robert Staerk,Exploiting the "A" in Abstract State Machines for Specification Reuse. A Java/C# Case Study, Formal Methods for Components and Objects. Second International Symposium FMCO 2003, pp 42-76, Leiden,vol. LNCS 3188,2004
  24. Egon Boerger,Modeling with Abstract State Machines: A support for accurate system design and analysis, Modellierung, pp 1-4, Marburg,vol. 3000,2004
  25. Egon Boerger,The ASM Method: a Cornerstone in Computer Science Education, 12th International ASM Workshop, pp 49-56, Paris,vol. NN,2005
  26. D. Beauquier and E. Boerger and A. Slissenko,20 Years after A New Thesis: The Diversification of the ASM Method, 12th International ASM Workshop, pp 5-9, Paris,vol. NN,2005
  27. Egon Boerger,Using Abstract State Machines for the Description and the Analysis of Formal Systems, Seventh International Workshop on Descriptional Complexity of Formal Systems., pp 15-22, Como,vol. TR 06-05,2005
  28. Egon Boerger,Linking Content Definition and Analysis to What the Compiler Can Verify, IFIP Working Conference on Verified Software: Tools, Techniques, and Experiments (VSTTE 2005), pp 1-20, Zuerich,vol. NN,2005
  29. M. Altenhofen and E. Borger and J. Lemcke,A High-Level Specification for Mediators, 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, pp 1-15, Nancy,vol. 1,2005
  30. N. G. Fruja and E. Boerger,Analysis of the .NET CLR Exception Handling, 3rd International Conference on .NET Technologies, pp 65-75, Pilsen,vol. 3,2005
  31. Egon Boerger,The ASM Method for System Design and Analysis. A Tutorial Introduction, Frontiers of Combining Systems, pp 264-283, Wien,vol. 3717,2005
  32. M. Altenhofen and E. Borger and J. Lemcke,An Abstract Model for Process Mediation, 7th International Conference on Formal Engineering Methods, pp 81-95, Manchester,vol. 3785,2005
  33. M. Altenhofen and E. Borger and J. Lemcke,An Execution Semantics for Mediation Patterns, 2nd WSMO Implementation Workshop WIW'2005, pp 1-10, Innsbruck,vol. 2,2005
  34. M. Barros and E. Borger,A Compositional Framework for Service Interaction Patterns and Interaction Flows, 7th International Conference on Formal Engineering Methods, pp 5-35, Manchester,vol. 3785,2005
• 
  

  Riassunto di comunicazione a congresso internazionale

  1. DITTAMO CRISTIAN, GERVASI VINCENZO, BORGER EGON, CISTERNINO ANTONIO,A formal specification of the semantics of ECMAScript, 3rd International Conference on Verified Software: Theories, Tools and Experiments, pp 1-2, Edimburgh, tot. autori 4,2009
• 
  

  Rapporto finale di ricerca pubblicato

  1. Borger E., Busch H., Cuellar J., P"appinghaus P., Tiden E., Wildgruber I.,Konzept einer hierarchischen Erweiterung von EURIS, Siemens Corporate Research Munich (Germany),1996