J. Christian Attiogbé
J. Christian Attiogbé
University of Nantes - LS2N Lab (LINA+IRCCyN since 2017)
Vahvistettu sähköpostiosoite verkkotunnuksessa univ-nantes.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Search for anomalous Z→ γγγ events at LEP
M Acciarri, A Adam, O Adriani, M Aguilar-Benitez, S Ahlen, J Alcaraz, ...
Physics Letters B 345 (4), 609-616, 1995
1011995
Search for neutralinos in Z decays
M Acciarri, A Adam, O Adriani, M Aguilar-Benitez, S Ahlen, B Alpat, ...
Physics Letters B 350 (1), 109-119, 1995
901995
Checking component composability
C Attiogbé, P André, G Ardourel
International Conference on Software Composition, 18-33, 2006
772006
Integration of formal datatypes within state diagrams
C Attiogbé, P Poizat, G Salaün
International Conference on Fundamental Approaches to Software Engineering …, 2003
352003
Composing Components with Shared Services in the Kmelia Model
P André, G Ardourel, C Attiogbé
International Conference on Software Composition, 125-140, 2008
242008
Using assertions to enhance the correctness of kmelia components and their assemblies
P André, G Ardourel, C Attiogbé, A Lanoix
Electronic Notes in Theoretical Computer Science 263, 5-30, 2010
202010
Partial test oracle in model transformation testing
O Finot, JM Mottu, G Sunyé, C Attiogbé
International Conference on Theory and Practice of Model Transformations …, 2013
192013
Specification of an Access Control System with a Formalism Combining CCS and CASL.
G Salaün, M Allemand, JC Attiogbé
ipdps, 2002
192002
A formalism combining CCS and Casl
G Salaün, M Allemand, C Attiogbé
Technical Report 00.14, University of Nantes, December 2000, 2001
192001
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
P André, G Ardourel, C Attiogbé
International Conference on Software Composition, 2-17, 2007
172007
Multilevel contracts for trusted components
M Messabihi, P André, C Attiogbé
arXiv preprint arXiv:1010.2827, 2010
162010
Semantic embedding of petri nets into event-B
C Attiogbé
arXiv preprint cs/0510073, 2005
142005
Spécification d'architectures en Kmelia: hiérarchie de connexion et composition.
P André, G Ardourel, JC Attiogbé
CAL, 101-118, 2006
122006
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language: an Overview
G Salaun, MA Allemand, C Attiogbé
Proceedings Eighth Asia-Pacific Software Engineering Conference, 299-302, 2001
122001
Modeling web services composition with timed Pi calculus
Y Zhang, J Liu, Q Tang, Y Wu
Information Technology Journal 10 (6), 1194-1200, 2011
112011
A formal and tool-equipped approach for the integration of state diagrams and formal datatypes
C Attiogbé, P Poizat, G Salaun
IEEE Transactions on Software Engineering 33 (3), 157-170, 2007
112007
A method to combine any process algebra with an algebraic specification language: the/spl pi/-calculus example
G Salaun, M Allemand, C Attiogbé
Proceedings 26th Annual International Computer Software and Applications …, 2002
112002
Adaptation for hierarchical components and services
P André, G Ardourel, C Attiogbé
Electronic Notes in Theoretical Computer Science 189, 5-20, 2007
102007
SHE'S project: a report of joint works on integration of formal specification techniques
M Allemand, C Attiogbe, P Poizat, JC Royer, G Salaün
INT'02: integration of software specification techniques (Grenoble, 6-7 …, 2002
102002
A Formal Analysis Toolbox for the Kmelia Component Model
P André, G Ardourel, C Attiogbé
ProVeCS 2007-Satellite Event of TOOLS Europe, 10-25, 2007
92007
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20