Nombre de documents trouvés : 57 documents

1 - 2 - 3 - 4 - 5 - 6

A Framework for Verifying Data-Centric Protocols Deng Y., Grumbach S., Monin J.-F. Dans DisCoTec 2011 - 6th International Federated Conferences on Formal Techniques for Distributed Systems 6722 (2011) 106-120 [hal-00647802 - version 1]

First steps towards the certification of an ARM simulator using Compcert Shi X., Monin J.-F., Tuong F., Blanqui F. Dans First International Conference on Certified Programs and Proofs (2011) [inria-00624833 - version 1]

Domain-driven Probabilistic Analysis of Programmable Logic Controllers Zhang H., Jiang Y., William N.N. H., Song X., Gu M. In 13th International Conference on Formal Engineering Methods(ICFEM 2011) (2011) [inria-00612414 - version 1]

Edola: A Domain Modeling and Verification Language for PLC Systems Zhang H., Gu M., Song X. Dans The Sixth International Conference on Software Engineering (ICSEA 2011) (2011) [inria-00612416 - version 1]

Proving Computational Geometry Algorithms in TLA+2 Kong H., Zhang H., Song X., Gu M., Sun J. Dans 5th IEEE International Conference on Theoretical Aspects of Software Engineering(TASE 2011) (2011) [inria-00612413 - version 1]

A Formal Definition Method of Denotational Semantics and Functions for PLC Program Language Xiao L., Gu M., Sun J. Journal of Central South University (in Chinese) (2011) [inria-00612407 - version 1]

Fast Instruction Set Simulation Using LLVM-based Dynamic Translation Joloboff V., Zhou X., Helmstetter C., Gao X. Dans International MultiConference of Engineers and Computer Scientists 2011 2188 (2011) 212-216 [hal-00646947 - version 1]

A formal semantics of PLC programs in Coq Ould Biha S. Dans IEEE Computer Software and Applications, COMPSAC'11 (2011) [inria-00601906 - version 1]

The Denotational Semantics Definition of PLC Programs Based on Extended λ-Calculus Xiao L., Gu M., Sun J. Communications in Computer and Information Science 176(II), 40-46 (2011) [inria-00612409 - version 1]

Verification of PLC Properties Based on Formal Semantics in Coq Blech J. O., Ould Biha S. Dans International Conference on Software Engineering and Formal Methods, SEFM 2011 (2011) [inria-00601907 - version 1]

1 - 2 - 3 - 4 - 5 - 6

L'URL de cette page est : http://hal.inria.fr/lab/formes/