Fundamentals of software engineering
Fundamentals of software engineering
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Strategic directions in software quality
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
A practical guide to testing object-oriented software
A practical guide to testing object-oriented software
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
Automated SLA Monitoring for Web Services
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
Modeling E -service Orchestration through Petri Nets
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Coyote: An XML-Based Framework for Web Services Testing
HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
Extending WSDL to Facilitate Web Services Testing
HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
Cross-Organizational Transaction Support for E-Services in Virtual Enterprises
Distributed and Parallel Databases
Grid Information Services for Distributed Resource Sharing
HPDC '01 Proceedings of the 10th IEEE International Symposium on High Performance Distributed Computing
An Agent-based Architecture for Analyzing Business Processes of Real-Time Enterprises
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
The Art of Software Testing
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
ICWS '04 Proceedings of the IEEE International Conference on Web Services
SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Compatibility Verification for Web Service Choreography
ICWS '04 Proceedings of the IEEE International Conference on Web Services
A CP-nets-based Design and Verification Framework for Web Services Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Performance Monitoring of Service-Level Agreements for Utility Computing Using the Event Calculus
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Proceedings of the 19th IEEE international conference on Automated software engineering
Cooperative and Group Testing in Verification of Dynamic Composite Web Services
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Workshops and Fast Abstracts - Volume 02
A Framework for Integrating Business Processes and Business Requirements
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Formal Verification of Requirements using SPIN: A Case Study on Web Services
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
An EREC framework for e-contract modeling, enactment and monitoring
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Cremona: an architecture and library for creation and monitoring of WS-agreents
Proceedings of the 2nd international conference on Service oriented computing
Associating assertions with business processes and monitoring their execution
Proceedings of the 2nd international conference on Service oriented computing
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
iBOM: A Platform for Intelligent Business Operation Management
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Automated Model Checking and Testing for Composite Web Services
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
WWW '05 Proceedings of the 14th international conference on World Wide Web
Distributed functional and load tests for Web services
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
The Audition Framework for TestingWeb Services Interoperability
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Testing Web Services by XML Perturbation
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis
SOSE '05 Proceedings of the IEEE International Workshop
A Framework for Testing Web Services and Its Supporting Tool
SOSE '05 Proceedings of the IEEE International Workshop
WSDL-Based Automatic Test Case Generation for Web Services Testing
SOSE '05 Proceedings of the IEEE International Workshop
Web Service Group Testing with Windowing Mechanisms
SOSE '05 Proceedings of the IEEE International Workshop
Stochastic Voting Algorithms for Web Services Group Testing
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Colombo: lightweight middleware for service-oriented computing
IBM Systems Journal
A Multi-Agent Based Framework for Collaborative Testing on Web Services
SEUS-WCCIA '06 Proceedings of the The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)
On the success of empirical studies in the international conference on software engineering
Proceedings of the 28th international conference on Software engineering
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Analysis of communication models in web service compositions
Proceedings of the 15th international conference on World Wide Web
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Model-based functional conformance testing of web services operating on persistent data
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Towards a BPEL unit testing framework
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Probing and Monitoring of WSBPEL Processes with Web Services
CEC-EEE '06 Proceedings of the The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
TAIC-PART '06 Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques
Model driven development for business performance management
IBM Systems Journal - Model-driven software development
Testing BPEL-based Web Service Composition Using High-level Petri Nets
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Representation, Verification, and Computation of Timed Properties in Web
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Exploring Perturbation Based Testing for Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Static Verification of Control and Data inWeb Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Performance Modeling of WS-BPEL-Based Web Service Compositions
SCW '06 Proceedings of the IEEE Services Computing Workshops
WSDLTest - A Tool for Testing Web Services
WSE '06 Proceedings of the Eighth IEEE International Symposium on Web Site Evolution
Swiss Cheese Test Case Generation for Web Services Testing
IEICE - Transactions on Information and Systems
SCALEA-G: A unified monitoring and performance analysis system for the grid
Scientific Programming - AxGrids 2004
Towards security monitoring patterns
Proceedings of the 2007 ACM symposium on Applied computing
WebSob: A Tool for Robustness Testing of Web Services
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
AICCSA '05 Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications
A Test Bed for Web Services Protocols
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
A Safe Regression Test Selection Technique for Web Services
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Ontology-Based Test Case Generation for Testing Web Services
ISADS '07 Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems
Adaptive Service Composition in Flexible Processes
IEEE Transactions on Software Engineering
A Model Checking Approach to Verify BPEL4WS Workflows
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Search-based testing of service level agreements
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Dynamic Reconfigurable Testing of Service-Oriented Architecture
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
Contract-Based Testing for Web Services
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
Towards Automatic Regression Test Selection for Web Services
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Conformance checking of processes based on monitoring real behavior
Information Systems
Test and Analysis of Web Services
Test and Analysis of Web Services
Monitoring business processes with queries
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Concurrency in a decentralized automatic regression test selection framework for web services
Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Run-Time Monitoring for Privacy-Agreement Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Deriving Protocol Models from Imperfect Service Conversation Logs
IEEE Transactions on Knowledge and Data Engineering
Quality analysis of composed services through fault injection
Information Systems Frontiers
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Contract-based Testing of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
GridICE: a monitoring service for Grid systems
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Performance prediction of web service workflows
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Fuzzy mining: adaptive process simplification based on multi-perspective metrics
BPM'07 Proceedings of the 5th international conference on Business process management
Towards a formal verification of OWL-S process models
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Fault tolerant web service orchestration by means of diagnosis
EWSA'06 Proceedings of the Third European conference on Software Architecture
A simple approach for testing web service based applications
IICS'05 Proceedings of the 5th international conference on Innovative Internet Community Systems
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Analysis of realizability conditions for web service choreographies
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Using test cases as contract to ensure service compliance across releases
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Automatic conformance testing of web services
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Choreographing security and performance analysis for web services
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Choreography conformance analysis: asynchronous communications and information alignment
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
WS-Policy for service monitoring
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
A pattern-driven framework for monitoring security and dependability
TrustBus'07 Proceedings of the 4th international conference on Trust, Privacy and Security in Digital Business
A comparative evaluation of state-of-the-art web service composition testing approaches
Proceedings of the 6th International Workshop on Automation of Software Test
A constraint-based approach to quality assurance in service choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Hi-index | 0.00 |