Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Flavio Corradini, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001 |
An Operational Semantics of BPMN Collaboration. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia 0001, Alessandro Sebastian Podda, Livio Pompianu |
A Contract-Oriented Middleware. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Westman, Mattias Nyberg |
Formal Architecture Modeling of Sequential C-Programs. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Proença, Dave Clarke 0001 |
Typed Connector Families. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye |
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis |
Configuration Logics: Modelling Architecture Styles. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Kim G. Larsen, Andrea Morichetta 0001, Francesco Tiezzi 0001 |
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof |
Combinatory Synthesis of Classes Using Feature Grammars. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lenz Belzner, Rolf Hennicker, Martin Wirsing |
OnPlan: A Framework for Simulation-Based Online Planning. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun |
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini |
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Eric Madelaine (eds.) |
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yael Meller, Orna Grumberg, Karen Yorav |
Learning-Based Compositional Model Checking of Behavioral UML Systems. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab |
Composing Constraint Automata, State-by-State. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan 0001, Ramtin Khosravi |
Floating Time Transition System: More Efficient Analysis of Timed Actors. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Déharbe, Stephan Merz |
Software Component Design with the B Method - A Formalization in Isabelle/HOL. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
A Robust Framework for Securing Composed Web Services. |
FACS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Bernard Stefani |
Components as Location Graphs. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert 0001 |
Place-Liveness of ComSA Applications. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Francesco Burato, Alberto Carraro |
Intransitive Non-Interference by Unfolding. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamad Noureddine, Mohamad Jaber 0001, Simon Bliudze, Fadi A. Zaraket |
Reduction and Abstraction Techniques for BIP. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Di Stasio 0001, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino |
Solving Parity Games in Scala. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Verdier, Jean-Baptiste Raclet |
MAccS: A Tool for Reachability by Design. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
Widening the Schedulability of Hierarchical Scheduling Systems. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl |
Impact Models for Architecture-Based Self-adaptive Systems. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi (Yulin) Zhang |
Formal Rules for Reliable Component-Based Architecture Evolution. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou |
Adding Formal Meanings to AADL with Hybrid Annex. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Siavash Soleimanifard, Dilian Gurov |
Algorithmic Verification of Procedural Programs in the Presence of Code Variability. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Martijn E. M. van der Werf |
Compositional Verification of Asynchronously Communicating Systems. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll 0001 |
Compositional Analysis Using Component-Oriented Interpolation. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sven Walther, Heike Wehrheim |
Verified Service Compositions by Template-Based Construction. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola |
A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract). |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle Klarl, Lucia Cichella, Rolf Hennicker |
From Helena Ensemble Specifications to Executable Code. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marc Sango, Laurence Duchien, Christophe Gransart |
Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Olga Kouchnarenko, Jean-François Weber |
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, John Derrick, Brijesh Dongol |
Admit Your Weakness: Verifying Correctness on TSO Architectures. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez |
Compositionality for Quantitative Specifications. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi 0001, Franco Zambonelli |
Formalising Adaptation Patterns for Autonomic Ensembles. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0010, Meng Sun 0002 |
Modeling and Analysis of Component Connectors in Coq. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jayadev Misra |
Orchestration. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nehul Jain, Saikat Dutta 0001, Ansuman Banerjee, Anil Kumar Ghosh 0001, Lihua Xu, Huibiao Zhu |
Using Daikon to Prioritize and Group Unit Bugs. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ruzhen Dong, Naijun Zhan |
Towards a Failure Model of Software Components. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anton Wijs |
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Hufflen |
A Framework for Handling Non-functional Properties Within a Component-Based Approach. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiuna Zhu |
A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Axel Legay |
Probabilistic Modal Specifications (Invited Extended Abstract). |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Olga Kouchnarenko, Jean-François Weber |
Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil |
Towards Verification of Ensemble-Based Component Systems. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Meriem Ouederni, Gwen Salaün, Tevfik Bultan |
Compatibility Checking for Asynchronously Communicating Software. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neda Noroozi, Mohammad Reza Mousavi 0001, Tim A. C. Willemse |
On the Complexity of Input Output Conformance Testing. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arpit Sharma 0002, Joost-Pieter Katoen |
Layered Reduction for Modal Specification Theories. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro |
Automatic Component Deployment in the Presence of Circular Dependencies. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Carrillo, Samir Chouali, Hassan Mountassir |
Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou |
Super-Dense Computation in Verification of Hybrid CSP Processes. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ali Hong, Yijing Liu, Zongyan Qiu |
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Bai 0005, Emmanuel M. Tadjouddine, Terry R. Payne, Sheng-Uei Guan |
A Proof-Carrying Code Approach to Certificate Auction Mechanisms. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Gaspar, Ludovic Henrio, Eric Madelaine |
Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Gößler, Daniel Le Métayer |
A General Trace-Based Framework of Logical Causality. |
FACS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson, Roberto Vigo |
A Calculus for Quality. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christos Kloukinas, Mert Ozkaya |
Xcd - Modular, Realizable Software Architectures. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson |
Guided Search for Deadlocks in Actor-Based Models. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li 0001 |
Assumption Generation for Asynchronous Systems by Abstraction Refinement. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris Chilton, Bengt Jonsson 0001, Marta Z. Kwiatkowska |
Assume-Guarantee Reasoning for Safe Component Behaviours. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kyungmin Bae, José Meseguer 0001, Peter Csaba Ölveczky |
Formal Patterns for Multi-rate Distributed Real-Time Systems. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro |
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian S. Bauer, Rolf Hennicker, Axel Legay |
Component Interfaces with Contracts on Ports. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu 0001, Vasant G. Honavar |
Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum |
A Categorical Approach to Structuring and Promoting Z Specifications. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Sasse, Samuel T. King, José Meseguer 0001, Shuo Tang |
IBOS: A Correct-By-Construction Modular Browser. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Stijn de Gouw |
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amir Molzam Sharifloo, Paola Spoletini |
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Harsh Beohar, Pieter J. L. Cuijpers |
Avoiding Diamonds in Desynchronization. |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
FACS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani |
Networks of Real-Time Actors. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Limet, Sophie Robert 0001, Ahmed Turki |
Controlling an Iteration-Wise Coherence in Dataflow. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plásil |
Verifying Temporal Properties of Use-Cases in Natural Language. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine |
Verifying Safety of Fault-Tolerant Distributed Components. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Alberto Lluch-Lafuente |
Evaluating the Performance of Model Transformation Styles in Maude. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
A Modal Specification Theory for Components with Data. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Fabio Mogavero, Aniello Murano |
Synthesis of Hierarchical Systems. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra |
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson |
The Logic of XACML. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
Taming Distributed System Complexity through Formal Patterns. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hamideh Sabouri, Ramtin Khosravi |
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco |
Bigraphical Modelling of Architectural Patterns. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall |
Timed Conformance Testing for Orchestrated Service Discovery. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | José Antonio Martín, Antonio Brogi, Ernesto Pimentel 0001 |
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dan Li, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz |
Interactive Transformations from Object-Oriented Models to Component-Based Models. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John Rushby |
Composing Safe Systems. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux |
A Proof Assistant Based Formalization of MDE Components. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|