68 results on '"Willemse, Tim A.C."'
Search Results
2. Modelling the Raft Distributed Consensus Protocol in mCRL2
3. XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications
4. Formal verification of OIL component specifications using mCRL2
5. Using model checking to analyze the system behavior of the LHC production grid
6. Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
7. Decomposing Monolithic Processes in a Process Algebra with Multi-actions
8. Invariants for Parameterised Boolean Equation Systems
9. The mCRL2 toolset for analysing concurrent systems
10. Search algorithms for automated validation
11. Modelling and Analysing Software in mCRL2
12. The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3
13. The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
14. Branching bisimulation for probabilistic systems: Characteristics and decidability
15. A process algebra with global variables
16. Finding compact proofs for infinite-data parameterised Boolean equation systems
17. Parameterised boolean equation systems
18. Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting
19. Evidence extraction from parameterised Boolean equation systems
20. A Comparison of BDD-Based Parity Game Solvers
21. Family-Based Model Checking of SPL based on mCRL2
22. Family-Based Model Checking of SPL based on mCRL2.
23. Improvement in Small Progress Measures
24. Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability
25. Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
26. Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds
27. Decomposability in Input Output Conformance Testing
28. Expressiveness and Completeness in Abstraction
29. Using Model Checking to Analyze the System Behavior of the LHC Production Grid
30. Analysis of Boolean Equation Systems through Structure Graphs
31. Test Generation Based on Symbolic Specifications.
32. Results on Embeddings Between State-Based and Event-Based Systems.
33. Accelerated Verification of Concurrent Systems
34. Armoring formal components against foreign behavior
35. π with Leftovers: a Mechanisation in Agda
36. Prioritise the Best Variation
37. A formal model for a supervisory controller of a calculating subsystem driver: a case study in the TIS domain
38. Reductions for parity games and model checking
39. Increasing test efficiency through coverage-based test selection
40. Applying a meta-data-driven modeling approach to extract-transform-load (ETL) systems
41. Engineering the dynamic semantics of domain specific languages
42. Model-based interface framework : an extensible framework for automatic generation of test cases and wrappers
43. Fixpoint logic, games, and relations of consequence
44. CPD integrated development toolkit
45. Pluggable test data logging and readout facility: redesign of TestLog component and proof of the new architecture's feasability
46. Modeling and visualization of trace data
47. Improving input-output conformance testing theories
48. Advanced reduction techniques for model checking
49. Improved verification methods for concurrent systems
50. Compliance test framework for XtraVision: a feasibility analysis of a model-based approach to improve the testing efficiency of a medical workstation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.