Symbolic Analysis of Transition Systems
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Formal Modelling and Verification of an Asynchronous Extension of SOAP
ECOWS '06 Proceedings of the European Conference on Web Services
Constraint-Based Policy Negotiation and Enforcement for Telco Services
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
A flow-sensitive analysis of privacy properties
CSF '07 Proceedings of the 20th IEEE Computer Security Foundations Symposium
Model checking mobile stochastic logic
Theoretical Computer Science
QoS-Aware Service Composition in Dino
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Semantics-Based Design for Secure Web Services
IEEE Transactions on Software Engineering
Formal verification of an automotive scenario in service-oriented computing
Proceedings of the 30th international conference on Software engineering
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Checking Correctness of Transactional Behaviors
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Event-Based Service Coordination
Concurrency, Graphs and Models
A Type System for Client Progress in a Service-Oriented Calculus
Concurrency, Graphs and Models
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
Relational Analysis of Correlation
SAS '08 Proceedings of the 15th international symposium on Static Analysis
MDD4SOA: Model-Driven Service Orchestration
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Service-Oriented Modelling of Automotive Systems
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Dynamic Fault Handling Mechanisms for Service-Oriented Applications
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
StPowla: SOA, Policies and Workflows
Service-Oriented Computing - ICSOC 2007 Workshops
Scalable Analysis of Scalable Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Refactoring Long Running Transactions
Web Services and Formal Methods
Local policies for resource usage analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Architecture and behaviour analysis for engineering Service Modes
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
A Model-Checking Approach for Service Component Architectures
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Service-Level Agreements for Service-Oriented Computing
Recent Trends in Algebraic Development Techniques
Static Detection of Logic Flaws in Service-Oriented Applications
Foundations and Applications of Security Analysis
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
Dynamic Software Architecture Development: Towards an Automated Process
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Evaluating quality of service for service level agreements
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
Logic-based detection of conflicts in APPEL policies
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Implementing session centered calculi
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
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
Relational analysis for delivery of services
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Foundations of security analysis and design IV
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Model transformation by example
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
In this chapter we provide an overview of the application of the results obtained in Sensoria (i.e., techniques, methods and languages developed in the technical work packages WP1-WP7) to case studies from the Automotive, eUniversity, Finance and Telecommunication domains (developed in work package WP8).