Communication and concurrency
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Compositional State Space Generation from Lotos Programs
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
The NCSU Concurrency Workbench
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Analysing the behaviour of distributed software architectures: a case study
FTDCS '97 Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems
A Model-Based Framework for Statically and Dynamically Checking Component Interactions
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Architectural Specification and Static Analyses of Contractual Application Properties
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Integration of time issues into component-based applications
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
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
Towards handling architecture design, variability and evolution with model transformations
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Systematic simplicity-accuracy tradeoffs in parameterised contract models
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Software and Systems Modeling (SoSyM)
Journal of Systems and Software
| Hi-index | 0.00 |