| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Javier Cámara, Sung-Shik Jongmans (eds.) |
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers  |
FACS  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Li, Meng Sun |
Challenges Engaging Formal CBSE in Industrial Applications. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bence Graics, Milán Mondok, Vince Molnár, István Majzik |
Model-Based Testing of Asynchronously Communicating Distributed Controllers. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, John Hatcliff |
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Jiadong Teng, Bo Liu 0033 |
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Perla Tannoury, Samir Chouali, Ahmed Hammad |
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença |
Overview on Constrained Multiparty Synchronisation in Team Automata. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs |
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen |
Symbolic Path-Guided Test Cases for Models with Data and Time. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky |
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoya Nitta, Shinji Kageyama, Kouta Fujii |
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha |
Formal Model In-The-Loop for Secure Industrial Control Networks. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo |
WEASY: A Tool for Modelling Optimised BPMN Processes. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rikayan Chaki, Anton Wijs |
Formally Characterizing the Effect of Model Transformations on System Properties. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
Open Compliance in Multiparty Sessions. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse |
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian |
Footprint Logic for Object-Oriented Components. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmoy Das, Arpit Sharma 0002 |
Embeddings Between State and Action Based Probabilistic Logics. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Cosimo Laneve |
Liquidity Analysis in Resource-Aware Programming. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Edixhoven, Sung-Shik Jongmans |
Realisability of Branching Pomsets. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Lizeth Tapia Tarifa, José Proença (eds.) |
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle |
Interpretation and Formalization of the Right-of-Way Rules. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Nivon, Gwen Salaün |
Debugging of BPMN Processes Using Coloring Techniques. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Compositional Simulation of Abstract State Machines for Safety Critical Systems. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Heneage Dawes, Domenico Bianculli |
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga |
Monitoring Distributed Component-Based Systems. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski 0001 |
A Canonical Algebra of Open Transition Systems. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko |
Automated Generation of Initial Configurations for Testing Component Systems. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Salim Chehida, Abdelhakim Baouya, Saddek Bensalem |
Component-Based Approach Combining UML and BIP for Rigorous System Design. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Stolze, Marino Miculan, Pietro Di Gianantonio |
Composable Partial Multiparty Session Types. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Martens 0001, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs |
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Anton Wijs (eds.) |
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto |
Corinne, a Tool for Choreography Automata. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Radu Iosif |
Specification and Safety Verification of Parametric Hierarchical Distributed Systems. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia 0001, Corina S. Pasareanu |
Learning Assumptions for Verifying Cryptographic Protocols Compositionally. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Sung-Shik Jongmans (eds.) |
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings |
FACS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Timm Liebrenz, Paula Herber, Sabine Glesner |
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Luthmann, Hendrik Göttmann, Malte Lochau |
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher A. Esterhuyse, Hans-Dieter A. Hiep |
Reowolf: Synchronous Multi-party Communication over the Internet. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, Jan F. Broenink |
A Bond-Graph Metamodel. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kadir Bulut, Guy-Vincent Jourdan, Uraz Cengiz Türker |
Minimizing Characterizing Sets. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe |
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse |
Modelling and Analysing Software in mCRL2. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler |
Modeling and Verifying Dynamic Architectures with FACTum Studio. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Zeller 0001, Annette Bieniusa, Arnd Poetzsch-Heffter |
Combining State- and Event-Based Semantics to Verify Highly Available Programs. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra van den Bos, Frits W. Vaandrager |
State Identification for Labeled Transition Systems with Inputs and Outputs. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Michael Herzberg |
A Formally Verified Model of Web Components. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda |
Modeling Guidelines for Component-Based Supervisory Control Synthesis. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Dokter |
Multilabeled Petri Nets. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Arpit Sharma 0002 |
Revisiting Trace Equivalences for Markov Automata. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Serbanescu 0001, Frank S. de Boer, Mohammad Mahdi Jaghoori |
Actors with Coroutine Support in Java. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Foster 0001, James Baxter 0001, Ana Cavalcanti 0001, Alvaro Miyazawa, Jim Woodcock 0001 |
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst |
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu |
Using Coloured Petri Nets for Resource Analysis of Active Objects. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
Programming Dynamic Reconfigurable Systems. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Christian Attiogbé |
Building Correct SDN Components from a Global Event-B Formal Model. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Marjan Sirjani |
What Good are Models? |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina Castiglioni, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
A Logical Characterization of Differential Privacy via Behavioral Metrics. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali |
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler, Habtom Kahsay Gidey |
FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky (eds.) |
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander de Putter, Anton Wijs, Dan Zhang 0002 |
The SLCO Framework for Verified, Model-Driven Construction of Component Software. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyi Li 0002, Elsa L. Gunter |
IsaK-Static: A Complete Static Semantics of \mathbb K. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Neele, Tim A. C. Willemse, Jan Friso Groote |
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola, Keijo Heljanko |
Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mojgan Kamali, Ansgar Fehnker |
Adaptive Formal Framework for WMN Routing Protocols. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulina Paraponiari, George Rahonis |
On Weighted Configuration Logics. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Camilo Rocha |
Guarded Terms for Rewriting Modulo SMT. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci 0001, Leo Freitas, Costanzo di Maria, Michael Whitaker |
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander de Putter, Anton Wijs |
Compositional Model Checking Is Lively. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Fault Localization in Service Compositions. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Pinto, Marcelo Gonçalves, Paolo Masci 0001, José Creissac Campos |
TOM: A Model-Based GUI Testing Framework. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Li 0010, Meng Sun 0002 |
Component-Based Modeling in Mediator. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Markus Lumpe (eds.) |
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasia Mavridou, Valentin Rutz, Simon Bliudze |
Coordination of Dynamic Software Components with JavaBIP. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ligia Nistor, Jonathan Aldrich |
The Implementation of Object Propositions: The Oprop Verification Tool. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Bowles, Marco B. Caminati |
Correct Composition of Dephased Behavioural Models. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Kappé, Farhad Arbab, Carolyn L. Talcott |
A Component-Oriented Framework for Autonomous Agents. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitham Bou-Ammar, Mohamad Jaber 0001, Mohamed Nassar 0001 |
Correctness-by-Learning of Infinite-State Component-Based Systems. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa |
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Kouchnarenko, Ramtin Khosravi (eds.) |
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi 0001 |
Validated Test Models for Software Product Lines: Featured Finite State Machines. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Fabrizio Montesi |
A Core Model for Choreographic Programming. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik T. Q. Jongmans |
(Context-Sensitivity In) Reo, Revisited. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 |
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Constrained Synthesis from Component Libraries. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis |
Architecture-Based Design: A Satellite On-Board Software Case Study. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Poizat, Gwen Salaün, Ajay Krishna 0001 |
Checking Business Process Evolution. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kung-Kiu Lau |
From Formal Methods to Software Components: Back to the Future? |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Pittou, Stavros Tripakis |
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese |
Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiyue Zhang, Weijiang Hong, Yi Li 0010, Meng Sun 0002 |
Reasoning About Connectors in Coq. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Bagheri 0001, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar 0001, Edward A. Lee |
Coordinated Actors for Reliable Self-adaptive Systems. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Weber |
Tool Support for Fuzz Testing of Component-Based System Adaptation Policies. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga, Peter Csaba Ölveczky (eds.) |
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh 0002 |
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Luthmann, Stephan Mennicke, Malte Lochau |
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license