Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005
    DBLP: db/conf/sefm/sefm2005.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 52 of 52  
    Select a publication
    Show Title Venue Rating Date
    Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova.
    Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Siva Anantharaman, Jing Chen, Gaétan Hains.
    A Synchronous Process Calculus for Service Costs.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Ola Olsson, Angela Wallenburg.
    Customised Induction Rules for Proving Correctness of Imperative Programs.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Gilles Barthe, Mariela Pavlova, Gerardo Schneider.
    Precise Analysis of Memory Consumption using Program Logics.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Zoltán Pap, Gyula Csopaki, Sarolta Dibuz.
    On the Theory of Patching.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen.
    Building Verification Condition Generators by Compositional Extensions.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Mila Dalla Preda, Roberto Giacobazzi.
    Control Code Obfuscation by Abstract Interpretation.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    K. Rustan M. Leino.
    Invariants on Demand.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat.
    From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Dines Bjørner.
    A Cloverleaf of Software Engineering.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner.
    Formal Verification of Dead Code Elimination in Isabelle/HOL.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Johannes Siedersleben.
    Pragmatic Consistency Management in Industrial Requirements Specifications.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Gareth Carter, Rosemary Monahan, Joseph M. Morris.
    Software Refinement with Perfect Developer.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Hui Shi, Robert J. Ross, John A. Bateman.
    Formalising Control in Robust Spoken Dialogue Systems.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Antonio Cerone, Peter A. Lindsay, Simon Connelly.
    Formal Analysis of Human-computer Interaction using Model-checking.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Patrice Chalin.
    Logical Foundations of Program Assertions: What do Practitioners Want?.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Joseph Sifakis.
    A Framework for Component-based Construction Extended Abstract.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano.
    BRILLANT : An Open Source and XML-based platform for Rigourous Software Development.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Anke Dittmar, Peter Forbrig.
    A unified description formalism for complex HCI-systems.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli.
    Experimental Evaluation of FSM-Based Testing Methods.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Mahadevan Subramaniam, Jiangfan Shi.
    Using Dominators to Extract Observable Protocol Contexts.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Xiuli Sun, Jinzhao Wu.
    Operational Semantics for Real-Time Processes with Action Refinement.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele.
    Counting Interface Automata and their Application in Static Analysis of Actor Models.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Mark B. Trakhtenbrot.
    Use of Verification for Testing and Debugging of Complex Reactive Systems.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Biniam Gebremichael, Frits W. Vaandrager.
    Specifying Urgency in Timed I/O Automata.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Kerry Trentelman.
    Proving Correctness of JavaCard DL Taclets using Bali.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Lilia Georgieva, Patrick Maier.
    Description Logics for Shape Analysis.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Frédéric Gervais, Marc Frappier, Régine Laleau.
    Generating Relational Database Transactions From Recursive Functions Defined on EB     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    James Welch, David Faitelson, Jim Davies.
    Automatic Maintenance of Association Invariants.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Holger Grandy, Kurt Stenzel, Wolfgang Reif.
    Object Oriented Verification Kernels for Secure Java Applications.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Thomas Wilson, Savi Maharaj, Robert G. Clark.
    Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Dilian Gurov, Marieke Huisman.
    Interface Abstraction for Compositional Verificatio.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Anthony Hall.
    Making Formal Methods Work.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    no author found.
    Title Page.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Nabil Hameurlain.
    On Compatibility and Behavioural Substitutability of Component Protocols.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    no author found.
    Copyright.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    no author found.
    Preface.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Dan Hirsch, Emilio Tuosto.
    SHReQ: Coordinating Application Level QoS.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    no author found.
    Program Committee.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    no author found.
    Steering Committee.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Thierry Hubert, Claude Marché.
    A case study of C source code verification: the Schorr-Waite algorithm.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    no author found.
    External Referees.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Bart Jacobs 0002, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte.
    Safe Concurrency for Aggregate Objects with Invariants.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    no author found.
    Conference Chairs.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Arshad Jhumka, Martin Hiller.
    Putting Detectors in Their Place.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Naiyong Jin, Jifeng He.
    Towards A Truly Concurrent Model for Processes Sharing Resources.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Hans de Nivelle, Ruzica Piskac.
    Verification of an Off-Line Checker for Priority Queues.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Joseph Kuehn, Charles Lakos, Robert Esser.
    A Proposal For Relative Time Petri Nets.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina.
    Timed Automata with Data Structures for Distributed Systems Design and Analysis.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo.
    A Strategy for the Formal Composition of Frameworks.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Shiva Nejati, Arie Gurfinkel, Marsha Chechik.
    Stuttering Abstraction for Model Checkin.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Zsolt Németh, Christian Pérez, Thierry Priol.
    Workflow Enactment Based on a Chemical Metaphor.     		Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005

    Your query returned 52 matches in the database.

    Eidgenoessische Technische Hochschule Zuerich