| Assert and negate revisited: Modal semantics for UML sequence diagrams D Harel, S Maoz Software & Systems Modeling 7 (2), 237-252, 2008 | 248 | 2008 |
| Scenario-based and value-based specification mining: better together D Lo, S Maoz Automated Software Engineering 19 (4), 423-458, 2012 | 109 | 2012 |
| 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 | 102 | 2006 |
| 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 | 88 | 2007 |
| ADDiff: semantic differencing for activity diagrams S Maoz, JO Ringert, B Rumpe Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 83 | 2011 |
| CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe International Conference on Model Driven Engineering Languages and Systems …, 2011 | 79 | 2011 |
| A manifesto for semantic model differencing S Maoz, JO Ringert, B Rumpe International Conference on Model Driven Engineering Languages and Systems …, 2010 | 69 | 2010 |
| Mining scenario-based triggers and effects D Lo, S Maoz 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 66 | 2008 |
| CDDiff: Semantic Differencing for Class Diagrams S Maoz, JO Ringert, B Rumpe ECOOP 2011–Object-Oriented Programming, 230-254, 2011 | 60 | 2011 |
| Using model-based traces as runtime models S Maoz Computer 42 (10), 28-36, 2009 | 59 | 2009 |
| 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 | 51 | 2010 |
| GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 47 | 2015 |
| 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 | 45 | 2013 |
| Mining branching-time scenarios D Fahland, D Lo, S Maoz 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 44 | 2013 |
| Mining hierarchical scenario-based specifications D Lo, S Maoz 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 41 | 2009 |
| S2A: A compiler for multi-modal UML sequence diagrams D Harel, A Kleinbort, S Maoz International Conference on Fundamental Approaches to Software Engineering …, 2007 | 40 | 2007 |
| On tracing reactive systems S Maoz, D Harel Software and Systems Modeling 10 (4), 447-468, 2011 | 39 | 2011 |
| 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 | 35 | 2011 |
| Behavioral log analysis with statistical guarantees N Busany, S Maoz 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016 | 32 | 2016 |
| Assume-guarantee scenarios: Semantics and synthesis S Maoz, Y Sa’ar International Conference on Model Driven Engineering Languages and Systems …, 2012 | 30 | 2012 |
Jan Oliver RingertSchool of Informatics, University of LeicesterVerified email at leicester.ac.uk
