|
|
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 |
100 | Darren Cosker, Eva Krumhuber, Adrian Hilton 0001 |
Perception of linear and nonlinear motion properties using a FACS validated 3D facial model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 7th Symposium on Applied Perception in Graphics and Visualization, APGV 2010, Los Angeles, California, USA, July 23-24, 2010, pp. 101-108, 2010, ACM, 978-1-4503-0248-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
3D dynamic facial capture and animation, FACS |
97 | John Cooke |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(1), pp. 1, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
60 | Gwen Littlewort, Marian Stewart Bartlett, Kang Lee |
Faces of pain: automated measurement of spontaneousallfacial expressions of genuine and posed pain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 9th International Conference on Multimodal Interfaces, ICMI 2007, Nagoya, Aichi, Japan, November 12-15, 2007, pp. 15-21, 2007, ACM, 978-1-59593-817-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
spontaneous behavior, machine learning, computer vision, facial expression recognition, deception, facial action coding system, FACS, pain |
48 | Jane Reilly Delannoy, John McDonald 0001 |
Automatic estimation of the dynamics of facial expression using a three-level model of intensity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), Amsterdam, The Netherlands, 17-19 September 2008, pp. 1-6, 2008, IEEE Computer Society, 978-1-4244-2153-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Marian Stewart Bartlett, Gwen Littlewort, Claudia Lainscsek, Ian R. Fasel, Javier R. Movellan |
Machine learning methods for fully automatic recognition of facial expressions and facial actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (1) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 592-597, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Beat Fasel, Juergen Luettin |
Recognition of Asymmetric Facial Action Unit Activities and Intensities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 5100-5103, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Fernando De la Torre, Tomas Simon, Zara Ambadar, Jeffrey F. Cohn |
Fast-FACS: A Computer-Assisted System to Increase Speed and Reliability of Manual FACS Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACII (1) ![In: Affective Computing and Intelligent Interaction - 4th International Conference, ACII 2011, Memphis, TN, USA, October 9-12, 2011, Proceedings, Part I, pp. 57-66, 2011, Springer, 978-3-642-24599-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
47 | Timothy R. Brick, Michael D. Hunter, Jeffrey F. Cohn |
Get the FACS fast: Automated FACS face analysis benefits from the addition of velocity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACII ![In: Affective Computing and Intelligent Interaction, Third International Conference and Workshops, ACII 2009, Amsterdam, The Netherlands, September 10-12, 2009, Proceedings, pp. 1-7, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Cemre Zor, Terry Windeatt |
Upper Facial Action Unit Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, Third International Conference, ICB 2009, Alghero, Italy, June 2-5, 2009. Proceedings, pp. 239-248, 2009, Springer, 978-3-642-01792-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Adaboost, FACS, ECOC |
44 | Maria Shugrina, Margrit Betke, John P. Collomosse |
Empathic painting: interactive stylization through observed emotional state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPAR ![In: 4th International Symposium on Non-Photorealistic Animation and Rendering, NPAR 2006, Annecy, France, June 5-7, 2006, Proceedings, pp. 87-96, 2006, ACM, 1-59593-357-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
animation, emotion, painterly rendering, FACS |
42 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-031-52182-9 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
42 | Yi Li, Meng Sun |
Challenges Engaging Formal CBSE in Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 153-167, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Bence Graics, Milán Mondok, Vince Molnár, István Majzik |
Model-Based Testing of Asynchronously Communicating Distributed Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 23-44, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Stefan Hallerstede, John Hatcliff |
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 45-64, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Zhiming Liu 0001, Jiadong Teng, Bo Liu 0033 |
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 168-193, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Perla Tannoury, Samir Chouali, Ahmed Hammad |
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 84-102, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Germán Vidal |
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 103-123, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | José Proença |
Overview on Constrained Multiparty Synchronisation in Team Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 194-205, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Anton Wijs |
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 206-227, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen |
Symbolic Path-Guided Test Cases for Models with Data and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 3-22, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Kyungmin Bae, Peter Csaba Ölveczky |
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 127-152, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Naoya Nitta, Shinji Kageyama, Kouta Fujii |
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 65-83, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-031-20871-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 74-89, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo |
WEASY: A Tool for Modelling Optimised BPMN Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 110-118, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Rikayan Chaki, Anton Wijs |
Formally Characterizing the Effect of Model Transformations on System Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 39-58, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
Open Compliance in Multiparty Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 222-243, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse |
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 161-182, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian |
Footprint Logic for Object-Oriented Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 141-160, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Susmoy Das, Arpit Sharma 0002 |
Embeddings Between State and Action Based Probabilistic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 121-140, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Silvia Crafa, Cosimo Laneve |
Liquidity Analysis in Resource-Aware Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 205-221, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Luc Edixhoven, Sung-Shik Jongmans |
Realisability of Branching Pomsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 185-204, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle |
Interpretation and Formalization of the Right-of-Way Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 59-73, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Quentin Nivon, Gwen Salaün |
Debugging of BPMN Processes Using Coloring Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 90-109, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Compositional Simulation of Abstract State Machines for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 3-19, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Joshua Heneage Dawes, Domenico Bianculli |
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 20-38, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Gwen Salaün, Anton Wijs (eds.) |
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-030-90635-1 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga |
Monitoring Distributed Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 153-173, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski 0001 |
A Canonical Algebra of Open Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 63-81, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko |
Automated Generation of Initial Configurations for Testing Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 134-152, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Salim Chehida, Abdelhakim Baouya, Saddek Bensalem |
Component-Based Approach Combining UML and BIP for Rigorous System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 27-43, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Claude Stolze, Marino Miculan, Pietro Di Gianantonio |
Composable Partial Multiparty Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 44-62, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 115-133, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto |
Corinne, a Tool for Choreography Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 82-92, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Marius Bozga, Radu Iosif |
Specification and Safety Verification of Parametric Hierarchical Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 95-114, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia 0001, Corina S. Pasareanu |
Learning Assumptions for Verifying Cryptographic Protocols Compositionally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 3-23, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Farhad Arbab, Sung-Shik Jongmans (eds.) |
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-030-40913-5 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Timm Liebrenz, Paula Herber, Sabine Glesner |
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 127-146, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Lars Luthmann, Hendrik Göttmann, Malte Lochau |
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 147-169, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Christopher A. Esterhuyse, Hans-Dieter A. Hiep |
Reowolf: Synchronous Multi-party Communication over the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 235-242, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, Jan F. Broenink |
A Bond-Graph Metamodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 87-105, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Kadir Bulut, Guy-Vincent Jourdan, Uraz Cengiz Türker |
Minimizing Characterizing Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 72-86, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe |
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 170-190, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse |
Modelling and Analysing Software in mCRL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 25-48, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler |
Modeling and Verifying Dynamic Architectures with FACTum Studio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 243-251, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Peter Zeller 0001, Annette Bieniusa, Arnd Poetzsch-Heffter |
Combining State- and Event-Based Semantics to Verify Highly Available Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 213-232, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Petra van den Bos, Frits W. Vaandrager |
State Identification for Labeled Transition Systems with Inputs and Outputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 191-212, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Achim D. Brucker, Michael Herzberg |
A Formally Verified Model of Web Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 51-71, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 3-24, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Kasper Dokter |
Multilabeled Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 106-126, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Arpit Sharma 0002 |
Revisiting Trace Equivalences for Markov Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, pp. 252-260, 2019, Springer, 978-3-030-40913-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Kyungmin Bae, Peter Csaba Ölveczky (eds.) |
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-030-02145-0 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Vlad Serbanescu 0001, Frank S. de Boer, Mohammad Mahdi Jaghoori |
Actors with Coroutine Support in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 237-255, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 137-155, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst |
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 97-117, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu |
Using Coloured Petri Nets for Resource Analysis of Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 156-174, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
Programming Dynamic Reconfigurable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 118-136, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | J. Christian Attiogbé |
Building Correct SDN Components from a Global Event-B Formal Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 35-53, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Edward A. Lee, Marjan Sirjani |
What Good are Models? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 3-31, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Valentina Castiglioni, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
A Logical Characterization of Differential Privacy via Behavioral Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 75-96, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali |
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 54-74, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Diego Marmsoler, Habtom Kahsay Gidey |
FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 279-287, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Sander de Putter, Anton Wijs, Dan Zhang 0002 |
The SLCO Framework for Verified, Model-Driven Construction of Component Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 288-296, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Liyi Li 0002, Elsa L. Gunter |
IsaK-Static: A Complete Static Semantics of \mathbb K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 196-215, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Thomas Neele, Tim A. C. Willemse, Jan Friso Groote |
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 216-236, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Antti Siirtola, Keijo Heljanko |
Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 256-276, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Mojgan Kamali, Ansgar Fehnker |
Adaptive Formal Framework for WMN Routing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 175-195, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | José Proença, Markus Lumpe (eds.) |
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-319-68033-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![, 978-3-319-57665-7 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Paulina Paraponiari, George Rahonis |
On Weighted Configuration Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 98-116, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 58-77, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Kyungmin Bae, Camilo Rocha |
Guarded Terms for Rewriting Modulo SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 78-97, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 137-154, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Sander de Putter, Anton Wijs |
Compositional Model Checking Is Lively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 117-136, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Heike Wehrheim |
Fault Localization in Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 216-232, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Miguel Pinto, Marcelo Gonçalves, Paolo Masci 0001, José Creissac Campos |
TOM: A Model-Based GUI Testing Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 155-161, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Yi Li 0010, Meng Sun 0002 |
Component-Based Modeling in Mediator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 1-19, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Anastasia Mavridou, Valentin Rutz, Simon Bliudze |
Coordination of Dynamic Software Components with JavaBIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 39-57, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Ligia Nistor, Jonathan Aldrich |
The Implementation of Object Propositions: The Oprop Verification Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 179-197, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Juliana Bowles, Marco B. Caminati |
Correct Composition of Dephased Behavioural Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 233-250, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Tobias Kappé, Farhad Arbab, Carolyn L. Talcott |
A Component-Oriented Framework for Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 20-38, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Haitham Bou-Ammar, Mohamad Jaber 0001, Mohamed Nassar 0001 |
Correctness-by-Learning of Infinite-State Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 162-178, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, pp. 198-215, 2017, Springer, 978-3-319-68033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
42 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Springer, 978-3-319-28933-5 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi 0001 |
Validated Test Models for Software Product Lines: Featured Finite State Machines. ![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. 210-227, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Luís Cruz-Filipe, Fabrizio Montesi |
A Core Model for Choreographic Programming. ![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. 17-35, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Sung-Shik T. Q. Jongmans |
(Context-Sensitivity In) Reo, Revisited. ![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. 191-209, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | 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. ![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. 134-152, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Constrained Synthesis from Component Libraries. ![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. 92-110, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis |
Architecture-Based Design: A Satellite On-Board Software Case Study. ![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. 260-279, 2016, 978-3-319-57665-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 570 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|