Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd 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
A hierarchy of communication models for message sequence charts
Science of Computer Programming
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
Formal Test Purposes and the Validity of Test Cases
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
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
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Safe Realizability of High-Level Message Sequence Charts
CONCUR '02 Proceedings of the 13th 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
Some Pathological Message Sequence Charts, and How to Detect Them
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
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
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
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)
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Resolving Race Conditions in Asynchronous Partial Order Scenarios
IEEE Transactions on Software Engineering
A theory of regular MSC languages
Information and Computation
Message-passing automata are expressively equivalent to EMSO logic
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
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
Scenarios and Covert Channels: Another Game...
Electronic Notes in Theoretical Computer Science (ENTCS)
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)
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of regular MSC languages
Information and Computation
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
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
Strong safe realizability of message sequence chart specifications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Quantifying the discord: order discrepancies in message sequence charts
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Automatic generation of compatible interfaces from partitioned UML activities
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
WISEW'03 Proceedings of the Fourth international conference on Web information systems engineering workshops
An approach to identifying causes of implied scenarios using unenforceable orders
Information and Software Technology
Shared-memory systems and charts
CSR'11 Proceedings of the 6th international conference on Computer science: theory and applications
SMA: the smyle modeling approach
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Race conditions in message sequence charts
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Recovering the lattice of repetitive sub-functions
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Analyzing web service based business processes
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
Non-local choice and beyond: intricacies of MSC choice nodes
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
Compositional message sequence charts (CMSCs) are better to implement than MSCs
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
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
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
Testing probabilistic distributed systems
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Realizability criteria for compositional MSC
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Timed high-level message sequence charts for real-time system design
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
MSCAN: a tool for analyzing MSC specifications
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Towards a model based approach for integration testing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
A framework for pathologies of message sequence charts
Information and Software Technology
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Scenario realizability with constraint optimization
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |