| Event Analytics. | 0 | 0.34 | 2014 |
| CELL: A Compositional Verification Framework. | 0 | 0.34 | 2013 |
| Improved Reachability Analysis in DTMC via Divide and Conquer. | 4 | 0.42 | 2013 |
| A Formal Semantics for Complete UML State Machines with Communications. | 9 | 0.48 | 2013 |
| AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. | 48 | 1.73 | 2013 |
| Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop | 6 | 0.52 | 2013 |
| Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. | 4 | 0.41 | 2012 |
| Model Checking Software Architecture Design | 0 | 0.34 | 2012 |
| Improved BDD-Based Discrete Analysis of Timed Systems. | 8 | 0.50 | 2012 |
| Evolution and Runtime Monitoring of Software Systems | 1 | 0.36 | 2007 |
| Context Awareness Systems Design and Reasoning | 3 | 0.42 | 2006 |
| TCOZ Approach to OWL-S Process Model Design | 0 | 0.34 | 2005 |
| Reasoning Support for SWRL-FOL Using Alloy | 2 | 0.43 | 2005 |
| Relating pi-calculus to Object-Z | 3 | 0.44 | 2004 |
| Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings | 37 | 2.58 | 2003 |
| Extending SOFL to support both top-down and bottom-up approaches | 1 | 0.35 | 2002 |
| Semantic Web for Extending and Linking Formalisms | 11 | 1.13 | 2002 |
| Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows | 3 | 0.48 | 2002 |
| Overview of the Semantics of TCOZ | 18 | 1.36 | 1999 |
| Capturing periodic concurrent interactions of mission computer tasks | 1 | 0.48 | 1999 |
| Network Topology and a Case Study in TCOZ | 15 | 1.96 | 1998 |
| An Object-Oriented Approach to the Formal Specification of ODP Trader | 3 | 0.53 | 1993 |
