Folgen
Shahar Maoz
Shahar Maoz
School of Computer Science, Tel Aviv University
Bestätigte E-Mail-Adresse bei cs.tau.ac.il - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Assert and negate revisited: Modal semantics for UML sequence diagrams
D Harel, S Maoz
Proceedings of the 2006 international workshop on Scenarios and state …, 2006
2772006
Scenario-based and value-based specification mining: better together
D Lo, S Maoz
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
1192010
CD2Alloy: Class diagrams analysis using Alloy revisited
S Maoz, JO Ringert, B Rumpe
Model Driven Engineering Languages and Systems: 14th International …, 2011
1172011
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
1072006
ADDiff: semantic differencing for activity diagrams
S Maoz, JO Ringert, B Rumpe
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
1042011
GR (1) synthesis for LTL specification patterns
S Maoz, JO Ringert
Proceedings of the 2015 10th joint meeting on foundations of software …, 2015
942015
A manifesto for semantic model differencing
S Maoz, JO Ringert, B Rumpe
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo …, 2011
932011
Mining modal scenario-based specifications from execution traces of reactive systems
D Lo, S Maoz, SC Khoo
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007
922007
CDDiff: Semantic Differencing for Class Diagrams
S Maoz, JO Ringert, B Rumpe
ECOOP 2011–Object-Oriented Programming, 230-254, 2011
822011
Mining scenario-based triggers and effects
D Lo, S Maoz
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
712008
PlayGo: towards a comprehensive tool for scenario based programming
D Harel, S Maoz, S Szekely, D Barkan
Proceedings of the 25th IEEE/ACM international conference on automated …, 2010
642010
Using model-based traces as runtime models
S Maoz
Computer 42 (10), 28-36, 2009
562009
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
532013
Behavioral log analysis with statistical guarantees
N Busany, S Maoz
Proceedings of the 38th International Conference on Software Engineering …, 2016
482016
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
482011
Synthesizing a Lego Forklift Controller in GR (1): A Case Study
S Maoz, JO Ringert
Proceedings of the 4th workshop on synthesis, SYNT 2015, 58-72, 2016
472016
Mining branching-time scenarios
D Fahland, D Lo, S Maoz
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
472013
Mining hierarchical scenario-based specifications
D Lo, S Maoz
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
462009
Spectra: a specification language for reactive systems
S Maoz, JO Ringert
Software and Systems Modeling 20 (5), 1553-1586, 2021
452021
AspectLTL: an aspect language for LTL specifications
S Maoz, Y Sa'ar
Proceedings of the tenth international conference on Aspect-oriented …, 2011
452011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20