Habel, Annegret - Department für Informatik, Carl von Ossietzky Universität Oldenburg

• An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
• System Speci cation and Veri cation Using High Level Concepts { A Tool Demonstration
• Combination and Implementation of Processes and Data
• PUBLICATIONS AND PROFESSIONAL ACTIVITIES Eike Best (October 2003)
• Semantics and Compositional Verification of SDL 1 Clemens Fischer
• Electronic Notes in Theoretical Computer Science 55 No. 2 (2001) URL: http://www.elsevier.nl/locate/entcs/volume55.html 15 pages
• RENEWABLE ENERGIES Innovations for the future
• Application for Postgraduate Programme Renewable Energy (MSc)
• Effiziente Algorithmen Vorlesung in den Sommersemestern 1994, 1995, 1996, 1997
• A Class of Composable High Level Petri Nets Eike Best 1 , Hans Fleischhack 2 , Wojciech Fraczak 3 ,
• Editing Nested Constraints and Application Conditions
• Bitte die Anmeldung zur Modulprfung bei der Prferin/dem Prfer abgeben. Anmeldung fr eine Modulprfung / Modulteilprfung
• Partial Order and SOS Semantics for Linear Constraint Programs ?
• A Consistent Model for Nets and Process Algebras Eike Best 1 , Raymond Devillers 2 , and Maciej Koutny 3
• Fundamenta Informaticae ??? (2005) 1--32 1 Theory of Constraints and Application Conditions
• PUBLICATIONS AND PROFESSIONAL ACTIVITIES Eike Best (December 2010)
• Model Checking mit Hilfe regularer Sprachen Seminar Beyond First Order Logic bei Andreas Schafer
• Relabelling in Graph Transformation Annegret Habel 1 and Detlef Plump 2
• Computing a Finite Pre x of a Time Petri Net ? Hans Fleischhack and Christian Stehno
• UNIHerausgeber: Pressestelle der Universitt Oldenburg, Postfach 2503, 2900 Oldenburg, Tel.: (0441) 798-2417, Telex: 25655, Telefax: (0441) 798-3000; Redak-
• Technical Report CSPOZ: A Combination of ObjectZ and CSP
• UNIVERSIT AT OLDENBURG
• CARL VON OSSIETZKY UNIVERSIT AT OLDENBURG
• Fachbereich Informatik ModelChecking
• KAPITEL 4. DESYNCHRONISIERBARE SPEZIFIKATIONEN 51 Interface \Delta. Da wir hier in der Regel eine zweite Spezifikation E untersuchen,
• Increasing Global Renewable Energy Market Share
• *=vollstndige Angaben notwendig A U F N A H M E B O G E N
• EIN SYSTEM ZUR TRANSFORMATION VON KONSISTENZ-
• International Student Office D-26111 Oldenburg
• Programming Environment
• Petri Net Markup Language: Implementation and Application
• Module Handbook Specialisation Wind Energy
• OLDENBURG/VAREL/HSC Lie-ferzeiten einhalten und redu-
• Solving Recursive Net Equations Eike Best # and Maciej Koutny ##
• Electronic Communications of the EASST Volume 30 (2010)
• Multi-Amalgamation in Adhesive Categories
• Model-Checking mit Hilfe regularer Eike Mohlmann
• Empfehlungen fr Prfende und Studierende zu Ausrichtung und Ablauf der Masterabschlussprfung: M. Ed. Wirtschaftspdagogik
• Design of RealTime Systems: Interface between Duration Calculus
• UNIHerausgeber: Pressestelle der Universitt Oldenburg, Postfach 2503, 2900 Oldenburg, Tel.: (0441) 798-2417, Telex: 25655, Telefax: (0441) 798-3000; Redak-
• Reducing ksafe Petri Nets to Pomsetequivalent 1safe Petri Nets
• Mapping Formal Specifications to Java Contracts Michael Moller
• Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation
• Atom Replacement in Hypergraphs Annegret Habel 1 and Renate Klempien-Hinrichs 2
• Specification of an Automatic Manufacturing A case study in using integrated formal
• Acta Informatica ManuscriptNr. (will be inserted by hand later)
• 1 EIN PAAR BEMERKUNGEN ZUR SCHACHPROGRAMMIERUNG 1 1 Ein paar Bemerkungen zur Schachprogrammierung
• Relational Semantics Revisited Eike Best 1 and Kerstin M. Richter 2
• Komplexit at von Algorithmen Vorlesungen im Wintersemester 1996/97 und im Wintersemester 1998/99
• Visual Modelling Facilities in PEP Christian Stehno
• Satisfiability of High-Level Conditions Annegret Habel and Karl-Heinz Pennemann
• Electronic Communications of the EASST Volume 26 (2010)
• A Memory Module Specification using Composable Highlevel Petri Nets
• Informatik, Hildesheim,
• Grundbegriffe der Theoretischen Informatik Vorlesungsskript
• Orientierungswoche fr internationale Studierende
• Compositional Construction of Real-Time Dataflow Networks
• 38.JahrgangNummer 2 Februar 2011 www.presse.uni-oldenburg.de/uni-info
• Weakest Preconditions for High-Level Programs Annegret Habel1
• Annegret Habel Mohamed Mosbah (Eds.)
• Efficient Memory Representation of XML Document Trees
• Local Confluence for Rules with Nested Application Conditions
• Editing Nested Constraints and Application Conditions
• 3RD INTERNATIONAL WORKSHOP ON GRAPH BASED TOOLS ENFORCe: A System for Ensuring Formal Correctness of
• Modelling Parametric Contracts and the State Space of Composite Components
• Adhesive High-Level Replacement Categories and Systems
• BlueJ -eine didaktische Java-Entwicklungsumgebung Jrgen Obermeyer
• Workshop on Graph Computation Models Mohamed Mosbah1
• Weakest Preconditions for High-Level Programs (Long Version)
• Fakultt II Informatik, Wirtschafts-und Rechtswissenschaften Department fr Informatik
• Linking CSP-OZ with UML and Java: A Case Study
• Electronic Notes in Theoretical Computer Science 70 No. 4 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 15 pages
• Specifying and Checking Java using CSP Michael Moller
• Nachweis der erfolgreichen Teilnahme/Abschluss-prfung (1. Staatsexamen)
• Prfungsverwaltung Carl von Ossietzky
• Der lange Weg des blauen Scheins Prfende/ r
• Verification Architectures for Real-time Systems Johannes Faber
• Slicing Concurrent Real-Time System Specifications for Verification
• Separability in Persistent Petri Nets and Philippe Darondeau2
• Umzugs-Checkliste Bitte senden Sie das ausgefllte Formular an das Dez. 4
• Checkliste fr das ERASMUS-Auslandsstudium Erste Schritte
• Name of Student: ___________________________________________________________________ Sending Institution: Carl von Ossietzky Universitt Oldenburg Country: Germany
• Name of Student: ___________________________________________________________________ Sending Institution: Carl von Ossietzky Universitt Oldenburg Country: Germany
• ECTS European Credit Transfer System Transcript of Records
• Konzept fr einen Career Service an der Carl von Ossietzky Universitt Oldenburg
• IDEENWETTBEWERB Gesucht: Kreative Persnlichkeiten mit innovativen Ideen fr eine Promotion in den
• 38. JahrgangNummer 4 Mai 2011 www.presse.uni-oldenburg.de/uni-info
• 38. JahrgangNummer 1 Januar 2011 www.presse.uni-oldenburg.de/uni-info
• 37.JahrgangNummer 9 Dezember 2010 www.presse.uni-oldenburg.de/uni-info
• UNIHerausgeber: Pressestelle der Universitt Oldenburg, Postfach 2503, 2900 Oldenburg, Tel.: (0441) 798-2417, Telex: 25655, Telefax: (0441) 798-3000; Redak-
• UNIHerausgeber: Pressestelle der Universitt Oldenburg, Postfach 2S03, 2900 Oldenburg, Tel.: (0441) 798-2417, Telex: 25655, Telefax: (0441) 798-3000; Redak-
• UNIHerausgeber: Pressestelle der Universitt Oldenburg, Postfach 2503, 2900 Oldenburg, Tel.: (0441) 798-2417, Telex: 25655, Telefax: (0441) 798-3000; Redak-
• Professionalisierungsbereich -2010-B Struktur des Professionalisierungsbereichs
• 30.04.2007 Amtliche Mitteilungen / 26. Jahrgang 2/2007 95 Gebhrenordnung fr das
• bersicht ber die NC-Daten vergangener Zulassungsverfahren an der Universitt Oldenburg
• bersicht ber die NC-Daten in der Berufsqualifiziertenquote (Bewerberinnen und
• Mon., 29.03. Campusfhrung / campus tour
• Informationen zum Studienbeginn fr Bachelor-und Masterstudierende
• Mathematischer Vorkurs 1 Zielgruppe
• Application for Postgraduate Programme Renewable Energy (MSc)
• Module Handbook Core Univ. of Oldenburg
• Master Programme REMA/EUREC Course 2008/2009
• Module Handbook Specialisation Photovoltaics
• Master Programme REMA/EUREC Course 2008/2009
• Carl von Ossietzky Universitt Oldenburg Zentrale Studienberatung, Christa Funke
• Termin 31.03.2011 15:00 -19:00 Uhr Veranstaltungsort Universitt Oldenburg
• Die Dekanin der Fakultt III Sprach-und Kulturwissenschaften der Carl von
• Graph Unification and Matching \Lambda Detlef Plump
• Nested Constraints and Application Conditions for HighLevel Structures
• Checking Consistency in UML Diagrams: Classes and State Machines #
• Computational Completeness of Programming Languages Based on Graph Transformation
• Slicing Abstractions Ingo Bruckner1
• Postfach 200404 D-53134 Bonn Kennedyallee 50 D-53175 Bonn
• A CSP View on UMLRT structure diagrams Clemens Fischer, ErnstRudiger Olderog and Heike Wehrheim
• Transformational Design of RealTime Systems Part I: From Requirements to Program Specifications \Lambda
• New Petri Net Programming Features in PEP ? C'ecile Bui Thanh 1 and Christian Stehno 2
• Operational and Denotational Semantics for the Box Algebra Maciej Koutny \Lambda and Eike Best y
• Beweisbar korrekte Telekommunikationssysteme Clemens Fischer, Stephan Kleuker, ErnstR udiger Olderog
• Graph programming is a graph based approach to programming employing graph replacement rules. They consist of three constructs: nondeterministic execution of
• Recursion and Petri Nets Eike Best 1 , Raymond Devillers 2 , and Maciej Koutny 3
• Lehrer des Jahres kommt aus Wilhelmshaven
• GraJ: A System for Executing Graph Programs in Java
• UNIHerausgeber: Pressestelle der Universitt Oldenburg, Postfach 2503, 2900 Oldenburg, Tel.: (0441) 798-2417, Telex: 25655, Telefax: (0441) 798-3000; Redak-
• gate Information Service / gtz, PO Box 5180, 65726 Eschborn, Germany Phone: +49 (0)6196 / 79-4217, Fax: +49 (0)6196 / 79-7352, Email: gate-id@gtz.de, Internet: http://www.gtz.de/gate
• Stabsstelle Hochschulstatistik und -informationen Fachstudiendauer zum Zeitpunkt des Studienabschlusses, Prfungsjahre 1998 bis 2009
• Electronic Communications of the EASST Volume 10 (2008)
• JASSDA TRACE ASSERTIONS Runtime Checking the Dynamic of Java Programs
• *=vollstndige Angaben notwendig A U F N A H M E B O G E N
• University of Oldenburg International Student Office
• FOCLASA 2009 SAT-based Verification for Timed Component
• Type Checking C++ Template Instantiation by Graph Programs (long version)
• Verification Architectures: Compositional Reasoning for Real-time Systems
• Resolution-like theorem proving for high-level conditions
• From the backcover of Verification of Sequential and Concurrent Programs
• PEP Version 2.0 Christian Stehno
• K. R. Apt, E.R. Olderog, Programmverifikation, Sequentielle, parallele und verteilte Programme --Inhaltliche Fehler --
• Petri Nets, Process Algebras and Concurrent Programming Languages \Lambda
• The Box Algebra = Petri Nets + Process Expressions Eike Best 1 , Raymond Devillers 2 and Maciej Koutny 3
• Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
• Stand: 28.05.2010 | Angelika Tapken | diz Modulbeauftragte bzw. Lehrende, die eine Vorbereitung fr das Fachpraktikum (M. Ed.) bzw. Forschungs-und Entwicklungspraktikum anbieten
• FALLT AUS AM 7. NOVEMBER 2002. ZWEISTUNDIG AM 14. NOVEMBER 2002.
• LACL technical report number 2001-04. c 2001 F. Pommereau and C. Stehno.
• Verifying Telecommunication Protocols with PEP Bernd Grahlmann a
• Math. Struct. Comp. Science (2001), 11, 637--688.
• Stabsstelle Hochschulstatistik und -informationen AbsolventInnen Fachflle
• 22 23 26 30 Aufteilung der intern. Gastwissenschaflterinnen/Gastwissenschaftler (inkl. Doktoranden) auf
• Development of correct graph transformation systems
• Prfungsordnung fr den fcherbergreifenden
• Combining Specification Techniques for Processes, Data and Time
• Preparatory course of Mathematics 1 Target group
• Wir weisen auf die folgende Ausschreibung hin: Florida Institute of Technology
• Zentrale Studienberatung Campus Haarentor, A3 1-110 bis 1-117
• [1] G. Harutyunyan and B.-W. Schulze, Elliptic Mixed, Transmission, and Singular Crack Problems. EMS Tracts in Mathematics Vol. 4, European Math. Soc. Publ. Hause Zrich, 2008, 777 pages.
• AUS DEM DEPARTMENT FR INFORMATIK der Fakultt II -Informatik, Wirtschafts-und Rechtswissenschaften
• Fundamenta Informaticae 72 (2006) 129 1 Adhesive High-Level Replacement Systems
• Fachspezifische Anlage fr das Fach Wirtschaftsinformatik 1. Bachelorgrad
• 1 SPIELE UND BISIMULATION 1 1 Spiele und Bisimulation
• Simulation of DNAComputing Eike Best, Heiko Burchard, Hans Fleischhack, Andr'e Hackmann,
• Theorie und Spiele Prof. Eike Best
• Refining System Requirements to Program Specifications \Lambda
• Constraints and Application Conditions: From Graphs to HighLevel Structures
• Carl von Ossietzky Universitat Oldenburg Studiengang Informatik
• CHECKING BEHAVIOURAL SUBTYPES VIA REFINEMENT
• Partial Order Verification with PEP \Lambda Institut fur Informatik, Universitat Hildesheim,
• A Duration Calculus Semantics RealTime Reactive Systems
• Fakultt II Department fr Informatik Abteilung Formale Sprachen
• A Refined View of the Box Algebra Eike Best # and Maciej Koutny ##
• An Mnet Semantics of B(PN) 2 Eike Best 1 , Hans Fleischhack 2 , Wojciech Fraczak 3 ,
• Real-Time Systems Design with PEP Christian Stehno
• Parallel Independence in Hierarchical Graph Transformation
• Programming Environment
• Winter Term University of Oldenburg (Core Provider)
• Oldenburg is located in the NorthWest of Germany. Please check: http://www.ppre.unioldenburg.de/14941.html
• Module Handbook Specialisation Hybrid Systems
• Carl von Ossietzky University Institute for Pure and Applied Chemistry
• Bernd Siebenhner CURRICULUM VITAE
• Automatic Verification of Parametric Specifications with Complex Topologies
• Documenting Design Refinement E.R. Olderog
• Master Programme REMA/EUREC Course 2008/2009
• High-Level Programs and Program Conditions Karl Azab and Annegret Habel
• Slicing Petri Nets Astrid Rakow
• Orthogonal Transformations for Coloured Petri Nets
• Refinement of Coloured Petri Nets Eike Best 1 and Thomas Thielke 2
• This report contains the contributions to the final workshop of the first period of the project PEP (Programming Environment based on Petri nets). PEP is a cooperative effort of the
• Orientierungswoche fr internationale Studierende
• Application for Postgraduate Programme Renewable Energy (MSc)
• Prof. Dr. Dr. h.c. H.-Jrgen Appelrath Februar 1952 geboren in Duisburg
• Correctness of Graph Programs relative to HR+
• Rezension zu ,,go out. das magazin" Locker kommt das neue ,,go out"-Magazin vom DAAD daher. Frisch und frhlich duzt es
• Stabsstelle Hochschulstatistik und -informationen Fachstudiendauer_bis_PJ2010.xls -bis 2010 1 von 3 19.08.2011
• *=vollstndige Angaben notwendig A U F N A H M E B O G E N
• AbsolventInnen-Fachflle nach Studiengngen nur Bachelor-und Masterstudiengnge
• Bernd Siebenhner CURRICULUM VITAE
• InternatIonal Student D-26111 Oldenburg
• O S S I E T Z K Y Pollards Rho-Methode zur
• Crossing the bridge between similar games Jan-David Quesel, Martin Franzle, Werner Damm
• Tagesordnungsvorschlag fr die 3.Sitzung des 20. Senats
• Verteilung der Studienbeitragsmittel an der Universitt Oldenburg Die neue Richtlinie sieht vor, dass jhrlich zunchst Mittel fr gesamtuniversitre Aufgaben
• SENATsvorlage zur 3.Sitzung des 20. Senats TO P 4.1 Drs. S 99/2011 AntragstellerIn Didaktisches Zentrum
• SENATSvorlage zur 3. Sitzung am 06.07.11 TOP 3.2 Drs. S.97/2011 AntragstellerIn fakulttsbergreifende Studienkommission
• IDEENWETTBEWERB Gesucht: Kreative Persnlichkeiten mit innovativen Ideen fr eine Promotion in
• SENATSvorlage zur Sitzung am 06.07.11 TOP 3.1 Drs. S 98/2011 AntragstellerIn VP-L / Vorsitzender der fakulttsbergreifenden Studienkommission
• IDEENWETTBEWERB Gesucht: Kreative Persnlichkeiten mit innovativen Ideen fr eine Promotion in den
• 38. JahrgangNummer 8 November 2011 www.presse.uni-oldenburg.de/uni-info
• UNIHerausgeber: Presse-und Informationsstelleder Universitt Oldenburg, Ammerln-der Heerstrae 67-99, Postfach 2503, 2900 Oldenburg, Tel.: (0441) 798-6012, Telex
• Adressen und Sprechstunden / Addresses and office hours
• 38. JahrgangNummer 7 Oktober 2011 www.presse.uni-oldenburg.de/uni-info
• Weakest Liberal Preconditions relative to HR
• Informationsveranstaltung 13.April 2011
• O S S I E T Z K Y Akademische Weiterbildung
• Under consideration for publication in Math. Struct. in Comp. Science Multi-Amalgamation
• Under consideration for publication in Math. Struct. in Comp. Science M-Adhesive Transformation Systems with
• Fundamenta Informaticae 115 (2012) 129 1 DOI 10.3233/FI-2012-627