Modification date 26 June 2014 03:43:33
From CERES
A list of all pages that have property "Modification dateThis property is a special property in this wiki." with value "26 June 2014 03:43:33".
Since there have been only a few results, also nearby values are displayed.
- Publications:Throughput analysis of synchronous data flow graphs + (26 June 2014 03:43:26)
- Publications:Towards model checking executable UML specifications in mCRL2 + (26 June 2014 03:43:27)
- Publications:Automated Verification of Executable UML Models + (26 June 2014 03:43:27)
- Publications:Restricted delegation and revocation in language-based security : (Position paper) + (26 June 2014 03:43:28)
- Publications:Process algebraic verification of SystemC codes + (26 June 2014 03:43:28)
- Publications:Sarir : a Rebeca to mCRL2 translator + (26 June 2014 03:43:29)
- Publications:Application of process algebraic verification and reduction techniques to SystemC designs + (26 June 2014 03:43:29)
- Publications:A framework for performance evaluation and functional verification in stochastic process algebras + (26 June 2014 03:43:30)
- Publications:Formal analysis of systemc designs in process algebra + (26 June 2014 03:43:31)
- Publications:Symmetry and partial order reduction techniques in model checking Rebeca + (26 June 2014 03:43:32)
- Publications:Early Fault Detection in DSLs using SMT Solving and Automated Debugging + (26 June 2014 03:43:32)
- Publications:Formal modeling of evolving self-adaptive systems + (26 June 2014 03:43:33)
- Publications:PobSAM : policy-based managing of actors in self-adaptive systems + (26 June 2014 03:43:33)
- Publications:Robustness of behavioral equivalence on open terms + (26 June 2014 03:43:34)
- Publications:Robustness of equations under operational extensions + (26 June 2014 03:43:34)
- Publications:Esterel and the Semantics of Causality + (26 June 2014 03:43:35)
- Publications:Causality in the semantics of Esterel : revisited + (26 June 2014 03:43:36)
- Publications:Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. + (26 June 2014 03:43:36)
- Publications:Special issue: software verification and testing + (26 June 2014 03:43:37)
- Publications:Semantics and expressiveness of ordered SOS + (26 June 2014 03:43:37)
- Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + (26 June 2014 03:43:38)
- Publications:Specoal Issue on foundations of coordination languages and software architectures (selected papers from FOCLASA'11) : Foreword + (26 June 2014 03:43:38)
