Shahar Maoz
Shahar Maoz
School of Computer Science, Tel Aviv University
Verified email at cs.tau.ac.il - Homepage
Title
Cited by
Cited by
Year
Assert and negate revisited: Modal semantics for UML sequence diagrams
D Harel, S Maoz
Software & Systems Modeling 7 (2), 237-252, 2008
2552008
Scenario-based and value-based specification mining: better together
D Lo, S Maoz
Automated Software Engineering 19 (4), 423-458, 2012
1112012
From multi-modal scenarios to code: compiling LSCs into AspectJ
S Maoz, D Harel
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006
1022006
Mining modal scenario-based specifications from execution traces of reactive systems
D Lo, S Maoz, SC Khoo
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
882007
ADDiff: semantic differencing for activity diagrams
S Maoz, JO Ringert, B Rumpe
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
842011
CD2Alloy: Class diagrams analysis using Alloy revisited
S Maoz, JO Ringert, B Rumpe
International Conference on Model Driven Engineering Languages and Systems …, 2011
822011
A manifesto for semantic model differencing
S Maoz, JO Ringert, B Rumpe
International Conference on Model Driven Engineering Languages and Systems …, 2010
702010
Mining scenario-based triggers and effects
D Lo, S Maoz
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
672008
CDDiff: Semantic Differencing for Class Diagrams
S Maoz, JO Ringert, B Rumpe
ECOOP 2011–Object-Oriented Programming, 230-254, 2011
612011
Using model-based traces as runtime models
S Maoz
Computer 42 (10), 28-36, 2009
592009
GR (1) synthesis for LTL specification patterns
S Maoz, JO Ringert
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
532015
PlayGo: towards a comprehensive tool for scenario based programming
D Harel, S Maoz, S Szekely, D Barkan
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
532010
Synthesis of component and connector models from crosscutting structural views
S Maoz, JO Ringert, B Rumpe
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
462013
Mining branching-time scenarios
D Fahland, D Lo, S Maoz
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
452013
Mining hierarchical scenario-based specifications
D Lo, S Maoz
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
422009
S2A: A compiler for multi-modal UML sequence diagrams
D Harel, A Kleinbort, S Maoz
International Conference on Fundamental Approaches to Software Engineering …, 2007
412007
On tracing reactive systems
S Maoz, D Harel
Software and Systems Modeling 10 (4), 447-468, 2011
402011
Semantically configurable consistency analysis for class and object diagrams
S Maoz, JO Ringert, B Rumpe
International Conference on Model Driven Engineering Languages and Systems …, 2011
362011
Behavioral log analysis with statistical guarantees
N Busany, S Maoz
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
342016
Assume-guarantee scenarios: Semantics and synthesis
S Maoz, Y Sa’ar
International Conference on Model Driven Engineering Languages and Systems …, 2012
322012
The system can't perform the operation now. Try again later.
Articles 1–20