A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
Parallel Algorithms for Relational Coarsest Partition Problems
IEEE Transactions on Parallel and Distributed Systems
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
Discrete Event Dynamic Systems
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
Hierarchical Structuring of Superposed GSPNs
IEEE Transactions on Software Engineering
Deriving Symbolic Representations from Stochastic Process Algebras
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
An Abstract Schema for Equivalence-Checking Games
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Modeling and verification of parallel processes
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Weak bisimulation for (max/+) automata and related models
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Security check: a formal yet practical framework for secure software architecture
Proceedings of the 2003 workshop on New security paradigms
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Generating BDDs for symbolic model checking in CCS
Distributed Computing
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
Formal Methods in System Design
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
Theoretical Computer Science - Formal methods for components and objects
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Bisimilarity Minimization in O(m logn) Time
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Hyperset Approach to Semi-structured Databases
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
The Future of Formal Methods and GALS Design
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Computation of Natural Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Automatic synthesis of computation interference constraints for relative timing verification
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
XSym'10 Proceedings of the 7th international XML database conference on Database and XML technologies
Model refinement using bisimulation quotients
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Game-theoretic simulation checking tool
Programming and Computing Software
A SAT-based approach for the construction of reusable control system components
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
SemSearchPro - Using semantics throughout the search process
Web Semantics: Science, Services and Agents on the World Wide Web
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Minimization of non-deterministic automata with large alphabets
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Partition refinement for bisimilarity in CCP
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Argos: an automaton-based synchronous language
Computer Languages
Automatica (Journal of IFAC)
Modeling the supervisory control theory with alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Conflict-preserving abstraction of discrete event systems using annotated automata
Discrete Event Dynamic Systems
Rough set analysis of relational structures
Information Sciences: an International Journal
Efficiency and precision trade-offs in graph summary algorithms
Proceedings of the 17th International Database Engineering & Applications Symposium
Hi-index | 0.00 |