Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
IEEE Transactions on Software Engineering
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
Dynamic Scheduling and Fault-Tolerance: Specification andVerification
Real-Time Systems
State, event, time and diagram in system modeling
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
A Process Algebra for Real-Time Programs
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Mathematical Models of Computer Security
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
XML-Based Static Type Checking and Dynamic Visualization for TCOZ
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
An Integrated Approach to Specification and Validation of Real-Time Systems
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Fixpoint Theory for Non-monotonic Parallelism
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Stochastic Process Algebras Meet Eden
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Information and Computation
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Formal specification and analysis of hardware systems in timed Chi
Nordic Journal of Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Integrating Time and Resource into Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematical modelling of digital hardware systems in timed Chi
MIC '07 Proceedings of the 26th IASTED International Conference on Modelling, Identification, and Control
Specification and validation of the SACI-1 on-board computer using timed-CSP-Z and Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A comparative study of STOPA and RTPA
Transactions on computational science II
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Constructing property-oriented models for verification
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Verification of computation orchestration via timed automata
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Multi-agent system specification using TCOZ
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
Theoretical Computer Science
| Hi-index | 0.01 |