default search action

combined dblp search
author search
venue search
publication search

ask others

15th FACS 2018: Pohang, South Korea

> Home > Conferences and Workshops > FACS

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/facs2/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2018
Kyungmin Bae, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Lecture Notes in Computer Science 11222, Springer 2018, ISBN 978-3-030-02145-0

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LeeS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LeeS18
Edward A. Lee, Marjan Sirjani:
What Good are Models? 3-31

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Attiogbe18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Attiogbe18
J. Christian Attiogbé:
Building Correct SDN Components from a Global Event-B Formal Model. 35-53
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BodeveixDF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BodeveixDF18
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali:
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. 54-74
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CastiglioniCP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CastiglioniCP18
Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
A Logical Characterization of Differential Privacy via Behavioral Metrics. 75-96
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DixitVA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DixitVA18
Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst:
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets. 97-117
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BallouliBBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BallouliBBS18
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming Dynamic Reconfigurable Systems. 118-136
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FosterBCMW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FosterBCMW18
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. 137-155
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/GkolfiJKY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/GkolfiJKY18
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Using Coloured Petri Nets for Resource Analysis of Active Objects. 156-174
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/KamaliF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/KamaliF18
Mojgan Kamali, Ansgar Fehnker:
Adaptive Formal Framework for WMN Routing Protocols. 175-195
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LiG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LiG18
Liyi Li, Elsa L. Gunter:
IsaK-Static: A Complete Static Semantics of \mathbb K. 196-215
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/NeeleWG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/NeeleWG18
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote:
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. 216-236
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SerbanescuBJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SerbanescuBJ18
Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori:
Actors with Coroutine Support in Java. 237-255
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SiirtolaH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SiirtolaH18
Antti Siirtola, Keijo Heljanko:
Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. 256-276

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MarmsolerG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MarmsolerG18
Diego Marmsoler, Habtom Kahsay Gidey:
FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. 279-287
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/PutterWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/PutterWZ18
Sander de Putter, Anton Wijs, Dan Zhang:
The SLCO Framework for Verified, Model-Driven Construction of Component Software. 288-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.