Shahar Maoz

Ilia Shevrin

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Size and Accuracy in Model Inference.

[BibT_eX]

[DOI]

Nimrod Busany

Yehonatan Yulazari

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Statistical Log Differencing.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Symbolic repairs for GR(1) specifications.

[BibT_eX]

[DOI]

Rafi Shalom

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Visual Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

A framework for relating syntactic and semantic model differences.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Modify, enhance, select: co-evolution of combinatorial models and test plans.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Using finite-state models for log differencing.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Component and Connector Views in Practice.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering und Software Management 2018, 2018

On the software engineering challenges of applying reactive synthesis to robotics.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018

2017

A symbolic justice violations transition system for unrealizable GR(1) specifications.

[BibT_eX]

[DOI]

Aviv Kuvent

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Why is My Component and Connector Views Specification Unsatisfiable?

[BibT_eX]

[DOI]

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Component and Connector Views in Practice: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Syntactic and semantic differencing for combinatorial models of test designs.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Symbolic BDD and ADD Algorithms for Energy Games.

[BibT_eX]

[DOI]

Or Pistiner

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

On well-separation of GR(1) specifications.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

GR(1) synthesis for LTL specification patterns.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Consistent Extra-Functional Properties Tagging for Component and Connector Models.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Visualization of combinatorial models and test plans.

[BibT_eX]

[DOI]

Paul A. Wojciak

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

On method ordering.

[BibT_eX]

[DOI]

Yorai Geffen

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

2015

Synthesizing a Lego Forklift Controller in GR(1): A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Behavioral log analysis with statistical guarantees.

[BibT_eX]

[DOI]

Nimrod Busany

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Verifying Component and Connector Models against Crosscutting Structural Views.

[BibT_eX]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Have We Seen Enough Traces? (T).

[BibT_eX]

[DOI]

Hila Cohen

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Lattice-Based Semantics for Combinatorial Model Evolution.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

Scalable Parallelization of Specification Mining Using Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the Art and Science of Analyzing Software Data, 2015

2014

Using aspects for testing of embedded software: experiences from two industrial case studies.

[BibT_eX]

[DOI]

Softw. Qual. J., 2014

An Operational Semantics for Activity Diagrams using SMV.

[BibT_eX]

[DOI]

CoRR, 2014

Summarizing Semantic Model Differences.

[BibT_eX]

[DOI]

CoRR, 2014

Synthesis of Component and Connector Models from Crosscutting Structural Views.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

The confidence in our k-tails.

[BibT_eX]

[DOI]

Hila Cohen

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Semantically Configurable Analysis of Scenario-Based Specifications.

[BibT_eX]

[DOI]

Barak Cohen

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Two-Way Traceability and Conflict Debugging for AspectLTL Programs.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Mining branching-time scenarios.

[BibT_eX]

[DOI]

Dirk Fahland

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Counter play-out: executing unrealizable scenario-based specifications.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

An Interim Summary on Semantic Model Differencing.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2012

Polymorphic scenario-based specification models: semantics and applications.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Scenario-based and value-based specification mining: better together.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2012

Assume-Guarantee Scenarios: Semantics and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011

A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ.

[BibT_eX]

[DOI]

Asaf Kleinbort

ACM Trans. Softw. Eng. Methodol., 2011

On tracing reactive systems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

ADDiff: semantic differencing for activity diagrams.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Semantically Configurable Consistency Analysis for Class and Object Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Towards Succinctness in Mining Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Modal Object Diagrams.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

CDDiff: Semantic Differencing for Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

AspectLTL: an aspect language for LTL specifications.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Accelerating Smart Play-Out.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

A Manifesto for Semantic Model Differencing.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

PlayGo: towards a comprehensive tool for scenario based programming.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

LM: a miner for scenario-based specifications.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

On the Power of Play-Out for Scenario-Based Programs.

[BibT_eX]

[DOI]

Amir Kantor

Proceedings of the Concurrency, 2010

2009

Visual Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Using Model-Based Traces as Runtime Models.

[BibT_eX]

[DOI]

Computer, 2009

Mining scenario-based specifications with value-based invariants.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Model-Based Testing Using LSCs and S2A.

[BibT_eX]

[DOI]

Jani Metsä

Mika Katara

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Mining Hierarchical Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

2008

Assert and negate revisited: Modal semantics for UML sequence diagrams.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Specification mining of symbolic scenario-based models.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Hierarchical inter-object traces for specification mining.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Model-Based Traces.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Mining Scenario-Based Triggers and Effects.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Object Composition in Scenario-Based Programming.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Some Results on the Expressive Power and Complexity of LSCs.

[BibT_eX]

[DOI]

Itai Segall

Proceedings of the Pillars of Computer Science, 2008

2007

Towards Trace Visualization and Exploration for Reactive Systems.

[BibT_eX]

[DOI]

Asaf Kleinbort

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Mining modal scenarios from execution traces.

[BibT_eX]

[DOI]

Siau-Cheng Khoo

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Mining modal scenario-based specifications from execution traces of reactive systems.

[BibT_eX]

[DOI]

Siau-Cheng Khoo

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

S2A: A Compiler for Multi-modal UML Sequence Diagrams.

[BibT_eX]

[DOI]

Asaf Kleinbort

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

From multi-modal scenarios to code: compiling LSCs into aspectJ.

[BibT_eX]

[DOI]

Alexander Moshe Rabinovich

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2001

An Infinite Hierarchy of Temporal Logics over Branching Time.

[BibT_eX]

[DOI]

Alexander Moshe Rabinovich

Inf. Comput., 2001

2000

Why so Many Temporal Logics Climb up the Trees?

[BibT_eX]

[DOI]