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

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

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

Traduction de B événementiel en C pour la validation par la simulation Yang F., Jacquot J.-P., Souquières J. Dans Approches Formelles dans l'Assistance au Développement de Logiciels 2012 - AFADL 2012 (2012) [hal-00650955 - version 1]

Formal Specification of Medical Systems by Proof-Based Refinement Méry D., Singh N. K. ACM Transactions in Embedded Computing Systems (TECS) (2012) [inria-00637756 - version 1]

A simple proof that super consistency implies cut elimination Dowek G., Hermant O. Notre Dame Journal of Formal Logic 53, 4 (2012) pp. 93-106 [hal-00793008 - version 1]

From Linear Temporal Logic Properties to Rewrite Propositions Heam P.-C., Hugot V., Kouchnarenko O. Dans IJCAR - International Joint Conference on Automated Reasonning 2012 7364 (2012) 316-331 [hal-00756598 - version 1]

On Positive TAGED with a Bounded Number of Constraints Heam P.-C., Hugot V., Kouchnarenko O. Dans CIAA - 17th International Conference on Implementation and Application of Automata 2012 7381 (2012) 329-336 [hal-00756564 - version 1]

From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation Schrammel P., Jeannet B. Dans Hybrid Systems: Computation and Control (2012) 167-176 [hal-00749891 - version 1]

On One-Rule Grid Semi-Thue Systems Latteux M., Roos Y. Fundamenta Informaticae 116, 1-4 (2012) 189-204 [hal-00749289 - version 1]

Opacité dans les systèmes workflows Badouel E., Diouf L. Mohamadou Dans CARI - 11th African Conference on Research in Computer Science and Applied Mathematics (2012) [hal-00748243 - version 1]

On the alpha-Reconstructibility of Workflow Nets Badouel E. Dans Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings 7347 (2012) 128-147 [hal-00748230 - version 1]

Petri Net Distributability Darondeau P., Best E. Dans Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011 7162 (2011) 1-18 [hal-00745311 - version 1]