The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for FACS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1988 (31) 1990-1992 (35) 1994 (16) 1995-2002 (39) 2003-2005 (39) 2006 (26) 2007 (32) 2008 (39) 2009 (34) 2010 (26) 2011 (25) 2012 (20) 2013 (25) 2014 (27) 2015 (23) 2016 (22) 2017 (17) 2018 (19) 2019 (18) 2020-2021 (15) 2022 (24) 2023 (17) 2024 (1)
Publication types (Num. hits)
article(33) inproceedings(511) proceedings(26)
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
100Darren Cosker, Eva Krumhuber, Adrian Hilton 0001 Perception of linear and nonlinear motion properties using a FACS validated 3D facial model. Search on Bibsonomy APGV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF 3D dynamic facial capture and animation, FACS
97John Cooke Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
60Gwen Littlewort, Marian Stewart Bartlett, Kang Lee Faces of pain: automated measurement of spontaneousallfacial expressions of genuine and posed pain. Search on Bibsonomy ICMI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF spontaneous behavior, machine learning, computer vision, facial expression recognition, deception, facial action coding system, FACS, pain
48Jane Reilly Delannoy, John McDonald 0001 Automatic estimation of the dynamics of facial expression using a three-level model of intensity. Search on Bibsonomy FG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Marian 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 SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Beat Fasel, Juergen Luettin Recognition of Asymmetric Facial Action Unit Activities and Intensities. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
47Fernando 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 ACII (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
47Timothy 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 ACII The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Cemre Zor, Terry Windeatt Upper Facial Action Unit Recognition. Search on Bibsonomy ICB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Adaboost, FACS, ECOC
44Maria Shugrina, Margrit Betke, John P. Collomosse Empathic painting: interactive stylization through observed emotional state. Search on Bibsonomy NPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF animation, emotion, painterly rendering, FACS
42Javier 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 FACS The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
42Yi Li, Meng Sun Challenges Engaging Formal CBSE in Industrial Applications. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Bence Graics, Milán Mondok, Vince Molnár, István Majzik Model-Based Testing of Asynchronously Communicating Distributed Controllers. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Stefan Hallerstede, John Hatcliff A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Zhiming Liu 0001, Jiadong Teng, Bo Liu 0033 Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Perla Tannoury, Samir Chouali, Ahmed Hammad Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Germán Vidal From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42José Proença Overview on Constrained Multiparty Synchronisation in Team Automata. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Anton Wijs Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen Symbolic Path-Guided Test Cases for Models with Data and Time. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Kyungmin Bae, Peter Csaba Ölveczky Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Naoya Nitta, Shinji Kageyama, Kouta Fujii A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
42Silvia 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 FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Laurynas 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 FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo WEASY: A Tool for Modelling Optimised BPMN Processes. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Rikayan Chaki, Anton Wijs Formally Characterizing the Effect of Model Transformations on System Properties. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro Open Compliance in Multiparty Sessions. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse Decompositional Branching Bisimulation Minimisation of Monolithic Processes. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian Footprint Logic for Object-Oriented Components. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Susmoy Das, Arpit Sharma 0002 Embeddings Between State and Action Based Probabilistic Logics. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Silvia Crafa, Cosimo Laneve Liquidity Analysis in Resource-Aware Programming. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Luc Edixhoven, Sung-Shik Jongmans Realisability of Branching Pomsets. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle Interpretation and Formalization of the Right-of-Way Rules. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Quentin Nivon, Gwen Salaün Debugging of BPMN Processes Using Coloring Techniques. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra Compositional Simulation of Abstract State Machines for Safety Critical Systems. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Joshua Heneage Dawes, Domenico Bianculli Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Gwen 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 FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga Monitoring Distributed Component-Based Systems. Search on Bibsonomy FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski 0001 A Canonical Algebra of Open Transition Systems. Search on Bibsonomy FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko Automated Generation of Initial Configurations for Testing Component Systems. Search on Bibsonomy FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Salim Chehida, Abdelhakim Baouya, Saddek Bensalem Component-Based Approach Combining UML and BIP for Rigorous System Design. Search on Bibsonomy FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Claude Stolze, Marino Miculan, Pietro Di Gianantonio Composable Partial Multiparty Session Types. Search on Bibsonomy FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Jan 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 FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto Corinne, a Tool for Choreography Automata. Search on Bibsonomy FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Marius Bozga, Radu Iosif Specification and Safety Verification of Parametric Hierarchical Distributed Systems. Search on Bibsonomy FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia 0001, Corina S. Pasareanu Learning Assumptions for Verifying Cryptographic Protocols Compositionally. Search on Bibsonomy FACS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Farhad 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 FACS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Timm Liebrenz, Paula Herber, Sabine Glesner A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Lars Luthmann, Hendrik Göttmann, Malte Lochau Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Christopher A. Esterhuyse, Hans-Dieter A. Hiep Reowolf: Synchronous Multi-party Communication over the Internet. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, Jan F. Broenink A Bond-Graph Metamodel. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Kadir Bulut, Guy-Vincent Jourdan, Uraz Cengiz Türker Minimizing Characterizing Sets. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Jan 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 FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler Modeling and Verifying Dynamic Architectures with FACTum Studio. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Peter Zeller 0001, Annette Bieniusa, Arnd Poetzsch-Heffter Combining State- and Event-Based Semantics to Verify Highly Available Programs. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Petra van den Bos, Frits W. Vaandrager State Identification for Labeled Transition Systems with Inputs and Outputs. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Achim D. Brucker, Michael Herzberg A Formally Verified Model of Web Components. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Martijn 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 FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Kasper Dokter Multilabeled Petri Nets. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Arpit Sharma 0002 Revisiting Trace Equivalences for Markov Automata. Search on Bibsonomy FACS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Kyungmin 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 FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Vlad Serbanescu 0001, Frank S. de Boer, Mohammad Mahdi Jaghoori Actors with Coroutine Support in Java. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Simon 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 FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Prabhakar 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 FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu Using Coloured Petri Nets for Resource Analysis of Active Objects. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Programming Dynamic Reconfigurable Systems. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42J. Christian Attiogbé Building Correct SDN Components from a Global Event-B Formal Model. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Edward A. Lee, Marjan Sirjani What Good are Models? Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Valentina Castiglioni, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi A Logical Characterization of Differential Privacy via Behavioral Metrics. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali Event-B Formalization of a Variability-Aware Component Model Patterns Framework. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Diego Marmsoler, Habtom Kahsay Gidey FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Sander de Putter, Anton Wijs, Dan Zhang 0002 The SLCO Framework for Verified, Model-Driven Construction of Component Software. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Liyi Li 0002, Elsa L. Gunter IsaK-Static: A Complete Static Semantics of \mathbb K. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Thomas Neele, Tim A. C. Willemse, Jan Friso Groote Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Antti Siirtola, Keijo Heljanko Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Mojgan Kamali, Ansgar Fehnker Adaptive Formal Framework for WMN Routing Protocols. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42José 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 FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Olga 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 FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Paulina Paraponiari, George Rahonis On Weighted Configuration Logics. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Shiji 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 FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Kyungmin Bae, Camilo Rocha Guarded Terms for Rewriting Modulo SMT. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Michael 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 FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Sander de Putter, Anton Wijs Compositional Model Checking Is Lively. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Heike Wehrheim Fault Localization in Service Compositions. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Miguel Pinto, Marcelo Gonçalves, Paolo Masci 0001, José Creissac Campos TOM: A Model-Based GUI Testing Framework. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Yi Li 0010, Meng Sun 0002 Component-Based Modeling in Mediator. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Anastasia Mavridou, Valentin Rutz, Simon Bliudze Coordination of Dynamic Software Components with JavaBIP. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Ligia Nistor, Jonathan Aldrich The Implementation of Object Propositions: The Oprop Verification Tool. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Juliana Bowles, Marco B. Caminati Correct Composition of Dephased Behavioural Models. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Tobias Kappé, Farhad Arbab, Carolyn L. Talcott A Component-Oriented Framework for Autonomous Agents. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Haitham Bou-Ammar, Mohamad Jaber 0001, Mohamed Nassar 0001 Correctness-by-Learning of Infinite-State Component-Based Systems. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Allberson 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 FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
42Christiano 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 FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi 0001 Validated Test Models for Software Product Lines: Featured Finite State Machines. Search on Bibsonomy FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Luís Cruz-Filipe, Fabrizio Montesi A Core Model for Choreographic Programming. Search on Bibsonomy FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Sung-Shik T. Q. Jongmans (Context-Sensitivity In) Reo, Revisited. Search on Bibsonomy FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Stefano 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 FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli Constrained Synthesis from Component Libraries. Search on Bibsonomy FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
42Anastasia 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 FACS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 570 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license