E-LIB Suche - Ergebnisse für: Poizat, Pascal

1

Goblin: A Framework for Enriching and Querying the Maven Ce..:

, In: Proceedings of the 21st International Conference on Mining Software Repositories,

Jaime, Damien ; Haddad, Joyce El ; Poizat, Pascal - p. 37-41 , 2024

Link: https://dl.acm.org/doi/1..

2

A First-Order Logic verification framework for communicatio..:

Houhou, Sara ; Baarir, Souheib ; Poizat, Pascal..
Information Systems. 104 (2022) - p. 101765 , 2022

Link: https://doi.org/10.1016/..

3

Business Processes Meet Spatial Concerns: The sBPMN Verific..:

, In: Formal Methods; Lecture Notes in Computer Science,

Saddem-Yagoubi, Rim ; Poizat, Pascal ; Houhou, Sara - p. 218-234 , 2021

Link: https://doi.org/10.1007/..

4

A First-Order Logic Semantics for Communication-Parametric ..:

, In: Lecture Notes in Computer Science; Business Process Management,

Houhou, Sara ; Baarir, Souheib ; Poizat, Pascal. - p. 52-68 , 2019

Link: https://doi.org/10.1007/..

5

Checking business process evolution:

Krishna, Ajay ; Poizat, Pascal ; Salaün, Gwen
Science of Computer Programming. 170 (2019) - p. 1-26 , 2019

Link: https://doi.org/10.1016/..

6

VerChor: A Framework for the Design and Verification of Cho..:

Gudemann, Matthias ; Poizat, Pascal ; Salaun, Gwen.
IEEE Transactions on Services Computing. 9 (2016) 4 - p. 647-660 , 2016

Link: https://doi.org/10.1109/..

7

Passive conformance testing of service choreographies:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,

Nguyen, Huu Nghia ; Poizat, Pascal ; Zaïdi, Fatiha - p. 1528-1535 , 2012

Link: https://dl.acm.org/doi/1..

8

Checking the realizability of BPMN 2.0 choreographies:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,

Poizat, Pascal ; Salaün, Gwen - p. 1927-1934 , 2012

Link: https://dl.acm.org/doi/1..

9

Adaptation of Service Protocols Using Process Algebra and O..:

Mateescu, Radu ; Poizat, Pascal ; Salaun, Gwen
IEEE Transactions on Software Engineering. 38 (2012) 4 - p. 755-777 , 2012

Link: https://doi.org/10.1109/..

10

Preface:

Canal, Carlos ; Poizat, Pascal ; Viroli, Mirko
Science of Computer Programming. 76 (2011) 1 - p. 1-2 , 2011

Link: https://doi.org/10.1016/..

11

Preface:

Canal, Carlos ; Poizat, Pascal ; Sirjani, Marjan
Science of Computer Programming. 76 (2011) 8 - p. 631-632 , 2011

Link: https://doi.org/10.1016/..

12

Preface:

Canal, Carlos ; Poizat, Pascal ; Sirjani, Marjan
Electronic Notes in Theoretical Computer Science. 229 (2009) 2 - p. 1-2 , 2009

Link: https://doi.org/10.1016/..

13

A Model-Based Approach to the Verification and Adaptation o..:

Cubo, Javier ; Salaün, Gwen ; Canal, Carlos..
Electronic Notes in Theoretical Computer Science. 215 (2008) - p. 39-55 , 2008

Link: https://doi.org/10.1016/..

14

Preface:

Canal, Carlos ; Poizat, Pascal ; Viroli, Mirko
Electronic Notes in Theoretical Computer Science. 194 (2008) 4 - p. 1-3 , 2008

Link: https://doi.org/10.1016/..

15

Practical approaches for software adaptation : report on..:

, In: Proceedings of the 2007 conference on Object-oriented technology,

Canal, Carlos ; Murillo, Juan Manuel ; Poizat, Pascal - p. 154-165 , 2007

Link: https://dl.acm.org/doi/1..