default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. FMCO 2004: Leiden, The Netherlands
- Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3657, Springer 2005, ISBN 3-540-29131-8 - Thomas Ball:
A Theory of Predicate-Complete Test Coverage and Generation. 1-22 - Luís Soares Barbosa
:
A Perspective on Component Refinement. 23-48 - Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám:
A Fully Abstract Semantics for UML Components. 49-69 - Pierre Cointe, Hervé Albin-Amiot, Simon Denier:
From (Meta) Objects to Aspects: A Java and AspectJ Point of View. 70-94 - Rocco De Nicola, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility. 95-119 - Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Probabilistic Linda-Based Coordination Languages. 120-140 - Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with Secure Equilibria. 141-161 - Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Priced Timed Automata: Algorithms and Applications. 162-182 - Zhiming Liu, Jifeng He, Xiaoshan Li:
rCOS: Refinement of Component and Object Systems. 183-221 - Davide Ancona, Eugenio Moggi:
Program Generation and Components. 222-250 - David A. Naumann:
Assertion-Based Encapsulation, Object Invariants and Simulations. 251-273 - Einar Broch Johnsen, Olaf Owe:
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. 274-295 - Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen:
Observability, Connectivity, and Replay in a Sequential Calculus of Classes. 296-316 - Reinhard Wilhelm:
Timing Analysis and Timing Predictability. 317-323
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.
last updated on 2026-05-27 02:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
