The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

Conference on Software Engineering and Formal Methods (SEFM) (sefm)
2005 (conf/sefm/2005)


  1. Title Page. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:- [Conf]

  2. Copyright. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:- [Conf]

  3. Preface. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:- [Conf]

  4. Program Committee. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:- [Conf]

  5. Steering Committee. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:- [Conf]

  6. External Referees. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:- [Conf]

  7. Conference Chairs. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:- [Conf]
  8. Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova
    Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:2-12 [Conf]
  9. Mark B. Trakhtenbrot
    Use of Verification for Testing and Debugging of Complex Reactive Systems. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:13-22 [Conf]
  10. Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli
    Experimental Evaluation of FSM-Based Testing Methods. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:23-32 [Conf]
  11. Arshad Jhumka, Martin Hiller
    Putting Detectors in Their Place. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:33-43 [Conf]
  12. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Timed Automata with Data Structures for Distributed Systems Design and Analysis. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:44-53 [Conf]
  13. Xiuli Sun, Jinzhao Wu
    Operational Semantics for Real-Time Processes with Action Refinement. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:54-63 [Conf]
  14. Biniam Gebremichael, Frits W. Vaandrager
    Specifying Urgency in Timed I/O Automata. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:64-74 [Conf]
  15. Dines Bjørner
    A Cloverleaf of Software Engineering. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:75-85 [Conf]
  16. Gilles Barthe, Mariela Pavlova, Gerardo Schneider
    Precise Analysis of Memory Consumption using Program Logics. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:86-95 [Conf]
  17. Mahadevan Subramaniam, Jiangfan Shi
    Using Dominators to Extract Observable Protocol Contexts. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:96-105 [Conf]
  18. Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele
    Counting Interface Automata and their Application in Static Analysis of Actor Models. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:106-116 [Conf]
  19. Frédéric Gervais, Marc Frappier, Régine Laleau
    Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:117-126 [Conf]
  20. Zsolt Németh, Christian Pérez, Thierry Priol
    Workflow Enactment Based on a Chemical Metaphor. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:127-136 [Conf]
  21. Bart Jacobs 0002, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte
    Safe Concurrency for Aggregate Objects with Invariants. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:137-147 [Conf]
  22. K. Rustan M. Leino
    Invariants on Demand. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:148-149 [Conf]
  23. Thomas Wilson, Savi Maharaj, Robert G. Clark
    Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:150-159 [Conf]
  24. Kerry Trentelman
    Proving Correctness of JavaCard DL Taclets using Bali. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:160-169 [Conf]
  25. Holger Grandy, Kurt Stenzel, Wolfgang Reif
    Object Oriented Verification Kernels for Secure Java Applications. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:170-179 [Conf]
  26. Ola Olsson, Angela Wallenburg
    Customised Induction Rules for Proving Correctness of Imperative Programs. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:180-189 [Conf]
  27. Thierry Hubert, Claude Marché
    A case study of C source code verification: the Schorr-Waite algorithm. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:190-199 [Conf]
  28. Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner
    Formal Verification of Dead Code Elimination in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:200-209 [Conf]
  29. Hans de Nivelle, Ruzica Piskac
    Verification of an Off-Line Checker for Priority Queues. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:210-219 [Conf]
  30. I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, A. Van Leeuwen
    Building Verification Condition Generators by Compositional Extensions. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:220-230 [Conf]
  31. Naiyong Jin, Jifeng He
    Towards A Truly Concurrent Model for Processes Sharing Resources. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:231-239 [Conf]
  32. Joseph Kuehn, Charles Lakos, Robert Esser
    A Proposal For Relative Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:240-249 [Conf]
  33. Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:250-260 [Conf]
  34. Anthony Hall
    Making Formal Methods Work. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:261-262 [Conf]
  35. Zoltán Pap, Gyula Csopaki, Sarolta Dibuz
    On the Theory of Patching. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:263-271 [Conf]
  36. Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Johannes Siedersleben
    Pragmatic Consistency Management in Industrial Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:272-281 [Conf]
  37. James Welch, David Faitelson, Jim Davies
    Automatic Maintenance of Association Invariants. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:282-292 [Conf]
  38. Joseph Sifakis
    A Framework for Component-based Construction Extended Abstract. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:293-300 [Conf]
  39. Mila Dalla Preda, Roberto Giacobazzi
    Control Code Obfuscation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:301-310 [Conf]
  40. Shiva Nejati, Arie Gurfinkel, Marsha Chechik
    Stuttering Abstraction for Model Checkin. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:311-320 [Conf]
  41. Lilia Georgieva, Patrick Maier
    Description Logics for Shape Analysis. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:321-331 [Conf]
  42. Hui Shi, Robert J. Ross, John A. Bateman
    Formalising Control in Robust Spoken Dialogue Systems. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:332-341 [Conf]
  43. Anke Dittmar, Peter Forbrig
    A unified description formalism for complex HCI-systems. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:342-351 [Conf]
  44. Antonio Cerone, Peter A. Lindsay, Simon Connelly
    Formal Analysis of Human-computer Interaction using Model-checking. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:352-362 [Conf]
  45. Gareth Carter, Rosemary Monahan, Joseph M. Morris
    Software Refinement with Perfect Developer. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:363-373 [Conf]
  46. 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. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:373-382 [Conf]
  47. Patrice Chalin
    Logical Foundations of Program Assertions: What do Practitioners Want?. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:383-393 [Conf]
  48. Nabil Hameurlain
    On Compatibility and Behavioural Substitutability of Component Protocols. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:394-403 [Conf]
  49. Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo
    A Strategy for the Formal Composition of Frameworks. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:404-413 [Conf]
  50. Dilian Gurov, Marieke Huisman
    Interface Abstraction for Compositional Verificatio. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:414-424 [Conf]
  51. Dan Hirsch, Emilio Tuosto
    SHReQ: Coordinating Application Level QoS. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:425-434 [Conf]
  52. Siva Anantharaman, Jing Chen, Gaétan Hains
    A Synchronous Process Calculus for Service Costs. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:435-444 [Conf]
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002