Dalal Alrajeh

András György

Formal Aspects Comput., 2021

Adaptation<sup>2</sup>: Adapting Specification Learners in Assured Adaptive Systems.

[BibT_eX]

[DOI]

Patrick Benjamin

Sebastián Uchitel

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Combining experts' causal judgments.

[BibT_eX]

[DOI]

Hana Chockler

Joseph Y. Halpern

Artif. Intell., 2020

Minimal Assumptions Refinement for Realizable Specifications.

[BibT_eX]

[DOI]

András György

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Adapting requirements models to varying environments.

[BibT_eX]

[DOI]

Antoine Cailliau

Axel van Lamsweerde

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Learning Neural Search Policies for Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Minimal Assumptions Refinement for GR(1) Specifications.

[BibT_eX]

[DOI]

András György

CoRR, 2019

Learning Classical Planning Strategies with Policy Gradient.

[BibT_eX]

[DOI]

Pawel Gomoluch

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Towards forensic-ready software systems.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Logic-Based Learning: Theory and Application.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017

Towards learning domain-independent planning heuristics.

[BibT_eX]

[DOI]

CoRR, 2017

Interpolation-Based GR(1) Assumptions Refinement.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

On evidence preservation requirements for forensic-ready systems.

[BibT_eX]

[DOI]

Liliana Pasquale

Bashar Nuseibeh

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

2016

Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016).

[BibT_eX]

[DOI]

Liliana Pasquale

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Goal-conflict detection based on temporal satisfiability checking.

[BibT_eX]

[DOI]

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

Logic-based learning in software engineering.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Risk-driven revision of requirements models.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Automated support for diagnosis and repair.

[BibT_eX]

[DOI]

Commun. ACM, 2015

A Logic-Based Approach to Understanding Lone-Actor Terrorism.

[BibT_eX]

[DOI]

Paul Gill

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014

Automated Error-Detection and Repair for Compositional Software Specifications.

[BibT_eX]

[DOI]

Robert Craven

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Inductive Learning Using Constraint-Driven Bias.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

Automated goal operationalisation based on interpolation and SAT solving.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Elaborating Requirements Using Model Checking and Inductive Learning.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Reasoning about Triggered Scenarios in Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Supporting incremental behaviour model elaboration.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2013

Computational alignment of goals and scenarios for complex systems.

[BibT_eX]

[DOI]

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

2012

Generating obstacle conditions for requirements completeness.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Learning from Vacuously Satisfiable Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Integrating Model Checking and Inductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

An Inductive Approach for Modal Transition System Refinement.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

Deriving non-Zeno behaviour models from goal models using ILP.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

2009

Requirements Elaboration using Model Checking and Inductive Learning.

[BibT_eX]

[DOI]

PhD thesis, 2009

Using abduction and induction for operational requirements elaboration.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Learning operational requirements from goal models.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Deriving Non-zeno Behavior Models from Goal Models Using ILP.

[BibT_eX]

[DOI]

Sebastián Uchitel

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2006

Inferring operational requirements from scenarios and goal models using inductive learning.

[BibT_eX]

[DOI]