International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By ACM Press

9781595937216

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Components, objects, and contracts

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292328 ◽

2007 ◽

Author(s):

Olaf Owe ◽

Gerardo Schneider ◽

Martin Steffen

Download Full-text

Proof-transforming compilation of programs with abrupt termination

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292321 ◽

2007 ◽

Author(s):

Peter Müller ◽

Martin Nordio

Download Full-text

Plan-directed architectural change for autonomous systems

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292318 ◽

2007 ◽

Author(s):

Daniel Sykes ◽

William Heaven ◽

Jeff Magee ◽

Jeff Kramer

Keyword(s):

Autonomous Systems ◽

Architectural Change

Download Full-text

Aspect-oriented connectors for coordination

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1294917.1294919 ◽

2007 ◽

Author(s):

Jennifer Pérez ◽

Carlos E. Cuesta

Download Full-text

Game-based safety checking with Mage

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292326 ◽

2007 ◽

Author(s):

Adam Bakewell ◽

Dan R. Ghica

Download Full-text

Playing with time in publish-subscribe using a domain-specific model checker

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292323 ◽

2007 ◽

Author(s):

Luciano Baresi ◽

Giorgio Gerosa ◽

Carlo Ghezzi ◽

Luca Mottola

Keyword(s):

Specific Model ◽

Model Checker ◽

Domain Specific

Download Full-text

On timed components and their abstraction

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292324 ◽

2007 ◽

Author(s):

Ramzi Ben Salah ◽

Marius Bozga ◽

Oded Maler

Download Full-text

Specification and verification of trustworthy component-based real-time reactive systems

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292327 ◽

2007 ◽

Author(s):

Vasu Alagar ◽

Mubarak Mohammad

Keyword(s):

Real Time ◽

Reactive Systems ◽

Specification And Verification

Download Full-text

Rethinking software connectors

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1294917.1294918 ◽

2007 ◽

Author(s):

Stephen Kell

Keyword(s):

Software Connectors

Download Full-text

An integrated verification environment for JML

International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07 ◽

10.1145/1292316.1292322 ◽

2007 ◽

Author(s):

Patrice Chalin ◽

Perry R. James ◽

George Karabotsos

Download Full-text