Statecharts: A visual formalism for complex systems
Science of Computer Programming
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Safeware: system safety and computers
Safeware: system safety and computers
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Enforcing Design Constraints with Object Logic
SAS '00 Proceedings of the 7th International Symposium on Static Analysis
Detecting Errors Before Reaching Them
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Verification of Fair Transition Systems
Verification of Fair Transition Systems
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
System-Level Types for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Synchronous and Bidirectional Component Interfaces
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Interface Compatibility Checking for Software Modules
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Convertibility verification and converter synthesis: two faces of the same coin
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Lightweight consistency analysis of dataflow process networks
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
A set-theoretic framework for component composition
Fundamenta Informaticae
Automotive software engineering: an emerging application domain for software engineering
Languages for system specification
Synthesis of interface specifications for Java classes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical Computer Science - Implementation and application of automata
WWW '05 Proceedings of the 14th international conference on World Wide Web
Automatic discovery of API-level exploits
Proceedings of the 27th international conference on Software engineering
Enhancing component specification by behavior description: the SOFA experience
WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
Software composition and verification for sensor networks
Science of Computer Programming - Special issue on new software composition concepts
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
Modular Verification of Open Features Using Three-Valued Model Checking
Automated Software Engineering
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Online testing with model programs
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the 5th ACM international conference on Embedded software
Games in system design and verification
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Counting Interface Automata and their Application in Static Analysis of Actor Models
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Dream types: a domain specific type system for component-based message-oriented middleware
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Specification and verification of inter-component constraints in CTL
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
A compositional trace logic for behavioural interface specifications
Nordic Journal of Computing
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
Actor-oriented models for codesign: balancing re-use and performance
Formal methods and models for system design
Proceedings of the 2006 international workshop on Software engineering for automotive systems
A schema language for coordinating construction and composition of partial behavior descriptions
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Modular strategies for recursive game graphs
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Towards self-adaptive service-oriented architectures
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)
3rd Intl. ICSE workshop on software engineering for automotive systems
ACM SIGSOFT Software Engineering Notes
Information security models and metrics
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Automatic generation of assumptions for modular verification of software specifications
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Real-time interfaces for composing real-time systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Incremental schedulability analysis of hierarchical real-time components
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
ACM Transactions on Software Engineering and Methodology (TOSEM)
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
Component composition preserving behavioral contracts based on communication traces
Theoretical Computer Science - Implementation and application of automata
Achieving communication coverage in testing
ACM SIGSOFT Software Engineering Notes
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Q-Automata: Modelling the Resource Usage of Concurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrent Logic and Automata Combined: A Semantics for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Component Substitutability via Equivalencies of Component-Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Safety-Oriented Design of Component Assemblies using Safety Interfaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Interface grammars for modular software model checking
Proceedings of the 2007 international symposium on Software testing and analysis
Empirical Research Similarity Metrics For Software Component Interfaces
Journal of Integrated Design & Process Science
Safe Adaptation of Component Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting object usage anomalies
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Programming asynchronous layers with CLARITY
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Achieving both model and code coverage with automated gray-box testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Extended interface grammars for automated stub generation
Proceedings of the second workshop on Automated formal methods
From web services annotation and composition to web services domain analysis
International Journal of Metadata, Semantics and Ontologies
Towards the composition of stateful and independent semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
Dependence graphs for verifications of web service compositions with PEWS
Proceedings of the 2008 ACM symposium on Applied computing
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Mining library specifications using inductive logic programming
Proceedings of the 30th international conference on Software engineering
A Formal Framework for Interactive Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of evolving software via component substitutability analysis
Formal Methods in System Design
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Residual for Component Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
The STSLib Project: Towards a Formal Component Model Based on STS
Electronic Notes in Theoretical Computer Science (ENTCS)
Client and server verification for web services using interface grammars
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Semantics-based composition-oriented discovery of Web services
ACM Transactions on Internet Technology (TOIT)
Complexities of simulating a hybrid agent-landscape model using multi-formalism composability
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
An Approach to Modelling and Verification of Component Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Theory and Practice of Probabilistic Timed Game for Embedded Systems
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Reusable Services and Semi-automatic Service Composition for Automotive Software
Model-Driven Development of Reliable Automotive Services
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS
Engineering Societies in the Agents World VIII
Assume-Guarantee Verification for Interface Automata
FM '08 Proceedings of the 15th international symposium on Formal Methods
High Confidence Subsystem Modelling for Reuse
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Programming with Live Distributed Objects
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Everything Is PSPACE-Complete in Interaction Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Interfaces and Metainterfaces for Models and Metamodels
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Interface theories with component reuse
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Compositional analysis of deadlock-freedom for tree-like component architectures
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Modes in component behavior specification via EBP and their application in product lines
Information and Software Technology
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Runtime Verification
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Towards composition of distributed evolving services: the Credo approach (invited paper)
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
Multiple Viewpoint Contract-Based Specification and Design
Formal Methods for Components and Objects
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
Towards Component Verification in the Generic Component Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Computing Weakest Strategies for Safety Games of Imperfect Information
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Refinement and Consistency of Timed Modal Specifications
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Towards Formal Interfaces for Web Services with Transactions
Advanced Internet Based Systems and Applications
Synchronous objects with scheduling policies: introducing safe shared memory in lustre
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Stratified Composition of Web Services
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Compatibility and Conformance of Role-Based Interaction Components in MAS
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Contract-Based Coordination of Hardware Components for the Development of Embedded Software
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Component Specification Using Event Classes
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Integrating Functional and Architectural Views of Reactive Systems
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Compositional Control Synthesis for Partially Observable Systems
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A new formalism for mathematical description and verification of component-based systems
The Journal of Supercomputing
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Refinement of Interface Automata Strengthened by Action Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Modal interfaces: unifying interface automata and modal specifications
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Exploring Multi-Paradigm Modeling Techniques
Simulation
Using partial models to support the testing of distributed systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
(U)CML - a modeling language for modeling and testing compatibility
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated interface refinement for compositional verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A static verification approach for architectural integration of mixed-signal integrated circuits
Integration, the VLSI Journal
A Compositional Approach on Modal Specifications for Timed Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating Snapshots of a Component Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Codesign of dependable systems: a component-based modeling language
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Timed I/O automata: a complete specification theory for real-time systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Automata for specifying component interfaces
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
Modular analysis of dataflow process networks
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Adaptor synthesis for real-time components
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Algebraic semantics of service component modules
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Context-based adaptation of component behavioural interfaces
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Learning assumptions for compositional verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Modular strategies for recursive game graphs
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Enhancing dependability of component-based systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Algorithms for interface synthesis
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Automated and unanticipated flexible component substitution
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A representation-independent behavioral semantics for object-oriented components
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Refinement of models of software components
Proceedings of the 2010 ACM Symposium on Applied Computing
Programming assistance based on contracts and modular verification in the automation domain
Proceedings of the 2010 ACM Symposium on Applied Computing
Automatic composition of stateless components: a logical reasoning approach
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A review on specifying software architectures using extended automata-based models
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Symbolic execution techniques for refinement testing
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Model-based testing of environmental conformance of components
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Partial order reduction for verification of real-time components
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Interoperation in protocol enactment
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Deriving complexity results for interaction systems from 1-safe Petri nets
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Alternating-time stream logic for multi-agent systems
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Distributed behavioural adaptation for the automatic composition of semantic services
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Goal-oriented composition of services
SC'08 Proceedings of the 7th international conference on Software composition
Automatic interoperability test case generation based on formal definitions
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Information and Computation
Ready simulation for concurrency: It's logical!
Information and Computation
Ensuring properties of interaction systems
Program analysis and compilation, theory and practice
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Probabilistic automata for architecture-based reliability assessment
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
My model checker died!: how well did it do?
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Software development for a novel WSN platform
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Automatic generation of compatible interfaces from partitioned UML activities
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-level hierarchical interface-based supervisory control
Automatica (Journal of IFAC)
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
Electronic Notes in Theoretical Computer Science (ENTCS)
Inference of Session Types From Control Flow
Electronic Notes in Theoretical Computer Science (ENTCS)
An Interface Group for Process Components
Fundamenta Informaticae
Describing Secure Interfaces with Interface Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the IEEE/ACM international conference on Automated software engineering
Error-avoiding adaptors for black-box software components
Proceedings of the IEEE/ACM international conference on Automated software engineering
Automatic inference of abstract type behavior
Proceedings of the IEEE/ACM international conference on Automated software engineering
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A proposal for real-time interfaces in SPEEDS
Proceedings of the Conference on Design, Automation and Test in Europe
Verifying trace inclusion between an experimental frame and a model
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
What is in a step: new perspectives on a classical question
Time for verification
Material flow abstraction of manufacturing systems
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Contract-based formal specification of safety critical systems
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Separating testing concerns by means of models
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Component publications and compositions
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A model of evolvable components
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Construction of asynchronous communicating systems: weak termination guaranteed!
SC'10 Proceedings of the 9th international conference on Software composition
Minimal privacy authorization in web services collaboration
Computer Standards & Interfaces
Analysis of the minimal privacy disclosure for web services collaborations with role mechanisms
Expert Systems with Applications: An International Journal
Specification of embedded control systems behaviour using actor interface automata
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Alternating simulation and IOCO
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Constructive semantics for instantaneous reactions
Theoretical Computer Science
Methodologies for specification of real-time systems using timed I/O automata
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Inference and abstraction of the biometric passport
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Reasoning about safety and progress using contracts
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
The earlier the better: a theory of timed actor interfaces
Proceedings of the 14th international conference on Hybrid systems: computation and control
Measuring the compatibility of service interaction protocols
Proceedings of the 2011 ACM Symposium on Applied Computing
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Evaluating the compatibility of conversational service interactions
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Synthesis of live behaviour models for fallible domains
Proceedings of the 33rd International Conference on Software Engineering
Proceedings of the 33rd International Conference on Software Engineering
A trace-based view on operating guidelines
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Enriching Java Enterprise interfaces with formal sequential contracts
Proceedings of the Third Workshop on Behavioural Modelling
Dynamic software update for component-based distributed systems
Proceedings of the 16th international workshop on Component-oriented programming
Automated framework for formal operator task analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
SimCheck: a contract type system for Simulink
Innovations in Systems and Software Engineering
PEWS platform: a web services composition environment
Proceedings of the 6th International Workshop on Enhanced Web Service Technologies
Temporal higher-order contracts
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Modal interface theories for communication-safe component assemblies
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
On contract satisfaction in a higher-order world
ACM Transactions on Programming Languages and Systems (TOPLAS)
Robust specification of real time components
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Formal verification of components assembly based on SysML and interface automata
Innovations in Systems and Software Engineering
Program compatibility approaches
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
An O(n2) time algorithm for alternating Büchi games
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
2/3 alternating simulation between interface automata
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Synthesis of interface automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Implementation of timed automata: an issue of semantics or modeling?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Scenario-based component behavior derivation
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Gate automata-driven run-time enforcement
Computers & Mathematics with Applications
A survey of stochastic ω-regular games
Journal of Computer and System Sciences
Algorithms for omega-regular games with imperfect information
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Checking component-based embedded software designs for scenario-based timing specifications
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Modelling and analysis of power consumption for component-based embedded software
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Compositional strategy mapping
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Dynamic component substitutability analysis
FM'05 Proceedings of the 2005 international conference on Formal Methods
Testing concurrent object-oriented systems with spec explorer
FM'05 Proceedings of the 2005 international conference on Formal Methods
Ticc: a tool for interface compatibility and composition
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Modelling parametric contracts and the state space of composite components by graph grammars
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
Color-Blind specifications for transformations of reactive synchronous programs
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
Invited contribution: sociable interfaces
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Supporting partial component matching
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
A contracting system for hierarchical components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
A compositional operational semantics for OWL-S
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
Multiplexing of partially ordered events
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
A model of components with non-regular protocols
SC'05 Proceedings of the 4th international conference on Software Composition
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Logics for contravariant simulations
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Interface input/output automata
FM'06 Proceedings of the 14th international conference on Formal Methods
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Testing systems of concurrent black-boxes—an automata-theoretic and decompositional approach
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Multi-paradigmatic model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Decompositional algorithms for safety verification and testing of aspect-oriented systems
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Online testing with reinforcement learning
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Trustworthy instantiation of frameworks
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Exceptions in component interaction protocols – necessity
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
New results on timed specifications
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
An introduction to pervasive interface automata
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Run-time systems failure prediction via proactive monitoring
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Formalizing hardware/software interface specifications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Formalizing and verifying compatibility and consistency of SysML blocks
ACM SIGSOFT Software Engineering Notes
Towards a formal foundation of behavioral types for UML state-machines
ACM SIGSOFT Software Engineering Notes
Extending interface automata with z notation
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A compositional specification theory for component behaviours
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Moving from specifications to contracts in component-based design
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
BeJC: checking compliance between Java implementation and behavior specification
Proceedings of the 17th international doctoral symposium on Components and Architecture
Unblockable compositions of software components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Local dynamic update for component-based distributed systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Change impact analysis in service-based business processes
Service Oriented Computing and Applications
New results for Constraint Markov Chains
Performance Evaluation
Tool support for agent-based systems in ptolemy
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systemss
Modal event-clock specifications for timed component-based design
Science of Computer Programming
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Partial-Observation Stochastic Games: How to Win When Belief Fails
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
A Modal Interface Theory for Component-based Design
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Asynchronous learning for service composition
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Synchronous interface theories and time triggered scheduling
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
A Set-Theoretic Framework for Component Composition
Fundamenta Informaticae
Partition refinement of Component Interaction Automata
Science of Computer Programming
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
On modal refinement and consistency
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A new formalism for describing concurrent systems
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Ensuring reachability by design
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
A theory of history dependent abstractions for learning interface automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Towards a formal component model for the cloud
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Revisiting timed specification theories: a linear-time perspective
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Behavioral specification based runtime monitors for OSGi services
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Service substitutability analysis based on behavior automata
Innovations in Systems and Software Engineering
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Independent implementability of viewpoints
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Improving model checking with context modelling
Advances in Software Engineering
Using logic to solve the submodule construction problem
Discrete Event Dynamic Systems
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs
ACM Transactions on Embedded Computing Systems (TECS)
Assembling Components using SysML with Non-Functional Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Correct-by-construction multi-component SoC design
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Towards a theory of interface-based design of hierarchical reactive systems
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Engineering virtualized services
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies
On software component co-installability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Specifying system architecture from SysML requirements and component interfaces
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Compositional verification of a medical device system
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Refinement and difference for probabilistic automata
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
Explicating SDKs: uncovering assumptions underlying secure authentication and authorization
SEC'13 Proceedings of the 22nd USENIX conference on Security
Minimal cut sequence generation for state/event fault trees
Proceedings of the 2013 Middleware Doctoral Symposium
Modeling and specification of real-time interfaces with UTP
Theories of Programming and Formal Methods
On composing and proving the correctness of reactive behavior
Proceedings of the Eleventh ACM International Conference on Embedded Software
A survey of change management in service-based environments
Service Oriented Computing and Applications
From software verification to `everyware' verification
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Robust synthesis for real-time systems
Theoretical Computer Science
Hi-index | 0.01 |
Conventional type systems specify interfaces in terms of values and domains. We present a light-weight formalism that captures the temporal aspects of software component interfaces. Specifically, we use an automata-based language to capture both input assumptions about the order in which the methods of a component are called, and output guarantees about the order in which the component calls external methods. The formalism supports automatic compatability checks between interface models, and thus constitutes a type system for component interaction. Unlike traditional uses of automata, our formalism is based on an optimistic approach to composition, and on an alternating approach to design refinement. According to the optimistic approach, two components are compatible if there is some environment that can make them work together. According to the alternating approach, one interface refines another if it has weaker input assumptions, and stronger output guarantees. We show that these notions have game-theoretic foundations that lead to efficient algorithms for checking compatibility and refinement.