|
|
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. |
APGV |
2010 |
DBLP DOI BibTeX RDF |
3D dynamic facial capture and animation, FACS |
97 | John Cooke |
Editorial. |
Formal Aspects Comput. |
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. |
ICMI |
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. |
FG |
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. |
SMC (1) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Beat Fasel, Juergen Luettin |
Recognition of Asymmetric Facial Action Unit Activities and Intensities. |
ICPR |
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. |
ACII (1) |
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. |
ACII |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Cemre Zor, Terry Windeatt |
Upper Facial Action Unit Recognition. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
Adaboost, FACS, ECOC |
44 | Maria Shugrina, Margrit Betke, John P. Collomosse |
Empathic painting: interactive stylization through observed emotional state. |
NPAR |
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 |
FACS |
2024 |
DBLP DOI BibTeX RDF |
|
42 | Yi Li, Meng Sun |
Challenges Engaging Formal CBSE in Industrial Applications. |
FACS |
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. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Stefan Hallerstede, John Hatcliff |
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. |
FACS |
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. |
FACS |
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. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Germán Vidal |
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
42 | José Proença |
Overview on Constrained Multiparty Synchronisation in Team Automata. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Anton Wijs |
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. |
FACS |
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. |
FACS |
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. |
FACS |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Naoya Nitta, Shinji Kageyama, Kouta Fujii |
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. |
FACS |
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 |
FACS |
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. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo |
WEASY: A Tool for Modelling Optimised BPMN Processes. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Rikayan Chaki, Anton Wijs |
Formally Characterizing the Effect of Model Transformations on System Properties. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
Open Compliance in Multiparty Sessions. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse |
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. |
FACS |
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. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Susmoy Das, Arpit Sharma 0002 |
Embeddings Between State and Action Based Probabilistic Logics. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Silvia Crafa, Cosimo Laneve |
Liquidity Analysis in Resource-Aware Programming. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Luc Edixhoven, Sung-Shik Jongmans |
Realisability of Branching Pomsets. |
FACS |
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. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Quentin Nivon, Gwen Salaün |
Debugging of BPMN Processes Using Coloring Techniques. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Compositional Simulation of Abstract State Machines for Safety Critical Systems. |
FACS |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Joshua Heneage Dawes, Domenico Bianculli |
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. |
FACS |
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 |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga |
Monitoring Distributed Component-Based Systems. |
FACS |
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. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko |
Automated Generation of Initial Configurations for Testing Component Systems. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Salim Chehida, Abdelhakim Baouya, Saddek Bensalem |
Component-Based Approach Combining UML and BIP for Rigorous System Design. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Claude Stolze, Marino Miculan, Pietro Di Gianantonio |
Composable Partial Multiparty Session Types. |
FACS |
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. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto |
Corinne, a Tool for Choreography Automata. |
FACS |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Marius Bozga, Radu Iosif |
Specification and Safety Verification of Parametric Hierarchical Distributed Systems. |
FACS |
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. |
FACS |
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 |
FACS |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Timm Liebrenz, Paula Herber, Sabine Glesner |
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Lars Luthmann, Hendrik Göttmann, Malte Lochau |
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Christopher A. Esterhuyse, Hans-Dieter A. Hiep |
Reowolf: Synchronous Multi-party Communication over the Internet. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, Jan F. Broenink |
A Bond-Graph Metamodel. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Kadir Bulut, Guy-Vincent Jourdan, Uraz Cengiz Türker |
Minimizing Characterizing Sets. |
FACS |
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. |
FACS |
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. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler |
Modeling and Verifying Dynamic Architectures with FACTum Studio. |
FACS |
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. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Petra van den Bos, Frits W. Vaandrager |
State Identification for Labeled Transition Systems with Inputs and Outputs. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Achim D. Brucker, Michael Herzberg |
A Formally Verified Model of Web Components. |
FACS |
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. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Kasper Dokter |
Multilabeled Petri Nets. |
FACS |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Arpit Sharma 0002 |
Revisiting Trace Equivalences for Markov Automata. |
FACS |
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 |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Vlad Serbanescu 0001, Frank S. de Boer, Mohammad Mahdi Jaghoori |
Actors with Coroutine Support in Java. |
FACS |
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. |
FACS |
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. |
FACS |
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. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
Programming Dynamic Reconfigurable Systems. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | J. Christian Attiogbé |
Building Correct SDN Components from a Global Event-B Formal Model. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Edward A. Lee, Marjan Sirjani |
What Good are Models? |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Valentina Castiglioni, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
A Logical Characterization of Differential Privacy via Behavioral Metrics. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali |
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. |
FACS |
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. |
FACS |
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. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Liyi Li 0002, Elsa L. Gunter |
IsaK-Static: A Complete Static Semantics of \mathbb K. |
FACS |
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. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Antti Siirtola, Keijo Heljanko |
Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Mojgan Kamali, Ansgar Fehnker |
Adaptive Formal Framework for WMN Routing Protocols. |
FACS |
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 |
FACS |
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 |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Paulina Paraponiari, George Rahonis |
On Weighted Configuration Logics. |
FACS |
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. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Kyungmin Bae, Camilo Rocha |
Guarded Terms for Rewriting Modulo SMT. |
FACS |
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. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Sander de Putter, Anton Wijs |
Compositional Model Checking Is Lively. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Heike Wehrheim |
Fault Localization in Service Compositions. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Miguel Pinto, Marcelo Gonçalves, Paolo Masci 0001, José Creissac Campos |
TOM: A Model-Based GUI Testing Framework. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Yi Li 0010, Meng Sun 0002 |
Component-Based Modeling in Mediator. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Anastasia Mavridou, Valentin Rutz, Simon Bliudze |
Coordination of Dynamic Software Components with JavaBIP. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Ligia Nistor, Jonathan Aldrich |
The Implementation of Object Propositions: The Oprop Verification Tool. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Juliana Bowles, Marco B. Caminati |
Correct Composition of Dephased Behavioural Models. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Tobias Kappé, Farhad Arbab, Carolyn L. Talcott |
A Component-Oriented Framework for Autonomous Agents. |
FACS |
2017 |
DBLP DOI BibTeX RDF |
|
42 | Haitham Bou-Ammar, Mohamad Jaber 0001, Mohamed Nassar 0001 |
Correctness-by-Learning of Infinite-State Component-Based Systems. |
FACS |
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. |
FACS |
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 |
FACS |
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. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Luís Cruz-Filipe, Fabrizio Montesi |
A Core Model for Choreographic Programming. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Sung-Shik T. Q. Jongmans |
(Context-Sensitivity In) Reo, Revisited. |
FACS |
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. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Constrained Synthesis from Component Libraries. |
FACS |
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. |
FACS |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 570 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|