default search action

combined dblp search
author search
venue search
publication search

ask others

5. FMCO 2006: Amsterdam, The Netherlands

> Home > Conferences and Workshops > FMCO

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/fmco/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/2006
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709, Springer 2007, ISBN 978-3-540-74791-8

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/fmco/FrantzenT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/FrantzenT06
Lars Frantzen, Jan Tretmans:
Model-Based Testing of Environmental Conformance of Components. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/ArthoBH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/ArthoBH06
Cyrille Artho, Armin Biere, Shinichi Honiden:
Exhaustive Testing of Exception Handlers with Enforcer. 26-46
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/JeannetJR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/JeannetJR06
Bertrand Jeannet, Thierry Jéron, Vlad Rusu:
Model-Based Test Selection for Infinite-State Reactive Systems. 47-69

Program Verification

- view
  authority control:
- export record
  dblp key:
  - conf/fmco/AhrendtBHRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/AhrendtBHRS06
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt:
Verifying Object-Oriented Programs with KeY: A Tutorial. 70-101
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Sirjani06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Sirjani06
Marjan Sirjani:
Rebeca: Theory, Applications, and Tools. 102-126
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Leucker06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Leucker06
Martin Leucker:
Learning Meets Verification. 127-151

Trust and Security

- view
  authority control:
- export record
  dblp key:
  - conf/fmco/BartheBCGHLPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/BartheBCGHLPR06
Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet:
JACK - A Tool for Validation of Security and Behaviour of Java Applications. 152-174
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/SassoneKN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/SassoneKN06
Vladimiro Sassone, Karl Krukow, Mogens Nielsen:
Towards a Formal Framework for Computational Trust. 175-184

Models of Computation

- view
  authority control:
- export record
  dblp key:
  - conf/fmco/ArandaGPV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/ArandaGPV06
Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia:
On Recursion, Replication and Scope Mechanisms in Process Calculi. 185-206
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Dezani-CiancagliniGDY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Dezani-CiancagliniGDY06
Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages. 207-245

Distributed Programming

- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DonkervoetA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DonkervoetA06
Bill Donkervoet, Gul Agha:
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. 246-265
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/CooperLWY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/CooperLWY06
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
Links: Web Programming Without Tiers. 266-296

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.