Shahar Maoz

	2012
37		Shahar Maoz, Yaniv Sa'ar: Two-way traceability and conflict debugging for AspectLTL programs. AOSD 2012: 35-46
	2011
36		Shahar Maoz, Yaniv Sa'ar: AspectLTL: an aspect language for LTL specifications. AOSD 2011: 19-30
35		Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: CDDiff: Semantic Differencing for Class Diagrams. ECOOP 2011: 230-254
34		Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: Modal Object Diagrams. ECOOP 2011: 281-305
33		David Lo, Shahar Maoz: Towards Succinctness in Mining Scenario-Based Specifications. ICECCS 2011: 231-240
32		Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: Semantically Configurable Consistency Analysis for Class and Object Diagrams. MoDELS 2011: 153-167
31		Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. MoDELS 2011: 592-607
30		Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: ADDiff: semantic differencing for activity diagrams. SIGSOFT FSE 2011: 179-189
29		Shahar Maoz, David Harel, Asaf Kleinbort: A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. 20(4): 18 (2011)
28		Shahar Maoz, David Harel: On tracing reactive systems. Software and System Modeling 10(4): 447-468 (2011)
	2010
27		David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan: PlayGo: towards a comprehensive tool for scenario based programming. ASE 2010: 359-360
26		David Lo, Shahar Maoz: Scenario-based and value-based specification mining: better together. ASE 2010: 387-396
25		David Harel, Amir Kantor, Shahar Maoz: On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness 2010: 207-220
24		Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo: LM: a miner for scenario-based specifications. ICSE (2) 2010: 319-320
23		Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: A Manifesto for Semantic Model Differencing. MoDELS Workshops 2010: 194-203
22		David Harel, Hillel Kugler, Shahar Maoz, Itai Segall: Accelerating Smart Play-Out. SOFSEM 2010: 477-488
	2009
21		David Lo, Shahar Maoz: Mining Hierarchical Scenario-Based Specifications. ASE 2009: 359-370
20		Shahar Maoz, Jani Metsä, Mika Katara: Model-Based Testing Using LSCs and S2A. MoDELS 2009: 301-306
19		Shahar Maoz: Polymorphic Scenario-Based Specification Models: Semantics and Applications. MoDELS 2009: 499-513
18		David Lo, Shahar Maoz: Mining scenario-based specifications with value-based invariants. OOPSLA Companion 2009: 755-756
17		David Harel, Shahar Maoz: Visual Formalisms. Encyclopedia of Database Systems 2009: 3370-3374
16		Shahar Maoz: Using Model-Based Traces as Runtime Models. IEEE Computer 42(10): 28-36 (2009)
	2008
15		David Lo, Shahar Maoz: Mining Scenario-Based Triggers and Effects. ASE 2008: 109-118
14		Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz: Object Composition in Scenario-Based Programming. FASE 2008: 301-316
13		Shahar Maoz: Model-Based Traces. MoDELS Workshops 2008: 109-119
12		David Lo, Shahar Maoz: Hierarchical inter-object traces for specification mining. OOPSLA Companion 2008: 761-762
11		David Lo, Shahar Maoz: Specification mining of symbolic scenario-based models. PASTE 2008: 29-35
10		David Harel, Shahar Maoz, Itai Segall: Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science 2008: 351-366
9		David Harel, Shahar Maoz: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and System Modeling 7(2): 237-252 (2008)
	2007
8		David Lo, Shahar Maoz, Siau-Cheng Khoo: Mining modal scenario-based specifications from execution traces of reactive systems. ASE 2007: 465-468
7		David Harel, Asaf Kleinbort, Shahar Maoz: S2A: A Compiler for Multi-modal UML Sequence Diagrams. FASE 2007: 121-124
6		David Lo, Shahar Maoz, Siau-Cheng Khoo: Mining modal scenarios from execution traces. OOPSLA Companion 2007: 777-778
5		Shahar Maoz, Asaf Kleinbort, David Harel: Towards Trace Visualization and Exploration for Reactive Systems. VL/HCC 2007: 153-156
	2006
4		David Harel, Shahar Maoz: Assert and negate revisited: modal semantics for UML sequence diagrams. SCESM 2006: 13-20
3		Shahar Maoz, David Harel: From multi-modal scenarios to code: compiling LSCs into aspectJ. SIGSOFT FSE 2006: 219-230
	2001
2		Alexander Moshe Rabinovich, Shahar Maoz: An Infinite Hierarchy of Temporal Logics over Branching Time. Inf. Comput. 171(2): 306-332 (2001)
	2000
1		Alexander Moshe Rabinovich, Shahar Maoz: Why so Many Temporal Logics Climb up the Trees? MFCS 2000: 629-639

Coauthor Index

1	Yoram Atir	[14]
2	Daniel Barkan	[27]
3	Tuan-Anh Doan	[24]
4	David Harel	[3] [4] [5] [7] [9] [10] [14] [17] [22] [25] [27] [28] [29]
5	Amir Kantor	[25]
6	Mika Katara	[20]
7	Siau-Cheng Khoo	[6] [8] [24]
8	Asaf Kleinbort	[5] [7] [14] [29]
9	Hillel Kugler	[22]
10	David Lo	[6] [8] [11] [12] [15] [18] [21] [24] [26] [33]
11	Jani Metsä	[20]
12	Alexander Moshe Rabinovich (Alexander Rabinovich)	[1] [2]
13	Jan Oliver Ringert	[23] [30] [31] [32] [34] [35]
14	Bernhard Rumpe	[23] [30] [31] [32] [34] [35]
15	Yaniv Sa'ar	[36] [37]
16	Itai Segall	[10] [22]
17	Smadar Szekely	[27]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page