Rule-based modeling of transcriptional attenuation at the
tryptophan operon
C Kuttler, C. Lhoussaine and
M. Nebut. Invited paper at the International Winter Simulation
Conference, Dec 2009.
Supporting Generic Methodologies to Assist IMS-LD Modeling
Xavier Le Pallec, Cesar Olavo de Moura Filho, Raphaël Marvie, Mirabelle Nebut, Jean-Claude Tarby, ICALT 2006:923-927
Proposition pour la modélisation d'applications ubiquitaires
Caron O., Carré B., Gransart C., Le Pallec X., Lecomte S., Marvie R., Nebut M., Seriai D., Vanwormhoudt G. 3èmes Journées Francophones: Mobilité et Ubiquité (UbiMob) 2006, ACM International Conference Proceeding Series, Paris, septembre.
Processus de modélisation incrémentaux
Raphaël Marvie, Mirabelle Nebut, 2nd Journées sur l'Ingénierie Dirigée par les Modèles (IDM'06), Lille, Juin 2006.
Un cadre de travail pour l'évolution contrôlée des modèles du logiciel
R. Marvie & M. Nebut. Premier atelier de travail sur l'évolution du logiciel, Berne, Suisse, Mars 2005
Efficient Algorithms on the Family Associated to an
Implicational System
Karell Bertet and Mirabelle
Nebut, Discrete Mathematics and Theoretical Computer
Science 6(2):315-338, 2004
fulltext,
abstract, bibtex
Specification and Analysis of Synchronous Reactions
M. Nebut. Formal Aspects of Computing, special issue on
Semantic Foundations of Engineering Design
Languages, 16(3):263-291, august 2004. DOI: 10.1007/s00165-004-0039-4
fulltext, abstract, bibtex
Réactions synchrones : spécification et analyse
M. Nebut. Thèse de doctorat, Université de Rennes 1, novembre 2002.
fulltext, abstract, bibtex
An Overview of the Signal Clock Calculus
M. Nebut. Synchronous Languages, Applications, and
Programming, SLAP'03.
fulltext, abstract, bibtex
Un langage d'horloge pour spécifier et analyser les réactions
synchrone
M. Nebut. Approches Formelles dans l'Assistance au
Développement de Logiciels, AFADL'03, janvier 2003, Rennes, France.
fulltext, abstract, bibtex
A decidable clock language for synchronous specifications
M. Nebut and S. Pinchinat. Synchronous Languages,
Applications, and Programming, SLAP'02. Electronic Notes in
Theoretical Computer Science, vol 65(5), avril 2002, Grenoble, France.
fulltext, abstract, bibtex
A Framework to Analyse Synchronous Data-Flow Specifications
M. Nebut and S. Pinchinat. Research Report Irisa, RR1402,
novembre 2001.
fulltext, abstract, bibtex