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 | 138 | 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 | 91 | 1995 |
Checking component composability C Attiogbé, P André, G Ardourel Software Composition: 5th International Symposium, SC 2006 Vienna, Austria …, 2006 | 81 | 2006 |
Integration of formal datatypes within state diagrams C Attiogbé, P Poizat, G Salaün Fundamental Approaches to Software Engineering: 6th International Conference …, 2003 | 39 | 2003 |
Composing components with shared services in the kmelia model P André, G Ardourel, C Attiogbé International Conference on Software Composition, 125-140, 2008 | 25 | 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 | 21 | 2010 |
Partial test oracle in model transformation testing O Finot, JM Mottu, G Sunyé, C Attiogbé Theory and Practice of Model Transformations: 6th International Conference …, 2013 | 19 | 2013 |
Specification of an access control system with a formalism combining CCS and CASL G Salaќn, M Allemand, C Attiogbщ, UN IRIN Proceedings of the 7th International Workshop on Formal Methods for Parallel …, 2002 | 19 | 2002 |
Multilevel contracts for trusted components M Messabihi, P André, C Attiogbé arXiv preprint arXiv:1010.2827, 2010 | 18 | 2010 |
A formalism combining CCS and Casl G Salaün, M Allemand, C Attiogbé Technical Report 00.14, University of Nantes, December 2000, 2001 | 18 | 2001 |
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model P André, G Ardourel, C Attiogbé Software Composition: 6th International Symposium, SC 2007, Braga, Portugal …, 2007 | 17 | 2007 |
Semantic embedding of Petri nets into Event-B C Attiogbé arXiv preprint cs/0510073, 2005 | 17 | 2005 |
Spécification d'architectures en Kmelia: hiérarchie de connexion et composition. P André, G Ardourel, JC Attiogbé CAL, 101-118, 2006 | 14 | 2006 |
A Method for Business-IT Alignment of Legacy Systems. J Pepin, P André, JC Attiogbé, E Breton ICEIS (3), 229-237, 2015 | 13 | 2015 |
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 | 13 | 2001 |
Combining techniques to verify service-based components P André, C Attiogbé, JM Mottu MODELSWARD 2017-5th International Conference on Model-Driven Engineering and …, 2017 | 12 | 2017 |
An improved model facet method to support EA alignment J Pepin, P André, C Attiogbé, E Breton Complex Systems Informatics and Modeling Quarterly, 1-27, 2016 | 12 | 2016 |
Contributions aux approches formelles de développement de logiciels: Intégration de méthodes formelles et analyse multifacette C Attiogbé Université de Nantes, 2007 | 11 | 2007 |
Adaptation for hierarchical components and services P André, G Ardourel, C Attiogbé Electronic Notes in Theoretical Computer Science 189, 5-20, 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 |