.:. Lists > By ENS Cachan laboratory and associate team > MEXICO .:.

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

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

Model Based Testing for Concurrent Systems with Labeled Event Structures Ponce De León H., Haar S., Longuet D. [hal-00796006 - version 1] (01/03/2013)

Avoiding Shared Clocks in Networks of Timed Automata Balaguer S., Chatain T. Rapport de recherche (2012) 26 [hal-00706608 - version 1]

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

What topology tells us about diagnosability in partial order semantics Haar S. Discrete Event Dynamic Systems: Theory and Applications 22, 4 (2012) 383-402 [hal-00776799 - 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-00776797 - version 1]

Coupling and Importance Sampling for Statistical Model Checking Barbot B., Haddad S., Picaronny C. Proceedings of the 18th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'12), Estonia (2012) [hal-00776795 - version 1]

Bounded underapproximations Ganty P., Majumdar R., Monmege B. Formal Methods in System Design 40, 2 (2012) 206-231 [hal-00776791 - version 1]

Conformance Relations for Labeled Event Structures Ponce De León H., Haar S., Longuet D. Proceedings of the 6th International Conference on Tests and Proofs (TAP'12), Czech Republic (2012) [hal-00776783 - version 1]

The Ordinal-Recursive Complexity of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets Haddad S., Schmitz S., Schnoebelen P. Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS'12), Croatia (2012) [hal-00776780 - version 1]

Effective Verification of Weak Diagnosability Agarwal A., Madalinski A., Haar S. Proceedings of the 8th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'12), Mexico (2012) [hal-00776774 - version 1]