default search action

combined dblp search
author search
venue search
publication search

ask others

15th FMICS 2010: Antwerp, Belgium

> Home > Conferences and Workshops > FMICS

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/fmics/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2010
Stefan Kowalewski, Marco Roveri:
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Lecture Notes in Computer Science 6371, Springer 2010, ISBN 978-3-642-15897-1
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FerrariGMFT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FerrariGMFT10
Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini:
The Metrô Rio ATP Case Study. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AltenhofenB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AltenhofenB10
Michael Altenhofen, Achim D. Brucker:
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. 17-32
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BryansW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BryansW10
Jeremy W. Bryans, Wei Wei:
Formal Analysis of BPMN Models Using Event-B. 33-49
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/IliasovTLRVIL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/IliasovTLRVIL10
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
Developing Mode-Rich Satellite Software by Refinement in Event B. 50-66
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KernE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KernE10
Christian Kern, Javier Esparza:
Automatic Error Correction of Java Programs. 67-81
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BrauerKK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BrauerKK10
Jörg Brauer, Andy King, Stefan Kowalewski:
Range Analysis of Microcontroller Code Using Bit-Level Congruences. 82-98
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MashiyatRWM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MashiyatRWM10
Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull:
An Automated Translator for Model Checking Time Constrained Workflow Systems. 99-114
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/WernerF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/WernerF10
Frank Werner, David Faragó:
Correctness of Sensor Network Applications by Software Bounded Model Checking. 115-131
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GerkeEFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GerkeEFP10
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter:
Model Checking the FlexRay Physical Layer Protocol. 132-147
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SteinerD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SteinerD10
Wilfried Steiner, Bruno Dutertre:
SMT-Based Formal Verification of a TTEthernet Synchronization Function. 148-163
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GalatakiRVF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GalatakiRVF10
Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink:
Embedded Network Protocols for Mobile Devices. 164-179
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MateescuS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MateescuS10
Radu Mateescu, Wendelin Serwe:
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. 180-197
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CamenischMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CamenischMS10
Jan Camenisch, Sebastian Mödersheim, Dieter Sommer:
A Formal Model of Identity Mixer. 198-214
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KristensenW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KristensenW10
Lars Michael Kristensen, Michael Westergaard:
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. 215-230

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.