Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem
ACM SIGSOFT Software Engineering Notes
Automated refinement checking of concurrent systems
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Specifying and Verifying Event-Based Fairness Enhanced Systems
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
The MEB and CEB Static Analysis for CSP Specifications
Logic-Based Program Synthesis and Transformation
Local Search in Model Checking
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Partial Order Reductions Using Compositional Confluence Detection
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Software Model Checking Based on Game Semantics and CSP
Electronic Notes in Theoretical Computer Science (ENTCS)
An algorithm to generate the context-sensitive synchronized control flow graph
Proceedings of the 2010 ACM Symposium on Applied Computing
Translation validation of high-level synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Application of TLRO to dining philosophers problem
ACM SIGSOFT Software Engineering Notes
Model checking hierarchical probabilistic systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Expert Systems with Applications: An International Journal
Graph generation to statically represent CSP processes
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Static slicing of explicitly synchronized languages
Information and Computation
Operational semantics for fun and profit
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Embedding the stable failures model of CSP in PVS
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
An analytical and experimental comparison of CSP extensions and tools
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Symbolic model-checking of stateful timed CSP using BDD and digitization
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Modeling and verifying hierarchical real-time systems using stateful timed CSP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theories of Programming and Formal Methods
CSP-based counter abstraction for systems with node identifiers
Science of Computer Programming
The Journal of Supercomputing
| Hi-index | 0.00 |