Search results for "FACS"

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