IRISA

Identifiers

• name variant IRISA 0.60 · backfill

Papers (4)

1. MRGEN: A Conceptual Framework for LLM-Powered Mixed Reality Authoring Tools for Education cs.HC · 2026 · author #3
2. Correct-by-construction model composition: Application to the Invasive Software Composition method cs.SE · 2014 · author #8
3. ACME vs PDDL: support for dynamic reconfiguration of software architectures cs.SE · 2012 · author #4
4. A Model for Probabilistic Reasoning on Assume/Guarantee Contracts cs.PF · 2008 · author #3

Mentions

• 1404.0853 #8 · backfill · confidence 0.70 IRISA
• 1206.0122 #4 · backfill · confidence 0.70 IRISA
• 0811.1151 #3 · backfill · confidence 0.70 IRISA

Frequent Coauthors

• Beno\^it Caillaud (IRISA 1 shared papers
• Beno\^it Combemale (Universit\'e de Rennes 1 1 shared papers
• Beno\^it Delahaye (IRISA) 1 shared papers
• DRUID) 1 shared papers
• France) 1 shared papers
• IRISA) 1 shared papers
• IRIT 1 shared papers
• IUT Laval) 1 shared papers
• Iza Marfisi (LIUM 1 shared papers
• Jean-Eudes M\'ehus (CREC) 1 shared papers
• J\'er\'emy Buisson (CREC 1 shared papers
• Marc Pantel (Universit\'e de Toulouse 1 shared papers
• Mohamed Ez-Zaouia (UR 1 shared papers
• Mohammed Oussama Seddini (LIUM) 1 shared papers
• Mounira Kezadri Hamiaz (Universit\'e de Toulouse 1 shared papers
• Ngoc Luyen Le (Heudiasyc) 1 shared papers
• Thais Batista (DIMAp) 1 shared papers
• UEB) 1 shared papers
• Xavier Thirioux (Universit\'e de Toulouse 1 shared papers