Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
Specification formalisms for component-based concurrent systems
ACM SIGSOFT Software Engineering Notes
Proceedings of the 2nd international workshop on Software and performance
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
Comparing the QoS of Internet audio mechanisms via formal methods
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A practical approach to implementing real-time semantics
Annals of Software Engineering
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
Bisimulation Minimization and Symbolic Model Checking
Formal Methods in System Design
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Vacuity Checking in the Modal Mu-Calculus
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
C Wolf - A Toolset for Extracting Models from C Programs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Abstract Schema for Equivalence-Checking Games
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Proofs Methods for Bisimulation Based Information Flow Security
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Symbolic Model Checker for ACTL
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Efficient Model Checking Via Büchi Tableau Automata
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Truth/SLC - A Parallel Verification Platform for Concurrent Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Implementing Symbolic Models for Value Passing in TwoTowers
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Automated Validation of Software Models
Proceedings of the 16th IEEE international conference on Automated software engineering
Fundamenta Informaticae - Concurrency specification and programming
Distributed Prototyping from Validated Specifications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
From Bisimulation to Simulation: Coarsest Partition Problems
Journal of Automated Reasoning
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
Distributed prototyping from validated specifications
Journal of Systems and Software - Special issue: Rapid system prototyping
Bisimulation on speed: worst-case efficiency
Information and Computation
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
A local approach for temporal model checking of Java bytecode
Journal of Computer and System Sciences
Reduced Models for Efficient CCS Verification
Formal Methods in System Design
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Types and typechecking for Communicating Quantum Processes
Mathematical Structures in Computer Science
Bisimulation on speed: a unified approach
Theoretical Computer Science
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
Formal Verification of Concurrent Systems via Directed Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Discovery of SOA patterns via model checking
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Modular verification of web services using efficient symbolic encoding and summarization
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Source Transformation for Concurrency Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Multithreaded Programs by Means of Reduced Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Clone detection through process algebras and Java bytecode
Proceedings of the 5th International Workshop on Software Clones
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Executable requirements specifications using triggered message sequence charts
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Minimization of non-deterministic automata with large alphabets
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Model checking adaptive multilevel service compositions
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Rewriting approximations for properties verification over CCS specifications
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Verifying persistent security properties
Computer Languages, Systems and Structures
Saving Space in a Time Efficient Simulation Algorithm
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
Hi-index | 0.00 |