|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 74 occurrences of 46 keywords
|
|
|
Results
Found 570 publication records. Showing 570 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
42 | Pascal Poizat, Gwen Salaün, Ajay Krishna 0001 |
Checking Business Process Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 36-53, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Kung-Kiu Lau |
From Formal Methods to Software Components: Back to the Future? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 10-14, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang |
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 111-133, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Maria Pittou, Stavros Tripakis |
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 73-91, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Holger Giese |
Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 3-9, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Xiyue Zhang, Weijiang Hong, Yi Li 0010, Meng Sun 0002 |
Reasoning About Connectors in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 172-190, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Maryam Bagheri 0001, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar 0001, Edward A. Lee |
Coordinated Actors for Reliable Self-adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 241-259, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Jean-François Weber |
Tool Support for Fuzz Testing of Component-Based System Adaptation Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 231-237, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh 0002 |
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 153-171, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Lars Luthmann, Stephan Mennicke, Malte Lochau |
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, pp. 54-72, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Ivan Lanese, Eric Madelaine (eds.) |
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-319-15316-2 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Flavio Corradini, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001 |
An Operational Semantics of BPMN Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 161-180, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia 0001, Alessandro Sebastian Podda, Livio Pompianu |
A Contract-Oriented Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 86-104, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Jonas Westman, Mattias Nyberg |
Formal Architecture Modeling of Sequential C-Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 312-329, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | José Proença, Dave Clarke 0001 |
Typed Connector Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 294-311, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye |
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 48-65, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis |
Configuration Logics: Modelling Architecture Styles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 256-274, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Luca Aceto, Kim G. Larsen, Andrea Morichetta 0001, Francesco Tiezzi 0001 |
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 66-85, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof |
Combinatory Synthesis of Classes Using Feature Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 123-140, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs 0002, Ruurd Kuiper 0001, Sybren Roede, Anton Wijs, Dan Zhang 0002 |
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 141-160, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Lenz Belzner, Rolf Hennicker, Martin Wirsing |
OnPlan: A Framework for Simulation-Based Online Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 1-30, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun |
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 199-216, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini |
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 181-198, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Yael Meller, Orna Grumberg, Karen Yorav |
Learning-Based Compositional Model Checking of Behavioral UML Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 275-293, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab |
Composing Constraint Automata, State-by-State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 217-236, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan 0001, Ramtin Khosravi |
Floating Time Transition System: More Efficient Analysis of Timed Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 237-255, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | David Déharbe, Stephan Merz |
Software Component Design with the B Method - A Formalization in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 31-47, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
A Robust Framework for Securing Composed Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 105-122, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | José Luiz Fiadeiro, Zhiming Liu 0001, Jinyun Xue (eds.) |
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-319-07601-0 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Jean-Bernard Stefani |
Components as Location Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 3-23, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert 0001 |
Place-Liveness of ComSA Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 346-363, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini |
MPass: An Efficient Tool for the Analysis of Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 198-206, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Paolo Baldan, Francesco Burato, Alberto Carraro |
Intransitive Non-Interference by Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 269-287, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Mohamad Noureddine, Mohamad Jaber 0001, Simon Bliudze, Fadi A. Zaraket |
Reduction and Abstraction Techniques for BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 288-305, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Antonio Di Stasio 0001, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino |
Solving Parity Games in Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 145-161, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Guillaume Verdier, Jean-Baptiste Raclet |
MAccS: A Tool for Reachability by Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 191-197, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
Widening the Schedulability of Hierarchical Scheduling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 209-227, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl |
Impact Models for Architecture-Based Self-adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 89-107, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi (Yulin) Zhang |
Formal Rules for Reliable Component-Based Architecture Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 127-142, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou |
Adding Formal Meanings to AADL with Hybrid Annex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 228-247, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Siavash Soleimanifard, Dilian Gurov |
Algorithmic Verification of Procedural Programs in the Presence of Code Variability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 327-345, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Jan Martijn E. M. van der Werf |
Compositional Verification of Asynchronously Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 49-67, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll 0001 |
Compositional Analysis Using Component-Oriented Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 68-85, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Sven Walther, Heike Wehrheim |
Verified Service Compositions by Template-Based Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 31-48, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Rocco De Nicola |
A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 24-28, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Annabelle Klarl, Lucia Cichella, Rolf Hennicker |
From Helena Ensemble Specifications to Executable Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 183-190, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Marc Sango, Laurence Duchien, Christophe Gransart |
Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 248-266, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Olga Kouchnarenko, Jean-François Weber |
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 108-126, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Md Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie |
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 162-180, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Graeme Smith 0001, John Derrick, Brijesh Dongol |
Admit Your Weakness: Verifying Correctness on TSO Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 364-383, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez |
Compositionality for Quantitative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 306-324, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
42 | Corina S. Pasareanu, Gwen Salaün (eds.) |
Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-642-35860-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi 0001, Franco Zambonelli |
Formalising Adaptation Patterns for Autonomic Ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 100-118, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Yi Li 0010, Meng Sun 0002 |
Modeling and Analysis of Component Connectors in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 273-290, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 61-78, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Jayadev Misra |
Orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 5-12, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Nehul Jain, Saikat Dutta 0001, Ansuman Banerjee, Anil Kumar Ghosh 0001, Lihua Xu, Huibiao Zhu |
Using Daikon to Prioritize and Group Unit Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 215-233, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Ruzhen Dong, Naijun Zhan |
Towards a Failure Model of Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 119-136, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Anton Wijs |
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 348-368, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Jean-Michel Hufflen |
A Framework for Handling Non-functional Properties Within a Component-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 196-214, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Xiuna Zhu |
A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 369-383, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Kim G. Larsen, Axel Legay |
Probabilistic Modal Specifications (Invited Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 1-4, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Olga Kouchnarenko, Jean-François Weber |
Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 234-253, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil |
Towards Verification of Ensemble-Based Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 41-60, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Meriem Ouederni, Gwen Salaün, Tevfik Bultan |
Compatibility Checking for Asynchronously Communicating Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 310-328, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Neda Noroozi, Mohammad Reza Mousavi 0001, Tim A. C. Willemse |
On the Complexity of Input Output Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 291-309, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Arpit Sharma 0002, Joost-Pieter Katoen |
Layered Reduction for Modal Specification Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 329-347, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro |
Automatic Component Deployment in the Presence of Circular Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 254-272, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Oscar Carrillo, Samir Chouali, Hassan Mountassir |
Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 79-99, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou |
Super-Dense Computation in Verification of Hybrid CSP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 13-22, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Ali Hong, Yijing Liu, Zongyan Qiu |
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 174-195, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Wei Bai 0005, Emmanuel M. Tadjouddine, Terry R. Payne, Sheng-Uei Guan |
A Proof-Carrying Code Approach to Certificate Auction Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 23-40, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Nuno Gaspar, Ludovic Henrio, Eric Madelaine |
Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 137-156, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Gregor Gößler, Daniel Le Métayer |
A General Trace-Based Framework of Logical Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 157-173, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
42 | Farhad Arbab, Peter Csaba Ölveczky (eds.) |
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-642-35742-8 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Luís Soares Barbosa, Markus Lumpe (eds.) |
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-642-27268-4 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Hanne Riis Nielson, Flemming Nielson, Roberto Vigo |
A Calculus for Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 188-204, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Christos Kloukinas, Mert Ozkaya |
Xcd - Modular, Realizable Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 152-169, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson |
Guided Search for Deadlocks in Actor-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 242-259, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro |
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 110-127, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li 0001 |
Assumption Generation for Asynchronous Systems by Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 260-276, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Chris Chilton, Bengt Jonsson 0001, Marta Z. Kwiatkowska |
Assume-Guarantee Reasoning for Safe Component Behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 92-109, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Kyungmin Bae, José Meseguer 0001, Peter Csaba Ölveczky |
Formal Patterns for Multi-rate Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 1-18, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro |
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 55-72, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Sebastian S. Bauer, Rolf Hennicker, Axel Legay |
Component Interfaces with Contracts on Ports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 19-35, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu 0001, Vasant G. Honavar |
Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 205-223, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Nils Jansen 0001, Erika Ábrahám, Barna Zajzon, Ralf Wimmer 0001, Johann Schuster, Joost-Pieter Katoen, Bernd Becker 0001 |
Symbolic Counterexample Generation for Discrete-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 134-151, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum |
A Categorical Approach to Structuring and Promoting Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 73-91, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Ralf Sasse, Samuel T. King, José Meseguer 0001, Shuo Tang |
IBOS: A Correct-By-Construction Modular Browser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 224-241, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Frank S. de Boer, Stijn de Gouw |
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 128-133, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Amir Molzam Sharifloo, Paola Spoletini |
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 170-187, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Harsh Beohar, Pieter J. L. Cuijpers |
Avoiding Diamonds in Desynchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, pp. 36-54, 2012, Springer, 978-3-642-35860-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
42 | Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani |
Networks of Real-Time Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 168-186, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Sébastien Limet, Sophie Robert 0001, Ahmed Turki |
Controlling an Iteration-Wise Coherence in Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 241-258, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plásil |
Verifying Temporal Properties of Use-Cases in Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 350-367, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine |
Verifying Safety of Fault-Tolerant Distributed Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 278-295, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Roberto Bruni, Alberto Lluch-Lafuente |
Evaluating the Performance of Model Transformation Styles in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 79-96, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 187-204, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
A Modal Specification Theory for Components with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 61-78, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Benjamin Aminof, Fabio Mogavero, Aniello Murano |
Synthesis of Hierarchical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 42-60, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 570 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|