Verification of liveness properties using compositional reachability analysis
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Open, distributed coordination with finesse
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Defining Open Software Architectures for Customized Remote Execution of Web Agents
Autonomous Agents and Multi-Agent Systems
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
Formal Modeling of Service Session Management
MMNS '02 Proceedings of the 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services: Management of Multimedia on the Internet
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
MobiS: A Specification Language for Mobile Systems
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Wilde: Supporting Change in Groupware
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
On the Integration of Configuration and Meta-level Programming Approaches
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Towards Designing Distributed Systems with ConDIL
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Specification and Analysis of Timed and Functional TRMCS Behaviours
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Observable Behaviour of Composite Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A specification language and a framework for the execution of composite models in systems biology
Transactions on Computational Systems Biology VII
Hi-index | 0.00 |