.:. Browse > Domain list > Formal Languages and Automata Theory .:.

148 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules Giavitto J.-L., Klaudel H., Pommereau F. Journal of Theoretical Computer Science (TCS) 431 (2012) 219-234 [hal-00769275 - version 1]

Thread-Modular Model Checking with Iterative Refinement Meng W., He F., Wang B.-Y., Liu Q. Dans NFM 2012 - 4th International Conference on NASA Formal Methods (2012) [hal-00730342 - version 1]

Partition Refinement for Bisimilarity in CCP Aristizábal A., Bonchi F., Pino L., Valencia F. D. Dans 27th ACM Symposium On Applied Computing (2012) 6 pages [hal-00641408 - version 3]

A Fresh Approach to Learning Register Automata Bollig B., Habermehl P., Leucker M., Monmege B. [hal-00743240 - version 2]

Vérification semi-automatique de primitives cryptographiques Heraud S. Université de Nice Sophia-Antipolis (12/03/2012), Benjamin Gregoire (Dir.) [tel-00766757 - version 1]

Model Checking Languages of Data Words Bollig B., Cyriac A., Gastin P., Narayan Kumar K. Dans FoSSaCS 2012 (2012) to appear [hal-00658333 - version 1]

Periodic scheduling of marked graphs using balanced binary words Millo J.-V., De Simone R. N° RR-7891 (2012) [hal-00672606 - version 1]

Interrupt Timed Automata: verification and expressiveness Bérard B., Haddad S., Sassolas M. Formal Methods in System Design 40, 1 (2012) 41-87 [hal-00683279 - version 1]

From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation Schrammel P., Jeannet B. N° RR-7859 (2012) [hal-00659698 - version 1]

CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués Garavel H., Lang F., Mateescu R., Salaün G., Serwe W. Dans Approches Formelles dans l'Assistance au Développement de Logiciels (2012) [hal-00667288 - version 1]