S. Maoz and D. Harel,
"On Tracing Reactive Systems",
Software and Systems Modeling (SoSyM).
To appear.
S. Maoz, D. Harel, and A. Kleinbort,
"A Compiler for Multi-Modal Scenarios: Transforming LSCs into AspectJ",
ACM TOSEM.
Extended version of FSE'06 and FASE'07 papers. To appear.
S. Maoz,
"Using Model-Based Traces as Runtime Models",
IEEE Computer, 42 (10) (October 2009), pp. 28-36.
D. Harel and S. Maoz,
"Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams",
Software and Systems Modeling (SoSyM), 7 (2) (May 2008), pp. 237-252.
Full version of SCESM'06 paper. [PDF]
A. Rabinovich and S. Maoz,
"An Infinite Hierarchy of Temporal Logics Over Branching Time",Information and Computation,171 (2) (Jan. 2002), pp. 306-332.
Full version of MFCS'00 paper. [PDF]
Conference and workshop proceedings
D. Harel, H. Kugler, S. Maoz, and I. Segall,
"Accelerating Smart Play-Out".
In Proc. 36th Int. Conf. on Current Trends in Theory and Practice of
Computer Science (SOFSEM 2010), J. van
Leeuwen et al. eds., LNCS, vol. 5901, Springer, 2010, pp. 477-488.
D. Lo and S. Maoz,
"Mining Hierarchical Scenario-Based Specifications".
In Proc. 24th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE'09).
To appear (full paper).
S. Maoz, "Polymorphic Scenario-Based
Specification Models: Semantics and Applications". In
12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS
2009),
A. Schürr and B. Selic eds., LNCS, vol. 5795, Springer, 2009, pp. 499-513. (Scientific
track, full paper).
S. Maoz, J. Metsä, and M. Katara, "Model-Based Testing using LSCs
and S2A". In
12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS
2009),
A. Schürr and B. Selic eds., LNCS, vol. 5795, Springer, 2009, pp. 301-306. (Empirical Results track, short paper).
S. Maoz, "Model-Based Traces". In
Models in Software Engineering, Workshops and Symposia at MODELS 2008, Reports
and Revised Selected Papers, M.R.V. Chaudron ed., LNCS, vol. 5421, Springer, 2009,
pp. 109-119. Presented at the 3rd Int. Workshop on Models at Runtime
(Models@Run.time 2008), at MODELS 2008, Toulouse, France, Oct. 2008.
Selected as one of two best papers of the workshop. [PDF]
D. Lo and S. Maoz, "Specification Mining of Symbolic Scenario-Based Models".
In Proc. 8th ACM SIGPLAN SIGSOFT Int. Workshop on Program Analysis for Software Tools and Engineering
(PASTE 2008, co-located with SIGSOFT FSE), Shriram Krishnamurthi and Michal Young eds.,
ACM, 2008, pp. 29-35.
D. Lo and S. Maoz,
"Mining Scenario-Based Triggers and Effects".
In Proc. 23rd IEEE/ACM Int. Conf. on Automated Software Engineering (ASE'08),
IEEE, October 2008, pp. 109-118.
Y. Atir, D. Harel, A. Kleinbort, and S. Maoz,
"Object Composition in Scenario-Based Programming".
In Proc. 11th Int. Conf. on Fundamental
Approaches to Software Engineering (FASE'08),
LNCS, vol. 4961, Springer, March 2008, pp. 301-316.
D. Lo, S. Maoz, and S-C. Khoo,
"Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems".
In Proc. 22nd IEEE/ACM Int. Conf. on Automated Software Engineering (ASE'07;
short papers track),
ACM, November 2007, pp. 465-468.
S. Maoz, A. Kleinbort, and D. Harel,
"Towards Trace Visualization and Exploration for Reactive Systems".
In Proc. 2007 IEEE Symp. on Visual Languages and Human-Centric Computing (VL/HCC
2007; short papers track),
P. Cox and J. Hosking eds., IEEE Computer Society, September 2007, pp. 153-156.
[PDF]
(Appendices [PDF]).
Website.
D. Harel, A. Kleinbort, and S. Maoz, "S2A: A
Compiler for Multi-Modal UML Sequence Diagrams". In Proc. 10th Int. Conf. on Fundamental
Approaches to Software Engineering (FASE'07;
tools track),
LNCS, vol. 4422, Springer, 2007, pp. 121-124.
S. Maoz and D. Harel, "From
Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ".
In Proc. 14th ACM SIGSOFT Symp. on Foundations of Software Engineering
(FSE'06), Portland, Nov. 2006, pp. 219-230.
Nominated for Distinguished Paper Award. [PDF]
D. Harel and S. Maoz, "Assert and Negate Revisited: Modal Semantics for
UML Sequence Diagrams". In Proc. 5th Int. Workshop on Scenarios and State
Machines: Models, Algorithms and Tools (SCESM'06),
at ICSE'06, Shangahi, May 2006, pp. 13-20.
A. Rabinovich and S. Maoz, "Why So Many Temporal Logics Climb Up the Trees?".
In Proc. 25th Int. Symposium on Mathematical Foundations of Computer Science (MFCS'00),
M. Nielsen and B. Rovan, eds. LNCS, vol. 1893, Springer, London, 2000, pp. 629-639.
Book chapters
D. Harel, H. Kugler, S. Maoz, and I. Segall,
"How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution".
In Perspectives in Concurrency Theory
(Festschrift for P.S. Thiagarajan) (K. Lodaya et al, eds.), University
Press (India), 2009, pp. 208-230.
D. Harel, A. Kantor, and S. Maoz,
"On the Power of Play-Out for Scenario-Based Programs".
To appear.
D. Harel, S. Maoz, and I. Segall,
"Some Results on the Expressive Power and Complexity of LSCs".
In Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday,
A. Avron, N. Dershowitz, and A. Rabinovich, eds. LNCS, vol. 4800, Springer.
Berlin, 2008, pp. 351-366. [PDF]
D. Harel and S. Maoz, "Visual Formalisms".
In Encyclopedia of Database Systems,
L. Liu and M. Tamer Özsu, eds. , Springer, 2009, pp. 3370-3374.
Poster abstracts
D. Lo and S. Maoz,
"Mining Scenario-Based Specifications with Value-Based Invariants".
In Proc. 24th Ann. ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA Companion '09; posters track),
ACM, October 2009, pp. 755-756.
D. Lo and S. Maoz,
"Hierarchical Inter-Object Traces for Specification Mining".
In Proc. 23rd Ann. ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA Companion '08; posters track), ACM, October 2008, pp. 761-762.
D. Lo, S. Maoz, and S-C. Khoo,
"Mining Modal Scenarios from Execution Traces".
In Proc. 22nd Ann. ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA Companion '07; posters track), ACM, October 2007, pp. 777-778.