Inference of message sequence charts
Proceedings of the 22nd 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
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Regular Collections of Message Sequence Charts
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Visual Specifications for Modular Reasoning about Asynchronous Systems
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Realizability and Verification of MSC Graphs
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On Message Sequence Graphs and Finitely Generated Regular MSC Languages
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Pattern Matching and Membership for Hierarchical Message Sequence Charts
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
HMSCs as Partial Specifications ... with PNs as Completions
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Compositional Message Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Matching Specifications for Message Sequence Charts
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
The State Explosion Problem from Trace to Bisimulation Equivalence
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Synthesizing Distributed Finite-State Systems from MSCs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
HMSCs as partial specifications ... with PNs as completions
Modeling and verification of parallel processes
Shared Variables Interaction Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
UML for real
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An event structure based semantics for high-level message sequence charts
Mathematical Structures in Computer Science
Information and Computation
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Smart Play-Out Extended: Time and Forbidden Elements
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
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
Proceedings of the 5th ACM international conference on Embedded software
A theory of regular MSC languages
Information and Computation
Semantic-based weaving of scenarios
Proceedings of the 5th international conference on Aspect-oriented software development
Permutation rewriting and algorithmic verification
Information and Computation
Modeling and analysis of value added services using message sequence charts
Journal of Network and Computer Applications
Causal Message Sequence Charts
Theoretical Computer Science
Enforcing Concurrent Temporal Behaviors
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Scenario-based Specifications using Templates
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of regular MSC languages
Information and Computation
SDL'03 Proceedings of the 11th international conference on System design
Detecting races in ensembles of message sequence charts
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Checking consistency of SDL+MSC specifications
SPIN'03 Proceedings of the 10th international conference on Model checking software
Products of message sequence charts
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Matching scenarios with timing constraints
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Temporal logic for scenario-based specifications
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
The complexity of live sequence charts
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Deciding properties of message sequence charts
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Partial order semantics of sequence diagrams for mobility
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Canonizable partial order generators
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Timing analysis of scenario-based specifications using linear programming
Software Testing, Verification & Reliability
Causal message sequence charts
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Checking coverage for infinite collections of timed scenarios
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic
International Journal of Embedded and Real-Time Communication Systems
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |