| 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 | 96 | 1995 |
| 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 | 89 | 1995 |
| Checking component composability C Attiogbé, P André, G Ardourel International Conference on Software Composition, 18-33, 2006 | 76 | 2006 |
| Integration of formal datatypes within state diagrams C Attiogbé, P Poizat, G Salaün International Conference on Fundamental Approaches to Software Engineering …, 2003 | 35 | 2003 |
| Composing Components with Shared Services in the Kmelia Model P André, G Ardourel, C Attiogbé International Conference on Software Composition, 125-140, 2008 | 23 | 2008 |
| 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 | 19 | 2010 |
| Specification of an Access Control System with a Formalism Combining CCS and CASL. G Salaün, M Allemand, JC Attiogbé ipdps, 2002 | 19 | 2002 |
| A formalism combining CCS and Casl G Salaün, M Allemand, C Attiogbé Technical Report 00.14, University of Nantes, December 2000, 2001 | 19 | 2001 |
| 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 | 18 | 2013 |
| 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 | 17 | 2007 |
| Multilevel contracts for trusted components M Messabihi, P André, C Attiogbé arXiv preprint arXiv:1010.2827, 2010 | 16 | 2010 |
| Semantic embedding of petri nets into event-B C Attiogbé arXiv preprint cs/0510073, 2005 | 13 | 2005 |
| Spécification d'architectures en Kmelia: hiérarchie de connexion et composition. P André, G Ardourel, JC Attiogbé CAL, 101-118, 2006 | 12 | 2006 |
| 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 | 12 | 2001 |
| Modeling web services composition with timed Pi calculus Y Zhang, J Liu, Q Tang, Y Wu Information Technology Journal 10 (6), 1194-1200, 2011 | 11 | 2011 |
| 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 | 11 | 2007 |
| 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 | 11 | 2002 |
| Adaptation for hierarchical components and services P André, G Ardourel, C Attiogbé Electronic Notes in Theoretical Computer Science 189, 5-20, 2007 | 10 | 2007 |
| 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 | 10 | 2002 |
| 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 | 9 | 2007 |
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
