Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pascal Poizat" ( http://dblp.L3S.de/Authors/Pascal_Poizat )

URL (Homepage):  http://www.lami.univ-evry.fr/~poizat/  Author page on DBLP  Author page in RDF  Community of Pascal Poizat in ASPL-2

Publication years (Num. hits)
1998-2005 (15) 2006-2008 (20) 2009-2011 (9)
Publication types (Num. hits)
article(16) inproceedings(28)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(7) ECOOP Workshops(3) FASE(3) FMOODS(3) ICSOC(3) J. UCS(3) IEEE Trans. Software Eng.(2) L'OBJET(2) Sci. Comput. Program.(2) World Congress on Formal Metho...(2) AMAST(1) APSEC(1) ASE(1) CAL(1) CoopIS/DOA/ODBASE(1) FORTE(1) More (+10 of total 24)
Authors
Pascal Poizat(44) Carlos Canal(14) Gwen Salaün(13) Jean-Claude Royer(11) Christine Choppy(6) Juan Manuel Murillo(6) Yuhong Yan(4) Christian Attiogbé(3) Ludeng Zhao(3) Massimo Tivoli(3) Fatiha Zaïdi(2) Lina Bentakouk(2) Marjan Sirjani(2) Mirko Viroli(2) Nikolay Diakov(2) Radu Mateescu(2) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 46 occurrences of 40 keywords
Results
Found 44 publication records. Showing 44 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Carlos Canal, Pascal Poizat, Marjan Sirjani Preface. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Pascal Poizat, Mirko Viroli Preface. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. Search on Bibsonomy TAP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuhong Yan, Pascal Poizat, Ludeng Zhao Repair vs. Recomposition for Broken Service Compositions. Search on Bibsonomy ICSOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pascal Poizat, Yuhong Yan Adaptive Composition of Conversational Services through Graph Planning Encoding. Search on Bibsonomy ISoLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yuhong Yan, Pascal Poizat, Ludeng Zhao Repairing Service Compositions in a Changing World. Search on Bibsonomy SERA (selected papers) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yuhong Yan, Pascal Poizat, Ludeng Zhao Self-Adaptive Service Composition Through Graphplan Repair. Search on Bibsonomy ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Pascal Poizat, Marjan Sirjani Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Service composition, symbolic execution, test-case generation, orchestration, transition systems, WS-BPEL, formal testing
1Carlos Canal, Pascal Poizat, Gwen Salaün Model-Based Adaptation of Behavioral Mismatching Components. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Juan Manuel Murillo, Pascal Poizat Software Adaptation. Search on Bibsonomy J. UCS The full citation details ... 2008 DBLP  BibTeX  RDF
1Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Pascal Poizat, Mirko Viroli Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Radu Mateescu, Pascal Poizat, Gwen Salaün Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. Search on Bibsonomy ICSOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sandrine Beauche, Pascal Poizat Automated Service Composition with Adaptive Planning. Search on Bibsonomy ICSOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Task-Oriented Computing, Planning, Composition, Tools, Services, Software Adaptation, Workflow Languages
1Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model-Based Adaptation, Behavioural Adaptation, Semantic Adaptation, Input Output Labelled Transition Systems, Services
1Christian Attiogbé, Pascal Poizat, Gwen Salaün A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal methods, tools, languages, operational semantics, state diagrams, integrated environments, specification techniques
1Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pascal Poizat, Gwen Salaün, Massimo Tivoli An Adaptation-based Approach to Incrementally Build Component Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Serge Haddad, Pascal Poizat Transactional Reduction of Component Compositions. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pascal Poizat, Gwen Salaün Adaptation of Open Component-Based Systems. Search on Bibsonomy FMOODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Juan Manuel Murillo, Pascal Poizat Practical Approaches for Software Adaptation. Search on Bibsonomy ECOOP Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Radu Mateescu, Pascal Poizat, Gwen Salaün Behavioral adaptation of component compositions based on process algebra encodings. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF behavioral interfaces, adaptation, components, composition, process algebra
1Carlos Canal, Juan Manuel Murillo, Pascal Poizat Software Adaptation. Search on Bibsonomy L'OBJET The full citation details ... 2006 DBLP  BibTeX  RDF
1Pascal Poizat, Jean-Claude Royer A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic Search on Bibsonomy J. UCS The full citation details ... 2006 DBLP  BibTeX  RDF
1Carlos Canal, Pascal Poizat, Gwen Salaün Synchronizing Behavioural Mismatch in Software Composition. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pascal Poizat, Jean-Claude Royer, Gwen Salaün Bounded Analysis and Decomposition for Behavioural Descriptions of Components. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. Search on Bibsonomy ECOOP Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlos 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. Search on Bibsonomy CAL The full citation details ... 2006 DBLP  BibTeX  RDF
1Gwen Salaün, Pascal Poizat Interacting Extended State Diagrams. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer A Java Implementation of a Component Model with Explicit Symbolic Protocols. Search on Bibsonomy Software Composition The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Behavioural IDL, Explicit Protocols, Symbolic Transition Systems, Java, Controllers, Channels, CBSE
1Marc Aiguier, Fabrice Barbier, Pascal Poizat A Logic with Temporal Glue for Mixed Specifications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Carlos Canal, Juan Manuel Murillo, Pascal Poizat Coordination and Adaptation Techniques for Software Entities. Search on Bibsonomy ECOOP Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Olivier Maréchal, Pascal Poizat, Jean-Claude Royer Checking Asynchronously Communicating Components Using Symbolic Transition Systems. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christian Attiogbé, Pascal Poizat, Gwen Salaün Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Christian Attiogbé, Pascal Poizat, Gwen Salaün Integration of Formal Datatypes within State Diagrams. Search on Bibsonomy FASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods integration, Z, algebraic specifications, B, state diagrams
1Pascal Poizat, Jean-Claude Royer Une proposition de composants formels. Search on Bibsonomy L'OBJET The full citation details ... 2002 DBLP  BibTeX  RDF
1Christine Choppy, Pascal Poizat, Jean-Claude Royer The Korrigan Environment. Search on Bibsonomy J. UCS The full citation details ... 2001 DBLP  BibTeX  RDF
1Christine Choppy, Pascal Poizat, Jean-Claude Royer Formal Specification of Mixed Components with Korrigan. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF mixed specification, Korrigan specification languag, Formal specification, components, reuse
1Christine Choppy, Pascal Poizat, Jean-Claude Royer Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
1Christine Choppy, Pascal Poizat, Jean-Claude Royer A Global Semantics for Views. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF mixed specifications, view formalism, global semantics
1Pascal Poizat, Christine Choppy, Jean-Claude Royer From Informal Requirements to COOP: A Concurrent Automata Approach. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF object oriented (Java) code generation, automata, Concurrent systems, specification method
1Henri Habrias, Pascal Poizat, Jean-Yves Lafaye A Study of Collaborative Work: Answers to a Test on Formal Specification in B. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Pascal Poizat, Christine Choppy, Jean-Claude Royer Concurrency and Data Types: A Specification Method: An Example with LOTOS. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF constraint oriented, state oriented, specification, method, LOTOS, automaton
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.