|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 32 occurrences of 25 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró |
UML Extensions for Service-Oriented Systems.  |
Results of the SENSORIA Project  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel |
Specification and Analysis of Dynamically-Reconfigurable Service Architectures. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastián Uchitel |
Runtime Support for Dynamic and Adaptive Service Composition. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto |
A Formal Support to Business and Architectural Design for Service-Oriented Systems. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, George Spanoudakis |
Advanced service monitoring configurations with SLA decomposition and selection. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Antonia Bertolino, J. Jenny Li |
Sixth international workshop on automation of software test: (AST 2011). |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
An Integrated Workbench for Model-Based Engineering of Service Compositions. |
IEEE T. Services Computing |
2010 |
DBLP DOI BibTeX RDF |
Service-oriented architecture, validation, analysis, services models, composite services, Web services modeling |
| 1 | Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez Toledano |
AVYTAT'10 - PC Co-chairs Message. |
OTM Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria A. Lambrou, Howard Foster |
Sla Based Federated E-Maritime Services. |
MCIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel |
Engage: Engineering Service Modes with WS-Engineer and Dino. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Philip Mayer |
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
Model-Based Verification, Modelling, SOA, Validation, Tools, Services, Eclipse |
| 1 | Howard Foster |
WS-Engineer 2008. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel |
A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
Safety and Response-Time Analysis of an Automotive Accident Assistance Service. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster |
Tool Support for Safety Analysis of Service Composition and Deployment Models. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Towards Self-management in Service-Oriented Computing with Modes. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel |
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. |
ETX |
2007 |
DBLP DOI BibTeX RDF |
FLTL, synthesis, scenarios, Eclipse, MTS |
| 1 | Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel |
Model checking service compositions under resource constraints. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
web services, validation, BPEL4WS, resource modelling |
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Model-Based Analysis of Obligations in Web Service Choreography. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
LTSA-WS: a tool for model-based verification of web service compositions and choreography. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
model-checking, web service compositions, choreography, BPEL4WS, WS-CDL |
| 1 | Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster |
Web service orchestration with BPEL. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu |
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Leveraging Eclipse for integrated model-based engineering of web service compositions. |
ETX |
2005 |
DBLP DOI BibTeX RDF |
web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in |
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Tool Support for Model-Based Engineering of Web Service Compositions. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Compatibility Verification for Web Service Choreography. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Model-based Verification of Web Service Compositions. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")