Pascal Poizat

	2011
44		Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi: Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. TAP 2011: 33-50
43		Carlos Canal, Pascal Poizat, Mirko Viroli: Preface. Sci. Comput. Program. 76(1): 1-2 (2011)
42		Carlos Canal, Pascal Poizat, Marjan Sirjani: Preface. Sci. Comput. Program. 76(8): 631-632 (2011)
	2010
41		Yuhong Yan, Pascal Poizat, Ludeng Zhao: Repair vs. Recomposition for Broken Service Compositions. ICSOC 2010: 152-166
40		Yuhong Yan, Pascal Poizat, Ludeng Zhao: Self-Adaptive Service Composition Through Graphplan Repair. ICWS 2010: 624-627
39		Pascal Poizat, Yuhong Yan: Adaptive Composition of Conversational Services through Graph Planning Encoding. ISoLA (2) 2010: 35-50
38		Yuhong Yan, Pascal Poizat, Ludeng Zhao: Repairing Service Compositions in a Changing World. SERA (selected papers) 2010: 17-36
	2009
37		Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES 2009: 16-32
36		Carlos Canal, Pascal Poizat, Marjan Sirjani: Preface. Electr. Notes Theor. Comput. Sci. 229(2): 1-2 (2009)
	2008
35		Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar: Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. FASE 2008: 146-162
34		Sandrine Beauche, Pascal Poizat: Automated Service Composition with Adaptive Planning. ICSOC 2008: 530-537
33		Radu Mateescu, Pascal Poizat, Gwen Salaün: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99
32		Carlos Canal, Pascal Poizat, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008)
31		Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat: A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Electr. Notes Theor. Comput. Sci. 215: 39-55 (2008)
30		Carlos Canal, Pascal Poizat, Gwen Salaün: Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008)
29		Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. J. UCS 14(13): 2107-2109 (2008)
	2007
28		Radu Mateescu, Pascal Poizat, Gwen Salaün: Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388
27		Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Practical Approaches for Software Adaptation. ECOOP Workshops 2007: 154-165
26		Pascal Poizat, Gwen Salaün: Adaptation of Open Component-Based Systems. FMOODS 2007: 141-156
25		Serge Haddad, Pascal Poizat: Transactional Reduction of Component Compositions. FORTE 2007: 341-357
24		Pascal Poizat, Gwen Salaün, Massimo Tivoli: An Adaptation-based Approach to Incrementally Build Component Systems. Electr. Notes Theor. Comput. Sci. 182: 155-170 (2007)
23		Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli: Preface. Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007)
22		Christian Attiogbé, Pascal Poizat, Gwen Salaün: A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng. 33(3): 157-170 (2007)
	2006
21		Carlos Canal, Pascal Poizat, Gwen Salaün: Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. CAL 2006: 31-39
20		Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli: Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. ECOOP Workshops 2006: 72-86
19		Pascal Poizat, Jean-Claude Royer, Gwen Salaün: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47
18		Carlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77
17		Pascal Poizat, Jean-Claude Royer: A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic J. UCS 12(12): 1741-1782 (2006)
16		Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. L'OBJET 12(1): 9-31 (2006)
	2005
15		Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer: A Java Implementation of a Component Model with Explicit Symbolic Protocols. Software Composition 2005: 115-124
14		Gwen Salaün, Pascal Poizat: Interacting Extended State Diagrams. Electr. Notes Theor. Comput. Sci. 115: 49-57 (2005)
	2004
13		Olivier Maréchal, Pascal Poizat, Jean-Claude Royer: Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) 2004: 1502-1519
12		Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops 2004: 133-147
11		Marc Aiguier, Fabrice Barbier, Pascal Poizat: A Logic with Temporal Glue for Mixed Specifications. Electr. Notes Theor. Comput. Sci. 97: 155-174 (2004)
	2003
10		Christian Attiogbé, Pascal Poizat, Gwen Salaün: Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355
9		Christian Attiogbé, Pascal Poizat, Gwen Salaün: Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS 2003: 240
	2002
8		Pascal Poizat, Jean-Claude Royer: Une proposition de composants formels. L'OBJET 8(1-2): 231-245 (2002)
	2001
7		Christine Choppy, Pascal Poizat, Jean-Claude Royer: Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176
6		Christine Choppy, Pascal Poizat, Jean-Claude Royer: Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. FASE 2001: 124-139
5		Christine Choppy, Pascal Poizat, Jean-Claude Royer: The Korrigan Environment. J. UCS 7(1): 19-36 (2001)
	2000
4		Christine Choppy, Pascal Poizat, Jean-Claude Royer: A Global Semantics for Views. AMAST 2000: 165-180
	1999
3		Henri Habrias, Pascal Poizat, Jean-Yves Lafaye: A Study of Collaborative Work: Answers to a Test on Formal Specification in B. World Congress on Formal Methods 1999: 1856-1857
2		Pascal Poizat, Christine Choppy, Jean-Claude Royer: From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods 1999: 939-962
	1998
1		Pascal Poizat, Christine Choppy, Jean-Claude Royer: Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT 1998: 277-292

Coauthor Index

1	Marc Aiguier	[11]
2	Christian Attiogbé	[9] [10] [22]
3	Fabrice Barbier	[11]
4	Sandrine Beauche	[34]
5	Steffen Becker	[20] [23]
6	Lina Bentakouk	[37] [44]
7	Carlos Canal (Carlos Canal Velasco)	[12] [16] [18] [20] [21] [23] [27] [29] [30] [31] [32] [36] [42] [43]
8	Christine Choppy	[1] [2] [4] [5] [6] [7]
9	Javier Cubo	[31]
10	Nikolay Diakov	[20] [23]
11	Henri Habrias	[3]
12	Serge Haddad	[25]
13	Jean-Yves Lafaye	[3]
14	Olivier Maréchal	[13]
15	Radu Mateescu	[28] [33]
16	Tarek Melliti	[35]
17	Sonia Ben Mokhtar	[35]
18	Juan Manuel Murillo (Juan Manuel Murillo Rodriguez)	[12] [16] [20] [23] [27] [29]
19	Jacques Noyé	[15]
20	Sebastian Pavel	[15]
21	Ernesto Pimentel	[31]
22	Jean-Claude Royer	[1] [2] [4] [5] [6] [7] [8] [13] [15] [17] [19]
23	Gwen Salaün	[9] [10] [14] [18] [19] [21] [22] [24] [26] [28] [30] [31] [33]
24	Marjan Sirjani	[36] [42]
25	Massimo Tivoli	[20] [23] [24]
26	Mirko Viroli	[32] [43]
27	Yuhong Yan	[38] [39] [40] [41]
28	Fatiha Zaïdi	[37] [44]
29	Ludeng Zhao	[38] [40] [41]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page