Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Action versus state based logics for transition systems
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Three logics for branching bisimulation
Journal of the ACM (JACM)
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Efficient On-the-Fly Model Checking for CTL
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Model Checking Action- and State-Labelled Markov Chains
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Formal Modelling and Verification of an Asynchronous Extension of SOAP
ECOWS '06 Proceedings of the European Conference on Web Services
Model checking mobile stochastic logic
Theoretical Computer Science
ACTLW - An action-based computation tree logic with unless operator
Information Sciences: an International Journal
A model checking approach for verifying COWS specifications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
CMC-UMC: a framework for the verification of abstract service-oriented properties
Proceedings of the 2009 ACM symposium on Applied Computing
Collaborative reliability prediction of service-oriented systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
A state/event-based model-checking approach for the analysis of abstract system properties
Science of Computer Programming
An accessible verification environment for UML models of services
Journal of Symbolic Computation
An abstract, on the fly framework for the verification of service-oriented systems
Rigorous software engineering for service-oriented systems
Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Personalized Reliability Prediction of Web Services
ACM Transactions on Software Engineering and Methodology (TOSEM)
Scenario-driven analysis of systems specified through graph transformations
Journal of Visual Languages and Computing
Enhancing the OPEN Process Framework with service-oriented method fragments
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing domain. The aim of this industrial case study is to verify a priori, thus before implementation, certain design issues. The specific scenario is a simplified version of one of possible new services for car drivers to be provided by the in-vehicle computers.