default search action

combined dblp search
author search
venue search
publication search

ask others

60th Birthday: Egon Börger 2009

> Home > Conferences and Workshops > Birthday

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2009borger
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2009borger
Jean-Raymond Abrial, Uwe Glässer:
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5115, Springer 2009, ISBN 978-3-642-11446-5
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BoulmeP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BoulmeP09
Sylvain Boulmé, Marie-Laure Potet:
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CansellM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CansellM09
Dominique Cansell, Dominique Méry:
Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. 17-32
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GargantiniRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GargantiniRS09
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Ten Reasons to Metamodel ASMs. 33-49
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GlauschR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GlauschR09
Andreas Glausch, Wolfgang Reisig:
An ASM-Characterization of a Class of Distributed Algorithms. 50-64
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KirchbergSZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KirchbergSZ09
Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao:
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. 65-77
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LeuschelCB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LeuschelCB09
Michael Leuschel, Dominique Cansell, Michael J. Butler:
Validating and Animating Higher-Order Recursive Functions in B. 78-92
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SchellhornGHMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SchellhornGHMR09
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif:
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. 93-110
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SchmidtT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SchmidtT09
Peggy Schmidt, Bernhard Thalheim:
Management of UML Clusters. 111-129
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/TreharneSGEI09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/TreharneSGEI09
Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill:
A Step towards Merging xUML and CSP || {\| \ }B. 130-146
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FarahbodGGM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FarahbodGGM09
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma:
CoreASM Plug-In Architecture. 147-169
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GervasiF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GervasiF09
Vincenzo Gervasi, Roozbeh Farahbod:
JASMine: Accessing Java Code from CoreASM. 170-186
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MullerR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MullerR09
Peter Müller, Joseph N. Ruskiewicz:
A Modular Verification Methodology for C# Delegates. 187-203
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KolovosPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KolovosPP09
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. 204-218
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BowenH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BowenH09
Jonathan P. Bowen, Michael G. Hinchey:
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. 219-233

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.