The theory of database concurrency control
The theory of database concurrency control
Automatic synthesis of state machines from trace diagrams
Software—Practice & Experience
Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
The Book of Traces
Automated Support for Modeling OO Software
IEEE Software
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
MESA: Support for Scenario-Based Design of Concurrent Systems
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Deciding Properties for Message Sequence Charts
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Synthesizing State-Based Object Systems from LSC Specifications
Synthesizing State-Based Object Systems from LSC Specifications
Deriving performance models of software architectures from message sequence charts
Proceedings of the 2nd international workshop on Software and performance
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Observing timed systems by means of message sequence chart graphs
Proceedings of the 24th International Conference on Software Engineering
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation
ACM SIGSOFT Software Engineering Notes
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Realizability and Verification of MSC Graphs
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Infinite-State High-Level MSCs: Model-Checking and Realizability
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Compositional Message Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Recognizable Sets of Message Sequence Charts
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Safe Realizability of High-Level Message Sequence Charts
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Beyond Message Sequence Graphs
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Shared Variables Interaction Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Realizability of high-level message sequence charts: closing the gaps
Theoretical Computer Science
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Behavior Capture and Test for Verifying Evolving Component-Based Systems
Proceedings of the 26th International Conference on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Discovering thread interactions in a concurrent system
Journal of Systems and Software - Special issue: Software reverse engineering
Resolving Race Conditions in Asynchronous Partial Order Scenarios
IEEE Transactions on Software Engineering
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
A theory of regular MSC languages
Information and Computation
Telecommunications Systems - Modeling, analysis, design and management
A collaboration-based approach to service specification and detection of implied scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Infinite-state high-level MSCs: Model-checking and realizability
Journal of Computer and System Sciences
Message-passing automata are expressively equivalent to EMSO logic
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Lazy buffer semantics for partial order scenarios
Automated Software Engineering
Recovering Repetitive Sub-functions from Observations
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Behavioral Model Composition: a Non Functional Requirements Driven Approach
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Toward Extracting π-calculus from UML Sequence and State Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of regular MSC languages
Information and Computation
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Using implied scenarios in security testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Towards a framework for estimating system NFRs on behavioral models
Knowledge-Based Systems
Inherent causal orderings of partial order scenarios
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Recovering the lattice of repetitive sub-functions
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Formalizing collaboration goal sequences for service choreography
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Using scenarios to predict the reliability of concurrent component-based software systems
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
Scenario synthesis from imprecise requirements
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Dealing with non-local choice in IEEE 1073.2's standard for remote control
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
A radix-8 multiplier design and its extension for efficient implementation of imaging algorithms
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Deciding properties of message sequence charts
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Lightweight formal methods for scenario-based software engineering
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
A hierarchy of implementable MSC languages
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On the power of play-out for scenario-based programs
Concurrency, Compositionality, and Correctness
Strongly consistent transformation of partial scenarios
ACM SIGSOFT Software Engineering Notes
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Model-based requirements verification method: Conclusions from two controlled experiments
Information and Software Technology
| Hi-index | 0.00 |