Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Simulation-Verification: Biting at the State Explosion Problem
IEEE Transactions on Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Formal methods for distributed processing
Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
Bisimulation indexes and their applications
Theoretical Computer Science
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems
IEEE Transactions on Software Engineering
Fundamenta Informaticae
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A real-time process algebra with open intervals and maximal progress
Nordic Journal of Computing
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
The expressive power of urgent, lazy and busy-waiting actions in timed processes
Mathematical Structures in Computer Science
A translation of TPALp into a class of timed-probabilistic Petri nets
Theoretical Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
Analysis of the SET e-commerce protocol using a true concurrency process algebra
Proceedings of the 2006 ACM symposium on Applied computing
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Communications of the ACM - Security in the Browser
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Mobility Models and Behavioural Equivalence for Wireless Networks
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
An evaluation of timed scenario notations
Journal of Systems and Software
A Statistical Approach to Test Stochastic and Probabilistic Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Breaking the Model: Finalisation and a Taxonomy of Security Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of Timed Systems Using Cones and Foci
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal testing of systems presenting soft and hard deadlines
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A comparative study of STOPA and RTPA
Transactions on computational science II
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Relational concurrent refinement: timed refinement
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Safety-critical Java in Circus
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Implementation relations for stochastic finite state machines
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Testing of symbolic-probabilistic systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
SAT-based verification for timed component connectors
Science of Computer Programming
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Fundamenta Informaticae
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
An Axiomatization for Regular Processes in Timed Branching Bisimulation
Fundamenta Informaticae
Identifying hardware failures systematically
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
Safety-critical Java programs from Circus models
Real-Time Systems
Theoretical Computer Science
Simulink timed models for program verification
Theories of Programming and Formal Methods
| Hi-index | 0.00 |