Marc Aiguier

	2012
31		Boris Golden, Marc Aiguier, Daniel Krob: Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems. Applied Mathematics and Computation 218(16): 8039-8055 (2012)
	2011
30		Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard: Embedding of Biological Regulatory Networks and Property Preservation. Mathematics in Computer Science 5(3): 263-288 (2011)
	2010
29		Marc Aiguier, Francis Bretaudeau, Daniel Krob: Complex Systems Design & Management - Proceedings of the First International Conference on Complex System Design & Management, CSDM 2010, Paris, France, October 27-29, 2010 Springer 2010
28		Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil: Testing of Abstract Components. ICTAC 2010: 184-198
27		Delphine Longuet, Marc Aiguier, Pascale Le Gall: Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reasoning 45(4): 437-473 (2010)
	2009
26		Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès: Spatial Information and Boolean Genetic Regulatory Networks. BICoB 2009: 270-281
25		Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre: Symbolic Execution Techniques Extended to Systems. ICSEA 2009: 78-85
24		Delphine Longuet, Marc Aiguier: Integration Testing from Structured First-Order Specifications via Deduction Modulo. ICTAC 2009: 261-276
	2008
23		Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall: Property Preservation along Embedding of Biological Regulatory Networks. AB 2008: 125-138
22		Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: Emergent Properties in Reactive Systems. APSEC 2008: 273-280
21		Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: A Formal Definition of Complex Software. ICSEA 2008: 415-420
	2007
20		Delphine Longuet, Marc Aiguier: Specification-Based Testing for CoCasl's Modal Specifications. CALCO 2007: 356-371
19		Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet: Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159
18		Marc Aiguier, Delphine Longuet: Test Selection Criteria for Modal Specifications of Reactive Systems. TASE 2007: 159-170
17		Marc Aiguier, Razvan Diaconescu: Stratified institutions and elementary homomorphisms. Inf. Process. Lett. 103(1): 5-13 (2007)
16		Marc Aiguier, Diane Bahrami: Structures for Abstract Rewriting. J. Autom. Reasoning 38(4): 303-351 (2007)
15		Marc Aiguier, Fabrice Barbier: An Institution-independent Proof of the Beth Definability Theorem. Studia Logica 85(3): 333-359 (2007)
	2006
14		Marc Aiguier, Karim Berkani, Pascale Le Gall: Feature Specification and Static Analysis for Interaction Resolution. FM 2006: 364-379
13		Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet: Automatic Generation of Functional Programs from CASL Specifications. ICSEA 2006: 34
12		Marc Aiguier, Diane Bahrami, Delphine Longuet: An Abstract Way to Define Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 205-226 (2006)
	2005
11		Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil: A Temporal Logic for Input Output Symbolic Transition Systems. APSEC 2005: 43-50
10		Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre: Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217
9		Roxane Adle, Marc Aiguier, Franck Delaplace: Toward an automatic parallelization of sparse matrix computations. J. Parallel Distrib. Comput. 65(3): 313-330 (2005)
	2004
8		Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens: An Algebraic Approach for Codesign. ICTAC 2004: 415-430
7		Marc Aiguier, Fabrice Barbier, Pascal Poizat: A Logic with Temporal Glue for Mixed Specifications. Electr. Notes Theor. Comput. Sci. 97: 155-174 (2004)
6		Marc Aiguier: ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. J. Log. Comput. 14(2): 145-178 (2004)
	2003
5		Marc Aiguier, Diane Bahrami: Une approche générique de la réécriture. Technique et Science Informatiques 22(4): 401-433 (2003)
	2002
4		Marc Aiguier, Diane Bahrami, Catherine Dubois: On a Generalised Logicality Theorem. AISC 2002: 51-63
3		Marc Aiguier, Christophe Gaston, Pascale Le Gall: Feature Logics and Refinement. APSEC 2002: 385-
	2000
2		Roxane Adle, Marc Aiguier, Franck Delaplace: Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. Euro-Par 2000: 340-348
	1994
1		Gilles Bernot, Pascale Le Gall, Marc Aiguier: Label Algebras and Exception Handling. Sci. Comput. Program. 23(2-3): 227-286 (1994)

Coauthor Index

1	Roxane Adle	[2] [9]
2	Agnès Arnould	[10] [13] [19]
3	Diane Bahrami	[4] [5] [12] [16] [25]
4	Fabrice Barbier	[7] [15]
5	Karim Berkani	[14]
6	Gilles Bernot	[1]
7	Stefan Béroff	[8]
8	Clément Boin	[10]
9	Frédéric Boulanger	[28]
10	Francis Bretaudeau	[29]
11	Thibaud Brunet	[13]
12	Jean-Paul Comet	[23] [30]
13	Franck Delaplace	[2] [9]
14	Razvan Diaconescu	[17]
15	Catherine Dubois	[4]
16	Laurent Fuchs	[13]
17	Pascale Le Gall	[1] [3] [10] [11] [14] [19] [21] [22] [23] [26] [27] [30]
18	Christophe Gaston	[3] [25]
19	Boris Golden	[31]
20	Joan Hérisson	[26]
21	Ivan Junier	[26]
22	Bilal Kanso	[28]
23	François Képès	[26]
24	Daniel Krob	[29] [31]
25	Arnault Lapitre	[25]
26	Delphine Longuet	[11] [12] [18] [19] [20] [24] [27]
27	Mbarka Mabrouki	[21] [22] [23] [30]
28	Matthieu Manceny	[26]
29	Bruno Marre	[10]
30	Pascal Poizat	[7]
31	Adrien Richard	[30]
32	Pierre-Yves Schobbens	[8]
33	Assia Touil	[11] [28]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page