
Marc Aiguier
46
Documents
Identifiants chercheurs
Publications
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
11
11
8
5
4
4
4
3
3
3
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
2
2
1
1
1
1
1
1
1
1
1
1
2
1
2
3
1
1
1
3
3
3
1
3
4
6
3
8
1
Publications
|
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2022, Glasgow (SCOTLAND), France. ⟨10.4230/LIPIcs.ICALP.2021.132⟩
Communication dans un congrès
hal-04491472
v1
|
From Structuring Elements to Structuring Neighborhood Systems14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩
Communication dans un congrès
hal-02288568
v1
|
|
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial ReasoningWorld Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France
Communication dans un congrès
hal-02287722
v1
|
|
Results for Compositional Timed Testing2013 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, France. ⟨10.1109/APSEC.2013.81⟩
Communication dans un congrès
hal-01812126
v1
|
|
|
An adequate logic for heterogeneous systems18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. pp.1-10, ⟨10.1109/iceccs.2013.19⟩
Communication dans un congrès
hal-00812339
v1
|
|
Testing of component-based systems19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6
Communication dans un congrès
hal-00782889
v1
|
|
Testing of Abstract ComponentsICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
Communication dans un congrès
hal-00782893
v1
|
|
Spatial Information and Boolean Genetic Regulatory Networks.Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩
Communication dans un congrès
hal-00812184
v1
|
|
Symbolic Execution Techniques Extended to Systems.International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21⟩
Communication dans un congrès
hal-00812189
v1
|
|
Integration Testing from Structured First-Order Specifications via Deduction Modulo.Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩
Communication dans un congrès
hal-00812193
v1
|
Test Selection Criteria for Modal Specifications of Reactive SystemsIEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China
Communication dans un congrès
hal-01760574
v1
|
|
Specification-Based Testing for CoCasl's Modal SpecificationsInternational Conference on Algebra and Coalgebra in Computer Science, Aug 2007, Bergen, Norway
Communication dans un congrès
hal-01760572
v1
|
|
Test selection criteria for quantifier-free first-order specifications2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
Communication dans un congrès
istex
hal-00353787
v1
|
|
|
Automatic generation of functional programs from CASL specificationsInternational Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), ⟨10.1109/ICSEA.2006.261290⟩
Communication dans un congrès
hal-00341983
v1
|
|
Feature specification and static analysis for interaction resolution14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩
Communication dans un congrès
hal-00341977
v1
|
|
An abstract way to define rewriting logicProceedings of the first IPM International Workshop on Foundations of Software Engineering (FSEN), 2005, Iran. pp.205--226, ⟨10.1016/j.entcs.2005.09.033⟩
Communication dans un congrès
hal-00341966
v1
|
|
Testing from algebraic specifications: test data set selection by unfolding axioms5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩
Communication dans un congrès
hal-00341964
v1
|
|
A Temporal Logic for Input Output Symbolic Transition Systems12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩
Communication dans un congrès
hal-00341980
v1
|
Axioms for Rewriting TheoryPLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, Jan 2000, X, France
Communication dans un congrès
hal-01124623
v1
|
MMCS, Mathematical Modelling of Complex Systems47, 2014, ESAIM: Proceedings and Surveys
Proceedings/Recueil des communications
hal-02539582
v1
|
|
Complex Systems Design and ManagementThird International Conference on Complex Systems Design and Management CSD&M 2012, Dec 2012, Singapore, Singapore. 2013, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, ⟨10.1007/978-3-642-34404-6⟩
Proceedings/Recueil des communications
hal-02750181
v1
|
|
Complex Systems Design & ManagementSpringer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩
Ouvrages
hal-02750247
v1
|
|
A note on Robinson consistency lemma2006, pp.13
Autre publication scientifique
hal-00341982
v1
|
On a generalized theorem for normalization of proof trees2005
Autre publication scientifique
hal-00341978
v1
|
|
A temporal logic for input output symbolic transition systems2005
Autre publication scientifique
hal-00341981
v1
|
|
Feature specification: a logic-independent approach2005
Autre publication scientifique
hal-00341979
v1
|
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning[Research Report] arXiv:1710.05661, arXiv CoRR. 2017
Rapport
(rapport de recherche)
hal-02287717
v1
|
|
Belief revision in institutions: a relaxation-based approach[Research Report] abs/1502.02298, arXiv CoRR. 2015
Rapport
(rapport de recherche)
hal-02287097
v1
|
Chargement...
Chargement...