Is abstraction the key to computing?
Communications of the ACM
Model checking service compositions under resource constraints
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
ICCOM'07 Proceedings of the 11th Conference on 11th WSEAS International Conference on Communications - Volume 11
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Electronic Notes in Theoretical Computer Science (ENTCS)
A study of student strategies for the corrective maintenance of concurrent software
Proceedings of the 30th international conference on Software engineering
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Behavioural model fusion: an overview of challenges
Proceedings of the 2008 international workshop on Models in software engineering
Using formal models to objectively judge quality of multi-threaded programs in empirical studies
Proceedings of the 2008 international workshop on Models in software engineering
Towards engineering models of aspectual pervasive software services
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services
A model-based approach for engineering pervasive services in SOAs
Proceedings of the 5th international conference on Pervasive services
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments
Proceedings of the 4th ACM symposium on Software visualization
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
FM '08 Proceedings of the 15th international symposium on Formal Methods
Testing Concurrent Objects with Application-Specific Schedulers
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Towards compositional synthesis of evolving systems
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Using model checkers in an introductory course on operating systems
ACM SIGOPS Operating Systems Review
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
Teaching about threading: where and what?
ACM SIGACT News
Journal of Biomedical Informatics
Tools and experiments supporting a testing-based theory of component composition
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Redundancy Protocol for Service-Oriented Architectures
Service-Oriented Computing --- ICSOC 2008 Workshops
Analyzing critical process models through behavior model synthesis
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Software Platform for Timed Mobility and Timed Interaction
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Evolution of a course on model checking for practical applications
ACM SIGCSE Bulletin
Model checking education for software engineers in Japan
ACM SIGCSE Bulletin
Synthesizing and utilizing partial behavior models during requirements elicitation
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
A rigorous architectural approach to adaptive software engineering
Journal of Computer Science and Technology
Formal verification of service composition in pervasive computing environments
Proceedings of the First Asia-Pacific Symposium on Internetware
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Analyzing Chor Specifications by Translation into FSP
Electronic Notes in Theoretical Computer Science (ENTCS)
A general result for deriving product-form solutions in markovian models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
User-friendly GUI in software model checking
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Aspect-oriented modeling and verification with finite state machines
Journal of Computer Science and Technology - Special section on trust and reputation management in future computing systmes and applications
Efficient symbolic execution of large quantifications in a process algebra
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Component adaptation in contemporary execution environments
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Using formal specification techniques for advanced counseling systems in health care
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
An event-based coordination model for context-aware applications
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Towards faithful model extraction based on contexts
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Interface decomposition for service compositions
Proceedings of the 33rd International Conference on Software Engineering
Counter example-based error localization of behavior models
NFM'11 Proceedings of the Third international conference on NASA Formal methods
CADP 2010: a toolbox for the construction and analysis of distributed processes
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Towards safe human-robot interaction
TAROS'11 Proceedings of the 12th Annual conference on Towards autonomous robotic systems
FSP and FLTL framework for specification and verification of middle-agents
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Context-aware services engineering: Models, transformations, and verification
ACM Transactions on Internet Technology (TOIT)
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Architecture-level reliability prediction of concurrent systems
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
Lock inference in the presence of large libraries
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Model-driven construction of certified binaries
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Achieving interoperability through semantics-based technologies: the instant messaging case
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
View-based development of a simulation framework for multi-disciplinary environmental modelling
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
OverStar: an open approach to end-to-end middleware services in systems of systems
Proceedings of the 13th International Middleware Conference
Model checking-based safety verification for railway signal safety protocol-I
International Journal of Computer Applications in Technology
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Controller synthesis: from modelling to enactment
Proceedings of the 2013 International Conference on Software Engineering
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
| Hi-index | 0.02 |