-
1
-
-
0345829124
-
An evaluation of scenario notations and construction approaches for telecommunication systems development
-
[AE03]
-
[AE03] D. Amyot and A. Eberlein. An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunications Systems Journal, 24(1):61-94, 2003.
-
(2003)
Telecommunications Systems Journal
, vol.24
, Issue.1
, pp. 61-94
-
-
Amyot, D.1
Eberlein, A.2
-
2
-
-
0002185697
-
An analyzer for message sequence charts
-
[AHP96]
-
[AHP96] R. Alur, G.J. Holzmann, and D. Peled. An analyzer for message sequence charts. Software Concepts and Tools, 17(2):70-77, 1996.
-
(1996)
Software Concepts and Tools
, vol.17
, Issue.2
, pp. 70-77
-
-
Alur, R.1
Holzmann, G.J.2
Peled, D.3
-
3
-
-
24944572432
-
Cybernetix case-study: Informal description
-
[Alb02]
-
[Alb02] S. Albert. Cybernetix case-study: Informal description. AMETIST web page http://ametist.cs.utwente.nl, 2002.
-
(2002)
AMETIST Web Page
-
-
Albert, S.1
-
4
-
-
84888232448
-
Model checking of message sequence charts
-
[AY99] 10th International Conference on Concurrency Theory (CONCUR99). Springer-Verlag
-
[AY99] R. Alur and M. Yannakakis. Model checking of message sequence charts. In 10th International Conference on Concurrency Theory (CONCUR99), volume 1664 of Led. Notes in Comp. Sci., pages 114-129. Springer-Verlag, 1999.
-
(1999)
Led. Notes in Comp. Sci.
, vol.1664
, pp. 114-129
-
-
Alur, R.1
Yannakakis, M.2
-
5
-
-
33947099681
-
InterPlay: Horizontal scale-up and transition to design in scenario-based programming
-
[BHM04] Lectures on Concurrency and Petri Nets. Springer-Ver lag
-
[BHM04] D. Barak, D. Harel, and R. Marelly. InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. In Lectures on Concurrency and Petri Nets, volume 3098 of Lect. Notes in Comp. Sci., pages 66-86. Springer-Ver lag, 2004.
-
(2004)
Lect. Notes in Comp. Sci.
, vol.3098
, pp. 66-86
-
-
Barak, D.1
Harel, D.2
Marelly, R.3
-
6
-
-
84944406286
-
Counterexample-guided abstraction refinement
-
[CGJ+00] A. Emerson and P. S. Sistla, editors, Lect. Notes in Comp. Sci. Springer-Verlag
-
th Intl. Conference on Computer Aided Verification (CAV'00), volume 1855 of Lect. Notes in Comp. Sci., Springer-Verlag, Lect. Notes in Comp. Sci., pages 154-169. Springer-Verlag, 2000.
-
(2000)
th Intl. Conference on Computer Aided Verification (CAV'00), Volume 1855 of Lect. Notes in Comp. Sci., Springer-verlag
, vol.1855
, pp. 154-169
-
-
Clarke, E.M.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
8
-
-
0035393979
-
LSCs: Breathing life into message sequence charts
-
[DH01]
-
[DH01] W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001.
-
(2001)
Formal Methods in System Design
, vol.19
, Issue.1
, pp. 45-80
-
-
Damm, W.1
Harel, D.2
-
10
-
-
0035446935
-
Verification of a radio-based signalling system using the statemate verification environment
-
[DK01]
-
[DK01] W. Damm and J. Klose. Verification of a radio-based signalling system using the statemate verification environment. Formal Methods in System Design, 19(2):121-141, 2001.
-
(2001)
Formal Methods in System Design
, vol.19
, Issue.2
, pp. 121-141
-
-
Damm, W.1
Klose, J.2
-
12
-
-
84903159515
-
Compositional message sequence charts
-
[GMP01]
-
th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), volume 2031 of Led. Notes in Comp. Sci., Springer-Verlag, pages 496-511, 2001.
-
(2001)
th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), Volume 2031 of Led. Notes in Comp. Sci., Springer-verlag
, vol.2031
, pp. 496-511
-
-
Gunter, E.L.1
Muscholl, A.2
Peled, D.3
-
13
-
-
84948138249
-
Smart play-out of behavioral requirements
-
th Intl. Conference on Formal Methods in Computer-Aided Design (FMCAD'02), Portland, Oregon
-
th Intl. Conference on Formal Methods in Computer-Aided Design (FMCAD'02), Portland, Oregon, volume 2517 of Lect. Notes in Comp. Sci., pages 378-398, 2002.
-
(2002)
Lect. Notes in Comp. Sci.
, vol.2517
, pp. 378-398
-
-
Harel, D.1
Kugler, H.2
Marelly, R.3
Pnueli, A.4
-
14
-
-
4644275161
-
-
The Weizmann Institute of Science
-
Also available as Tech. Report MCS02-08, The Weizmann Institute of Science.
-
Tech. Report
, vol.MCS02-08
-
-
-
16
-
-
3042527918
-
Specifying and executing behavioral requirements: The play in/play-out approach
-
[HM03b]
-
[HM03b] D. Harel and R. Marelly. Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach. Software and System Modeling (SoSyM), 2(2):82-107, 2003.
-
(2003)
Software and System Modeling (SoSyM)
, vol.2
, Issue.2
, pp. 82-107
-
-
Harel, D.1
Marelly, R.2
-
17
-
-
84974633278
-
On message sequence graphs and finitely generated regular MSC languages
-
[HMKT00a] J.D.P. Rolim U. Montanari and E. Welzl, editors, Proc. 27th Int. Colloq. Aut. Lang. Prog. Springer-Verlag
-
[HMKT00a] J.G. Henriksen, M. Mukund, K.N. Kumar, and P.S. Thiagarajan. On message sequence graphs and finitely generated regular MSC languages. In J.D.P. Rolim U. Montanari and E. Welzl, editors, Proc. 27th Int. Colloq. Aut. Lang. Prog., volume 1853 of Lect. Notes in Comp. Sci., pages 675-686. Springer-Verlag, 2000.
-
(2000)
Lect. Notes in Comp. Sci.
, vol.1853
, pp. 675-686
-
-
Henriksen, J.G.1
Mukund, M.2
Kumar, K.N.3
Thiagarajan, P.S.4
-
18
-
-
84959181355
-
Regular collections of message sequence charts
-
[HMKT00b] Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science(MFCS'2000). Springer-Verlag
-
[HMKT00b] J.G. Henriksen, M. Mukund, K.N. Kumar, and P.S. Thiagarajan. Regular collections of Message Sequence Charts. In Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science(MFCS'2000), volume 1893 of Lect. Notes in Comp. Sci., pages 675-686. Springer-Verlag, 2000.
-
(2000)
Lect. Notes in Comp. Sci.
, vol.1893
, pp. 675-686
-
-
Henriksen, J.G.1
Mukund, M.2
Kumar, K.N.3
Thiagarajan, P.S.4
-
19
-
-
84866578749
-
-
[IL] Rhapsody. I-Logix, Inc.
-
[IL] Rhapsody. I-Logix, Inc., products web page. http://www.ilogix.com/ products/.
-
Products Web Page
-
-
-
20
-
-
84883592668
-
Formal modeling of C. elegans development: A scenariobased approach
-
[KHK+03] Corrado Priami, editor. Springer-Verlag
-
[KHK+03] N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A. Hubbard, and M.J. Stern. Formal Modeling of C. elegans Development: A ScenarioBased Approach. In Corrado Priami, editor, Proc. Int. Workshop on Computational Methods in Systems Biology (CMSB 2003), pages 4-20. Springer-Verlag, 2003.
-
(2003)
Proc. Int. Workshop on Computational Methods in Systems Biology (CMSB 2003)
, pp. 4-20
-
-
Kam, N.1
Harel, D.2
Kugler, H.3
Marelly, R.4
Pnueli, A.5
Hubbard, E.J.A.6
Stern, M.J.7
-
21
-
-
0004014978
-
-
Extended version appeared in Modeling in Molecular Biology, Springer
-
Extended version appeared in Modeling in Molecular Biology, G.Ciobanu (Ed.), Natural Computing Series, Springer, 2004.
-
(2004)
Natural Computing Series
-
-
Ciobanu, G.1
-
26
-
-
0038147995
-
Multiple instances and symbolic variables in executable sequence charts
-
[MHK02], Seattle, WA
-
[MHK02] R. Marelly, D. Harel, and H. Kugler. Multiple instances and symbolic variables in executable sequence charts. In Proc. 17th Ann. ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'02), pages 83-100, Seattle, WA, 2002.
-
(2002)
Proc. 17th Ann. ACM Conf. on Object-oriented Programming, Systems, Languages and Applications (OOPSLA'02)
, pp. 83-100
-
-
Marelly, R.1
Harel, D.2
Kugler, H.3
-
27
-
-
84947908141
-
Deciding properties for message sequence charts
-
[MPS98], number 1378 in Lect. Notes in Comp. Sci. Springer-Verlag
-
[MPS98] A. Muscholl, D. Peled, and Z. Su. Deciding properties for message sequence charts. In Proceedings of the 1st International Conference on Foundations of Software Science and Computation Structures (FOSSACS '98), number 1378 in Lect. Notes in Comp. Sci., pages 226-242. Springer-Verlag, 1998.
-
(1998)
Proceedings of the 1st International Conference on Foundations of Software Science and Computation Structures (FOSSACS '98)
, pp. 226-242
-
-
Muscholl, A.1
Peled, D.2
Su, Z.3
-
28
-
-
84955574038
-
Refinement in interworkings
-
[MR96] U. Montanari and V. Sassone, editors, 7th International Conference on Concurrency Theory (CONCUR96). Springer-Verlag
-
[MR96] S. Mauw and M. A. Reniers. Refinement in interworkings. In U. Montanari and V. Sassone, editors, 7th International Conference on Concurrency Theory (CONCUR96), volume 1119 of Lect. Notes in Comp. Sci., pages 671-686. Springer-Verlag, 1996.
-
(1996)
Lect. Notes in Comp. Sci.
, vol.1119
, pp. 671-686
-
-
Mauw, S.1
Reniers, M.A.2
|