Pascal Poizat - RankMe

74 papers A* 2A 12B 7C 2Misc 2Journal 15Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Navigating and Exploring Software Dependency Graphs Using Goblin. MSR Damien Jaime, Joyce El Haddad, Pascal Poizat
2024	A*	`conf`	Balancing the Quality and Cost of Updating Dependencies. ASE Damien Jaime, Pascal Poizat, Joyce El Haddad, Thomas Degueule
2024	A	`conf`	Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph. MSR Damien Jaime, Joyce El Haddad, Pascal Poizat
2024	J	`jnl`	Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Softw. Eng. Notes Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli
2022	J	`jnl`	A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. Inf. Syst. Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloul
2022	—	`conf`	A preliminary study of rhythm and speed in the maven ecosystem. BENEVOL Damien Jaime, Joyce El Haddad, Pascal Poizat
2021	B	`conf`	A Direct Formal Semantics for BPMN Time-related Constructs. ENASE Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
2021	B	`conf`	Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. FM Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou
2019	A	`conf`	A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. BPM Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
2019	J	`jnl`	Checking business process evolution. Sci. Comput. Program. Ajay Krishna, Pascal Poizat, Gwen Salaün
2017	B	`conf`	VBPMN: Automated Verification of BPMN Processes (Tool Paper). IFM Ajay Krishna, Pascal Poizat, Gwen Salaün
2016	—	`conf`	Checking Business Process Evolution. FACS Pascal Poizat, Gwen Salaün, Ajay Krishna
2016	J	`jnl`	VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
2015	J	`jnl`	Introduction. Tech. Sci. Informatiques Noël Plouzeau, Pascal Poizat
2014	—	`ch.`	Adaptive Composition and QoS Optimization of Conversational Services Through Graph Planning Encoding. Web Services Foundations Min Chen, Pascal Poizat, Yuhong Yan
2013	A	`conf`	Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space. ICSOC Rania Khéfifi, Pascal Poizat, Fatiha Saïs
2013	A	`conf`	Automatic skeleton generation for data-aware service choreographies. ISSRE Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
2013	B	`conf`	VerChor: A Framework for Verifying Choreographies. FASE Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
2012	A	`conf`	A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. ICSOC Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
2012	J	`jnl`	Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. Software Eng. Radu Mateescu, Pascal Poizat, Gwen Salaün
2012	Misc	`conf`	Checking the realizability of BPMN 2.0 choreographies. SAC Pascal Poizat, Gwen Salaün
2012	—	`conf`	Modeling and Querying Context-Aware Personal Information Spaces. DEXA (2) Rania Khéfifi, Pascal Poizat, Fatiha Saïs
2012	—	`conf`	Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte. EGC Rania Khéfifi, Pascal Poizat, Fatiha Saïs
2012	—	`conf`	Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. HASE Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
2012	Misc	`conf`	Passive conformance testing of service choreographies. SAC Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
2011	—	`conf`	Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. TAP@TOOLS Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
2011	—	`book`	Formal Model-Based Approaches for the Development of Composite Systems. (Approches formelles à base de modèles pour le développement de systèmes composites). Pascal Poizat
2011	J	`jnl`	Preface. Sci. Comput. Program. Carlos Canal, Pascal Poizat, Marjan Sirjani
2011	J	`jnl`	Preface. Sci. Comput. Program. Carlos Canal, Pascal Poizat, Mirko Viroli
2010	—	`conf`	Adaptive Composition of Conversational Services through Graph Planning Encoding. ISoLA (2) Pascal Poizat, Yuhong Yan
2010	A	`conf`	Repair vs. Recomposition for Broken Service Compositions. ICSOC Yuhong Yan, Pascal Poizat, Ludeng Zhao
2010	—	`conf`	Repairing Service Compositions in a Changing World. SERA (selected papers) Yuhong Yan, Pascal Poizat, Ludeng Zhao
2010	A	`conf`	Self-Adaptive Service Composition Through Graphplan Repair. ICWS Yuhong Yan, Pascal Poizat, Ludeng Zhao
2009	—	`conf`	A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
2009	—	`ed.`	Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008 FOCLASA@ICALP Carlos Canal, Pascal Poizat, Marjan Sirjani
2008	A	`conf`	Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC Radu Mateescu, Pascal Poizat, Gwen Salaün
2008	A	`conf`	Automated Service Composition with Adaptive Planning. ICSOC Sandrine Beauche, Pascal Poizat
2008	B	`conf`	Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. FASE Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar
2008	J	`jnl`	Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. Carlos Canal, Pascal Poizat, Gwen Salaün
2008	—	`conf`	Preface. FOCLASA@ICALP Carlos Canal, Pascal Poizat, Marjan Sirjani
2008	—	`ed.`	Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007 FOCLASA Carlos Canal, Pascal Poizat, Mirko Viroli
2008	J	`jnl`	Software Adaptation. J. Univers. Comput. Sci. Carlos Canal, Juan Manuel Murillo, Pascal Poizat
2007	J	`jnl`	A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng. J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
2007	—	`conf`	A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. FACS Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat
2007	—	`conf`	Adaptation of Open Component-Based Systems. FMOODS Pascal Poizat, Gwen Salaün
2007	A*	`conf`	Behavioral adaptation of component compositions based on process algebra encodings. ASE Radu Mateescu, Pascal Poizat, Gwen Salaün
2007	—	`conf`	Practical Approaches for Software Adaptation. ECOOP Workshops Carlos Canal, Juan Manuel Murillo, Pascal Poizat
2007	—	`conf`	Preface. FOCLASA Carlos Canal, Pascal Poizat, Mirko Viroli
2007	—	`ed.`	Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes, France, July 4, 2006 WCAT@ECOOP Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
2007	C	`conf`	Transactional Reduction of Component Compositions. FORTE Serge Haddad, Pascal Poizat
2006	J	`jnl`	A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic J. Univers. Comput. Sci. Pascal Poizat, Jean-Claude Royer
2006	—	`conf`	Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. CAL Carlos Canal, Pascal Poizat, Gwen Salaün
2006	—	`conf`	An Adaptation-based Approach to Incrementally Build Component Systems. FACS Pascal Poizat, Gwen Salaün, Massimo Tivoli
2006	—	`conf`	Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS Pascal Poizat, Jean-Claude Royer, Gwen Salaün
2006	—	`conf`	Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. ECOOP Workshops Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
2006	—	`conf`	Preface. WCAT@ECOOP Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
2006	J	`jnl`	Software Adaptation. Obj. Logiciel Base données Réseaux Carlos Canal, Juan Manuel Murillo, Pascal Poizat
2006	—	`conf`	Synchronizing Behavioural Mismatch in Software Composition. FMOODS Carlos Canal, Pascal Poizat, Gwen Salaün
2005	A	`conf`	A Java Implementation of a Component Model with Explicit Symbolic Protocols. SC Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer
2004	—	`conf`	Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) Olivier Maréchal, Pascal Poizat, Jean-Claude Royer
2004	—	`conf`	Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops Carlos Canal, Juan Manuel Murillo, Pascal Poizat
2004	—	`conf`	Interacting Extended State Diagrams. SFEDL@ETAPS Gwen Salaün, Pascal Poizat
2003	—	`conf`	A Logic with Temporal Glue for Mixed Specifications. FOCLASA Marc Aiguier, Fabrice Barbier, Pascal Poizat
2003	B	`conf`	Integration of Formal Datatypes within State Diagrams. FASE J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
2003	A	`conf`	Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
2002	J	`jnl`	Une proposition de composants formels. Obj. Logiciel Base données Réseaux Pascal Poizat, Jean-Claude Royer
2001	C	`conf`	Formal Specification of Mixed Components with Korrigan. APSEC Christine Choppy, Pascal Poizat, Jean-Claude Royer
2001	B	`conf`	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. FASE Christine Choppy, Pascal Poizat, Jean-Claude Royer
2001	J	`jnl`	The Korrigan Environment. J. Univers. Comput. Sci. Christine Choppy, Pascal Poizat, Jean-Claude Royer
2000	—	`conf`	A Global Semantics for Views. AMAST Christine Choppy, Pascal Poizat, Jean-Claude Royer
2000	—	`—`	KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems). Pascal Poizat
1999	—	`conf`	A Study of Collaborative Work: Answers to a Test on Formal Specification in B. World Congress on Formal Methods Henri Habrias, Pascal Poizat, Jean-Yves Lafaye
1999	—	`conf`	From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods Pascal Poizat, Christine Choppy, Jean-Claude Royer
1998	—	`conf`	Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT Pascal Poizat, Christine Choppy, Jean-Claude Royer