2012
|
[MPS12]
|
Radu
Mateescu, Pascal Poizat and Gwen Salaün. Adaptation
of Service Protocols using Process Algebra and On-the-Fly Reduction
Techniques. in IEEE Transactions on
Software Engineering, xx(xx):xx-xx, accepted for
publication, to appear, 2012 |
[PS12]
 |
Pascal Poizat and Gwen Salaün. Checking the
Realizability of BPMN 2.0 Choreographies. in SAC'2012 - 27th ACM Symposium on Applied
Computing. ACM, 2012
to appear
|
[NPZ12]
|
Huu Nghia
Nguyen, Pascal Poizat and Fatiha Zaïdi. Passive
Conformance Testing of Service Choreographies. in SAC'2012 - 27th ACM Symposium on Applied
Computing. ACM, 2012
to appear
|
[KPS12a]
|
Rania
Khéfifi, Pascal Poizat and Fatiha Saïs.
Modélisation et interrogation d'espaces d'informations
personnelles sensibles au contexte. in EGC'2012 - 12th Conférence
Internationale Francophone sur l'Extraction et la Gestion des
Connaissances. 2012
poster, to appear
|
2011
|
[Poi11]
|
Pascal Poizat. Formal Model-Based Approaches for
the Development of Composite Systems. Habilitation Thesis, LRI -
University Paris-Sud. November 2011
|
[PV11]
|
Pascal Poizat and Thomas Vergnaud.
Architectural Description Languages. chapter 5 in Distributed Systems, volume 2:
Models and Analysis, ISTE, Wiley, 2011
Rewriting and updating of [PV06]
|
[BPZ11]
|
Lina
Bentakouk, Pascal Poizat and Fatiha Zaïdi. Checking the
Behavioral Conformance of Web Services with Symbolic Testing and an
SMT Solver. in TAP'2011 - 5th
International Conference on Tests & Proofs. Lecture
Notes in Computer Science (LNCS), 6706:33-50, Springer,
2011
|
[CPS11]
|
Carlos
Canal, Pascal Poizat and Marjan Sirjani. Special
Issue on FOCLASA'2008. Science of
Computer Programming, 76(8), 2011
|
[CPV11]
|
Carlos
Canal, Pascal Poizat and Mirko Viroli. Special
Issue on FOCLASA'2007. Science of
Computer Programming, 76(1), 2011
|
2010
|
[YPZ10c]
|
Yuhong Yan, Pascal
Poizat and Ludeng Zhao.
Repair vs. Recomposition for Broken Service Compositions. in
ICSOC'2010 - International
Conference on Service Oriented Computing. Lecture Notes in
Computer Science (LNCS), 6470:152-166, Springer, 2010
15% selection, DOI 10.1007/978-3-642-17358-5_11
|
[PY10]
|
Pascal Poizat and Yuhong Yan. Adaptive
Composition of Conversational Services through Graph Planning
Encoding. in ISoLA'2010 -
International Symposium On Leveraging Applications of Formal
Methods, Verification and Validation. Lecture Notes in
Computer Science (LNCS), 6416:35-50, Springer, 2010
DOI 10.1007/978-3-642-16561-0_11
|
[YPZ10b]
|
Yuhong Yan, Pascal
Poizat and Ludeng Zhao.
Self-Adaptive Service Composition through Graphplan Repair. in
ICWS'2010 - International
Conference on Web Services, pp. 624-627, 2010
work in progress papers, DOI 10.1109/ICWS.2010.91
|
[YPZ10a]
|
Yuhong Yan, Pascal
Poizat and Ludeng Zhao.
Repairing Service Compositions in a Changing World. Studies in Computational Intelligence,
296:17-36, Springer, 2010
selected papers from SERA'2010 - 8th ACIS conference on Software
Engineering Research, Management & Applications
14% selection (29% selection over the 49% papers accepted at the
conference), DOI 10.1007/978-3-642-13273-5_2
|
2009
|
[BPZ09]
|
Lina
Bentakouk, Pascal Poizat and Fatiha Zaïdi. A Formal
Framework for Service Orchestration Testing based on Symbolic
Transition Systems. in TESTCOM/FATES'2009 - 21th IFIP International
Conference on Testing of Communicating Systems. Lecture
Notes in Computer Science (LNCS), 5826:16-32, Springer, 2009
(c) IFIP. 2009
35% selection, DOI 10.1007/978-3-642-05031-2_2
slides
|
[RR-BPZ09]
|
Lina
Bentakouk, Pascal Poizat and Fatiha Zaïdi. A Formal
Framework for Service Orchestration Testing based on Symbolic
Transition Systems (long version). 2009.
|
2008
|
[MPS08]
|
Radu
Mateescu, Pascal Poizat and Gwen Salaün. Adaptation
of Service Protocols using Process Algebra and On-the-Fly Reduction
Techniques. in ICSOC'2008 -
International Conference on Service Oriented Computing.
Lecture Notes in Computer Science (LNCS), 5364:84-99, Springer,
2008
(c) Springer.
2008
21% selection, DOI 10.1007/978-3-540-89652-4_10
slides
|
[BP08]
|
Sandrine
Beauche and Pascal Poizat. Automated Service Composition with
Adaptive Planning. in ICSOC'2008 -
International Conference on Service Oriented Computing.
Lecture Notes in Computer Science (LNCS), 5364:530-537, Springer,
2008
(c) Springer.
2008
34% selection (short papers), DOI 10.1007/978-3-540-89652-4_42
slides
|
[RR-BP08]
|
Sandrine
Beauche and Pascal Poizat. Automated Service Composition with
Adaptive Planning (long version). 2008.
Short version published in [BP08].
|
[CMP08b]
|
Carlos
Canal, Juan
Manuel Murillo and Pascal Poizat. Special Issue on Software
Adaptation. J.UCS, 14(13),
2008
|
[CPS08b]
|
Carlos
Canal, Pascal Poizat and Marjan Sirjani. Proceedings of the Seventh International
Workshop on the Foundations of Coordination Languages and Software
Architectures (FOCLASA'08). Held in conjunction with
ICALP'2008. 2008
Postproceedings appearing in: Electronic Notes in Theoretical Computer
Science, vol. 229, issue 2, 2009
DOI 10.1016/j.entcs.2009.06.025
Special issue published in [CPS11]
|
[CPS08a]
|
Carlos
Canal, Pascal Poizat and Gwen Salaün. Model-based
Adaptation of Behavioural Mismatching Components. in IEEE Transactions on Software Engineering,
34(4):546-563, 2008
DOI 10.1109/TSE.2008.31 |
[RR-CPS08]
|
Carlos
Canal, Pascal Poizat and Gwen Salaün. Model-based
Adaptation of Behavioural Mismatching Components (long version).
2008
Short version published in [CPS08a].
|
[MPBM08]
|
Tarek Melliti,
Pascal Poizat and Sonia Ben Mokhtar.
Distributed Behavioural Adaptation for the Automatic Composition of
Semantic Services. in FASE'2008 -
Fundamental Approaches to Software Engineering. Lecture
Notes in Computer Science (LNCS) 4961:146-162, Springer, 2008
(c) Springer.
2008
26% selection, DOI 10.1007/978-3-540-78743-3_12
slides
|
[CMP08a]
|
Carlos
Canal, Juan
Manuel Murillo, and Pascal Poizat. Practical Approaches for
Software Adaptation. Report on the 4th Workshop WCAT at ECOOP 2007.
in M. Cebulla (Ed), ECOOP 2007
Workshop Reader. Lecture Notes in Computer Science (LNCS)
4906:154-165, Springer. 2008
DOI 10.1007/978-3-540-78195-0_15
|
[CSC+08]
|
Javier Cubo,
Gwen Salaün,
Carlos Canal, Ernesto Pimentel and Pascal
Poizat. A Model-Based Approach to the Verification and Adaptation
of WF/.NET Components. in FACS'2007
- Formal Aspects of Component Software. Electronic Notes in
Theoretical Computer Science, 215:39-55, 2008
DOI doi:10.1016/j.entcs.2008.06.020
slides
|
2007
|
[RR-MPBM07]
|
Tarek Melliti,
Pascal Poizat and Sonia Ben Mokhtar.
Distributed Behavioural Adaptation for the Automatic Composition of
Semantic Services (long version). 2007, updated January, 7th,
2008.
Short version published in [MPBM08].
|
[MPS07]
|
Radu
Mateescu, Pascal Poizat and Gwen Salaün. Behavioral
Adaptation of Component Compositions based on Process Algebra
Encodings. in ASE'2007 - 22nd
IEEE/ACM International Conference on Automated Software
Engineering. pp 385-388. ACM Press. 2007
(c) ACM Press. 2007
24% selection (short papers) |
[RR-MPS07]
|
Radu
Mateescu, Pascal Poizat and Gwen Salaün. Behavioral
Adaptation of Component Compositions based on Process Algebra
Encodings (long version). Technical Report 6362, INRIA. 2007
Published in [MPS07]
|
[CPV07]
|
Carlos
Canal, Pascal Poizat and Mirko Viroli.
Proceedings of the Sixth
International Workshop on the Foundations of Coordination Languages
and Software Architectures (FOCLASA'07). Held in conjunction
with CONCUR'2007. 2007
Postproceedings appearing in: Electronic Notes in Theoretical Computer
Science, vol. 194, issue 4, 2008
DOI 10.1016/j.entcs.2008.03.095
Special issue published in [CPV11]
|
[CMP07]
|
Carlos
Canal, Juan
Manuel Murillo and Pascal Poizat. Practical Approaches for
Software Adaptation. Proceedings of
the Fourth International Workshop on Coordination and Adaptation
Techniques for Software Entities (WCAT'07). Held in
conjunction with ECOOP'2007. 2007
Available from the WCAT'07
site.
Workshop report published in [CMP08a]
Special issue published in [CMP08b]
|
[BCD+07b]
|
Steffen
Becker, Carlos
Canal, Nikolay
Diakov, Juan
Manuel Murillo, Pascal Poizat and Massimo Tivoli. (Special
Issue on) Proceedings of the Third International Workshop on
Coordination and Adaption Techniques for Software Entities (WCAT
2006). Electronic Notes in
Theoretical Computer Science, vol. 189, 2007
DOI 10.1016/j.entcs.2007.05.044
|
[CSC+07]
|
Javier Cubo,
Gwen Salaün,
Carlos Canal, Ernesto Pimentel and Pascal
Poizat. Relating Model-Based Adaptation and Implementation
Platforms: A Case Study with WF/.NET 3.0. in WCOP'2007 - Twelfth International Workshop on
Component-Oriented Programming. pp 9-13. 2007
slides
|
[HP07]
|
Serge Haddad and
Pascal Poizat. Transactional Reduction of Component Compositions.
in FORTE'2007 - IFIP International
Conference on Formal Methods for Networked and Distributed
Systems. Lecture Notes in Computer Science (LNCS)
4574:341-357, Springer. 2007
(c) Springer.
2007
33% selection, DOI 10.1007/978-3-540-73196-2_22
slides
|
[PS07]
|
Pascal Poizat and Gwen Salaün. Adaptation
of Open Component-based Systems. in FMOODS'2007 - IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems.
Lecture Notes in Computer Science (LNCS) 4468:141-156, Springer.
2007
(c) Springer.
2007
38% selection, DOI 10.1007/978-3-540-72952-5_9
|
[APS07]
|
Christian Attiogbé, Pascal Poizat and Gwen Salaün. A Formal and
Tool-Equipped Approach for the Integration of State Diagrams and
Formal Datatypes. in IEEE
Transactions on Software Engineering, 33(3):157-170,
2007
DOI 10.1109/TSE.2007.21
|
[BCD+07a]
|
Steffen
Becker, Carlos
Canal, Nikolay
Diakov, Juan
Manuel Murillo, Pascal Poizat and Massimo Tivoli. Coordination
and Adaptation Techniques: Bridging the Gap Between Design and
Implementation. Report on the 3rd Workshop WCAT at ECOOP 2006. in
M. Südholt and C. Consel (Eds), ECOOP 2006 Workshop Reader. Lecture
Notes in Computer Science (LNCS) 4379:72-86, Springer. 2007
DOI 10.1007/978-3-540-71774-4_9
|
[PST07]
|
Pascal Poizat, Gwen Salaün and Massimo Tivoli. An
Adaptation-based Approach to Incrementally Build Component Systems.
in FACS'2006 - Formal Aspects of
Component Software. Electronic Notes in Theoretical Computer
Science, 182:155-170. 2007
62% selection, DOI 10.1016/j.entcs.2006.09.037
|
2006
|
[PR06]
|
Pascal Poizat and Jean-Claude Royer. A Formal
Architectural Description Language based on Symbolic Transition
Systems and Modal Logic. in Journal
of Universal Computer Science (J.UCS), 12(12):1741-1782,
2006
|
[BCD+06]
|
Steffen
Becker, Carlos
Canal, Nikolay
Diakov, Juan
Manuel Murillo, Pascal Poizat and Massimo Tivoli. Coordination
and Adaptation Techniques: Bridging the Gap Between Design and
Implementation. Proceedings of the
Third International Workshop on Coordination and Adaptation
Techniques for Software Entities (WCAT'06). Held in
conjunction with ECOOP'2006. 2006
Available from the WCAT'06
site.
Workshop report published in [BCD+07a]
Special issue published in [BCD+07b]
|
[PV06]
|
Pascal Poizat and Thomas Vergnaud. Langages de
description d'architecture. chapter
5 in Méthodes formelles pour les systèmes
répartis et coopératifs, Hermes Lavoisier.
2006
 book
web page
|
[PST06]
|
Pascal Poizat, Gwen Salaün and Massimo Tivoli. On Dynamic
Reconfiguration of Behavioural Adaptation. in WCAT'2006 - Int. Workshop on Coordination and
Adaptation Techniques for Software Entities. pp 61-69.
2006
Workshop organizer position paper
|
[PRS06]
|
Pascal Poizat, Jean-Claude Royer and
Gwen Salaün.
Bounded Analysis and Decomposition for Behavioural Descriptions of
Components. in FMOODS'2006 - IFIP
International Conference on Formal Methods for Open Object-Based
Distributed Systems. Lecture Notes in Computer Science
(LNCS) 4037:33-47, Springer. 2006
(c) Springer.
2006
31% selection, DOI 10.1007/11768869_5
|
[CPS06b]
|
Carlos
Canal, Pascal Poizat and Gwen Salaün.
Synchronizing Behavioural Mismatch in Software Composition. in
FMOODS'2006 - IFIP International
Conference on Formal Methods for Open Object-Based Distributed
Systems. Lecture Notes in Computer Science (LNCS)
4037:63-77, Springer. 2006
(c) Springer.
2006
31% selection, DOI 10.1007/11768869_7
|
[CPS06a]
|
Carlos
Canal, Pascal Poizat and Gwen Salaün. Adaptation
de composants logiciels. Une approche automatisée
basée sur des expressions régulières de
vecteurs de synchronisation. in CAL'2006 - Conférence Francophone sur
les Architectures Logicielles. pp 31-39. 2006
52% selection
|
[CMP06b]
|
Carlos
Canal, Juan
Manuel Murillo and Pascal Poizat. Software Adaptation. in
L'objet, 12(1):9-31, 2006.
Special Issue on Coordination and Adaptation Techniques for
Software Entities. 2006
Introduction paper by the editors of the special issue.
|
[CMP06a]
|
Carlos
Canal, Juan
Manuel Murillo and Pascal Poizat. Special Issue on Coordination
and Adaptation Techniques. L'objet,
12(1), 2006 2006
|
[HPF06]
|
Henri
Habrias, Pascal Poizat and Marc Frappier. Glossary.
chapter 20 in Software
Specification Methods: an Overview Using a Case Study, ISTE,
Hermes Science Publishing. 2006
Glossary of Formal Methods for the book (46 pages) - book
web page.
|
[FHP06]
|
Marc
Frappier, Henri
Habrias and Pascal Poizat. A Comparison of the Specification
Methods. chapter 19 in Software
Specification Methods: an Overview Using a Case Study, ISTE,
Hermes Science Publishing. 2006
Comparative study of the specification methods used in the book -
book
web page.
|
[Poi06]
|
Pascal Poizat. SDL. chapter 12 in Software Specification Methods:
an Overview Using a Case Study, ISTE, Hermes Science
Publishing. 2006
Reedition of [Poi00a] - book
web page.
|
2005
|
[Poi05]
|
Pascal Poizat. Eclipse Transition Systems.
Deliverable RNRT STACS 2005
|
[RR-CPS05]
|
Carlos
Canal, Pascal Poizat and Gwen Salaün. Adaptation
of Component Protocols using Synchronous Vectors. Technical Report
ITI-05-10, Department of Computer Science, University of
Málaga. 2005
Published in [CPS06b]
|
[RR-PRS05]
|
Pascal Poizat, Jean-Claude Royer and
Gwen Salaün.
Symbolic Bounded Analysis for Component Behavioural Protocols.
Technical Report EMN 05//INFO, Ecole des Mines de Nantes.
2005
Published in a revised but shorter version in [PRS06]
|
[BCM+05b]
|
Steffen
Becker, Carlos
Canal, Juan
Manuel Murillo, Pascal Poizat and Massimo Tivoli. Run Time and
Design Time Issues on Implementing Software Adaptors. Report on the
2nd Workshop WCAT at ECOOP 2005. 2005
Unpublished.
|
[RR-PS05]
|
Pascal Poizat and Gwen Salaün. Formal
Coordination of Communicating Entities described with Behavioural
Interfaces. Technical Report 120-2005, LaMI - CNRS et
Université d'Evry Val d'Essonne. 2005
|
[BCM+05a]
|
Steffen
Becker, Carlos
Canal, Juan
Manuel Murillo, Pascal Poizat and Massimo Tivoli. New Issues on
Coordination and Adaptation Techniques. Proceedings of the Second International
Workshop on Coordination and Adaptation Techniques for Software
Entities (WCAT'05). Held in conjunction with ECOOP'2005.
2005
Available from the WCAT'05
site.
Workshop report in [BCM+05b] |
[PNPR05]
|
Sebastian Pavel,
Jacques Noye, Pascal
Poizat and Jean-Claude
Royer. A Java Implementation of a Component Model with Explicit
Symbolic Protocols. in SC'2005 -
Software Composition. Lecture Notes in Computer Science
(LNCS) 3628:115-124, Springer.
(c) Springer.
2005
32% selection, DOI 10.1007/11550679_9
|
[RR-PNPR05]
|
Sebastian Pavel,
Jacques Noye, Pascal
Poizat and Jean-Claude
Royer. A Formal Component Model with Explicit Symbolic
Protocols and its Implementation in Java. Technical Report EMN
05//INFO, Ecole des Mines de Nantes. 2005
Published in a revised but shorter version in [PNPR05]
|
[CMP05]
|
Carlos
Canal, Juan
Manuel Murillo and Pascal Poizat. Coordination and Adaptation
Techniques for Software Entities. Report on the 1st Workshop WCAT
at ECOOP 2004. in J. Malenfant and B. M. Ostvold (Eds.),
ECOOP 2004 Workshop Reader.
Lecture Notes in Computer Science (LNCS) 3344:133-147,
Springer.
(c) Springer.
2005
DOI 10.1007/b104146
|
[SP05]
|
Gwen
Salaün and Pascal Poizat. Interacting Extended State
Diagrams. in SFEDL'2004 - Semantic
Foundations of Engineering Design Languages. Electronic
Notes in Theoretical Computer Science, 115:49-57. 2005
66% selection, DOI 10.1016/j.entcs.2004.09.028
|
2004
|
[CMP04]
|
Carlos
Canal, Juan
Manuel Murillo and Pascal Poizat. Issues on Coordination and
Adaptation Techniques. Proceedings
of the First International Workshop on Coordination and Adaptation
Techniques for Software Entities (WCAT'04). Held in
conjunction with ECOOP'2004. 2004
Available from the WCAT'04
site.
Workshop report published in [CMP05]
Special issue published in [CMP06a]
|
[MPR04]
|
Olivier
Maréchal, Pascal Poizat and Jean-Claude Royer. Checking
Asynchronously Communicating Components using Symbolic Transition
Systems. in DOA'2004 - Distributed
Objects and Applications. On the Move to Meaningful Internet
Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated
International Conferences (part II). Lecture Notes in Computer
Science (LNCS) 3291:1502-1519, Springer.
(c) Springer.
2004
25% selection, DOI 10.1007/b102176
|
[RR-MPR04]
|
Olivier
Maréchal, Pascal Poizat and Jean-Claude Royer. Checking
Asynchronously Communicating Components using Symbolic Transition
Systems. Technical Report EMN 04/5/INFO, Ecole des Mines de Nantes.
2004
Published in a revised but shorter version in [MPR04]
|
[PRS04]
|
Pascal Poizat, Jean-Claude Royer and
Gwen Salaün.
Formal Methods for Component Description, Coordination and
Adaptation. in WCAT'2004 - Int.
Workshop on Coordination and Adaptation Techniques for Software
Entities. pp 89-100. ISBN : 84-688-6782-9. 2004
Workshop organizer position paper
|
[ABP04]
|
Marc Aiguier,
Fabrice
Barbier and Pascal Poizat. A Logic with Temporal Glue for Mixed
Specifications. in FOCLASA'2003 -
Foundations of Coordination Languages and Software
Architectures. Electronic Notes in Theoretical Computer
Science, 97:155-174. 2004
DOI 10.1016/j.entcs.2004.04.035
|
2003
|
[RR-PR03]
|
Pascal Poizat and Jean-Claude Royer. Korrigan:
a Formal ADL with Full Data Types and a Temporal Glue. Technical
Report 88-2003, LaMI, CNRS et Université d'Evry Val
d'Essonne. September 2003
Strongly revised and extended version published in [PR06]. Rather look at [PR06] which
is available for free from the journal site.
|
[APS03c]
|
Christian Attiogbé, Pascal Poizat and Gwen Salaün.
Specification of a gas station using a formalism integrating formal
datatypes within state diagrams. in FMPPTA'2003 - Formal Methods for Parallel
Programming: Theory and Applications. IEEE Computer Society
Press. 2003
|
[APS03b]
|
Christian Attiogbé, Pascal Poizat and Gwen Salaün. Integration
of Formal Datatypes within State Diagrams. in Mauro Pezzè
(Ed.), FASE'2003 - Fundamental
Approaches to Software Engineering. Lecture Notes in
Computer Science (LNCS) 2621:341-355, Springer.
(c) Springer.
2003
22% selection
|
[APS03a]
|
Christian Attiogbé, Pascal Poizat and Gwen Salaün.
Intégration de données formelles dans les diagrammes
d'états d'UML. in J.-M. Jézéquel (Ed.),
AFADL'2003 - Approches Formelles
dans l'Assistance au Développement de Logiciels. pp
3-17. ISBN : 2-7261-1236-6. 2003
56% selection
|
2002
|
[RR-APS02b]
|
Christian Attiogbé, Pascal Poizat and Gwen Salaün. Integration
of Formal Datatypes within State Diagrams. Technical Report
83-2002, LaMI, CNRS et Université d'Evry Val d'Essonne.
October 2002
Published in [APS03b] and [APS03c].
|
[RR-APS02a]
|
Christian Attiogbé, Pascal Poizat and Gwen Salaün.
Intégration de données formelles dans les diagrammes
d'états d'UML. Technical Report 02.03, IRIN -
Université de Nantes. July 2002
Published in [APS03a].
|
[RR-ABP02]
|
Marc Aiguier,
Fabrice
Barbier and Pascal Poizat. A Logic for Mixed Specifications.
Technical Report 73-2002, LaMI - CNRS et Université d'Evry
Val d'Essonne. May 2002
Presented at WADT'02. Enhanced/revised version published in
[ABP04]
|
[AAP+02]
|
Michel Allemand,
Christian Attiogbé, Pascal Poizat, Jean-Claude Royer and
Gwen Salaün.
SHE'S Project: a Report of Joint Works on the Integration of Formal
Specification Techniques. INT'2002
- Workshop on Integration of Specification Techniques with
Applications in Engineering. Grenoble, France.
2002
|
[PR02]
|
Pascal Poizat and Jean-Claude Royer. Une
proposition de composants formels. LMO'2002 - Langages et Modèles à
Objets. L'objet, 8(1-2):231-245. Montpellier, France.
2002
|
2001
|
[CPR01c]
|
Christine Choppy,
Pascal Poizat and Jean-Claude Royer. Formal
Specification of Mixed Components with Korrigan. in H. Jifeng
(Ed.), APSEC'2001 - Asia-Pacific
Software Engineering Conference. IEEE Computer Society
Press. pp 169-176. Macau, China. 2001
30% selection
|
[CPR01b]
|
Christine Choppy,
Pascal Poizat and Jean-Claude Royer.
Specification of Mixed Systems in Korrigan with the Support of an
UML-Inspired Graphical Notation. in H. Hussmann (Ed.), FASE'2001 - Fundamental Approaches to Software
Engineering, Genova, Italy. Lecture Notes in Computer
Science (LNCS) 2029:124-139, Springer.
(c) Springer.
2001
30% selection
|
[CPR01a]
|
Christine Choppy,
Pascal Poizat and Jean-Claude Royer. The
Korrigan Environment. Journal of
Universal Computer Science (J.UCS), 7(1):19-36. Special
Issue on Tools for System Design and Verification, 2001
|
2000
|
[Poi00b]
|
Pascal Poizat. Korrigan : un formalisme et une
méthode pour la spécification formelle et
structurée de systèmes mixtes. PhD Thesis, IRIN -
University of Nantes. December 2000
defense
slides
|
[Poi00a]
|
Pascal Poizat. SDL: a Language based on Extended
Finite State Machines with Abstract Data Types. chapter 9 in Software Specification Methods. An
Overview Using a Case Study, Formal Approaches to Computing
and Information Technology (FACIT), Springer. out of print.
2000
|
[RR-CPR00]
|
Christine Choppy,
Pascal Poizat and Jean-Claude Royer. The
Korrigan Environment. Technical Report 00.10, IRIN -
Université de Nantes. September 2000
Presented at FMTOOLS'2000, Enhanced/revised version published in
[CPR01a]
|
[CPR00b]
|
Christine Choppy,
Pascal Poizat and Jean-Claude Royer. A Global
Semantics for Views. in T. Rus (Ed.), AMAST'2000 - International Conference on
Algebraic Methodology And Software Technology, Iowa City,
Iowa, USA. Lecture Notes in Computer Science (LNCS) 1816:165-180,
Springer.
(c) Springer.
2000
55% selection
|
[CPR00a]
|
Christine Choppy,
Pascal Poizat and Jean-Claude Royer.
Integration and Composition of Static and Dynamic "Views": Unifying
Approach to Complex System Specification. in H. Ehrig, M.
Grosse-Rhode, F. Orejas (Eds.), INT'2000 - Workshop on Integration of
Specification Techniques with Applications in Engineering,
Berlin, Germany. Technische Universitat Berlin, Bericht-Nr.
2000/04, ISSN 1436-9915, pp 12-20. 2000
|
1999
|
[RR-CPR99b]
|
Christine Choppy,
Pascal Poizat and Jean-Claude Royer. A Global
Semantics for Views. Technical Report 189, IRIN - Université
de Nantes. December 1999
Published in [CPR00b]
|
[RR-CPR99a]
|
Christine Choppy,
Pascal Poizat and Jean-Claude Royer. Control
and Datatypes Using the View Formalism. Technical Report 188, IRIN
- Université de Nantes. December 1999
Presented at WADT'99, partly published in [CPR00a]
|
[PCR99b]
|
Pascal Poizat, Christine Choppy and
Jean-Claude Royer.
From Informal Requirements to COOP: A Concurrent Automata Approach.
in J.M. Wing, J. Woodcock, J. Davies (Eds.), FM'99 - Formal Methods, World Congress on
Formal Methods in the Development of Computing Systems,
Toulouse, France. Lecture Notes in Computer Science (LNCS)
1709:939-962, Springer.
(c) Springer.
1999
36% selection
|
[HPL99]
|
Henri
Habrias, Pascal Poizat and
Jean-Yves Lafaye. A Study of Collaborative Work: Answers to a
Test on Formal Specification in B. in J.M. Wing, J. Woodcock, J.
Davies (Eds.), FM'99 - Formal
Methods, World Congress on Formal Methods in the Development of
Computing Systems, Toulouse, France. Lecture Notes in
Computer Science (LNCS) 1709:1856-1857, Springer.
(c) Springer.
1999
Long version (16p) available. Presented at ZUM'98 Education
Session.
|
[PCR99a]
|
Pascal Poizat, Christine Choppy and
Jean-Claude Royer.
Concurrency and Data Types: a Specification Method. An Example with
LOTOS. in J. Fiadeiro (Ed.), Recent
Trends in Algebraic Development Techniques, Selected Papers of the
13th International Workshop WADT'98, Lisbon, Portugal.
Lecture Notes in Computer Science (LNCS) 1589:276-291,
Springer.
(c) Springer.
1999
49% selection from the workshop selected papers
|
1998
|
[RR-PCR98b]
|
Pascal Poizat, Christine Choppy and
Jean-Claude Royer.
Un support méthodologique pour la spécification
formelle de systèmes "mixtes". Technical Report 180, IRIN -
Université de Nantes. November 1998
Enhanced/revised version published in [PCR99b]
|
[RR-PCR98a]
|
Pascal Poizat, Christine Choppy and
Jean-Claude Royer.
Une nouvelle méthode pour la spécification en LOTOS.
Technical Report 170, IRIN - Université de Nantes. February
1998
Published in [PCR99a]
|
1995
|
[Poi95]
|
Pascal Poizat. Applications de la réécriture de
termes aux modèles à objets. Master Thesis - Rapport
de DEA Informatique, IRIN - Université de Nantes. June
1995
|
IBISC, University of
Évry, France
University of
Karlsruhe, Germany
University of
Málaga, Spain
CWI, Amsterdam, The
Netherlands
University of
Sherbrooke, Québec, Canada
University of Tehran,
Iran
University of L'Aquila,
Italy
