Combining experts’ causal judgments von Alrajeh, D, Chockler, H, Halpern, J

Volltext

Unavoidable boundary conditions: a control perspective on goal conflicts von Cirelli, F, Alrajeh, D, Uchitel, S

Volltext

Deriving non-Zeno behaviour models from goal models using ILP von Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.

Volltext

Using abduction and induction for operational requirements elaboration von Alrajeh, D., Ray, O., Russo, A., Uchitel, S.

Volltext

Elaborating Requirements Using Model Checking and Inductive Learning von Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.

Volltext

Logic-based learning: theory and application von Alrajeh, D, Russo, A

Volltext

A weakness measure for GR(1) formulae von Cavezza, D, Alrajeh, D, Gyorgy, A

Volltext

Generating obstacle conditions for requirements completeness von Alrajeh, D., Kramer, J., van Lamsweerde, A., Russo, A., Uchitel, S.

Volltext

Learning operational requirements from goal models von Alrajeh, Dalal, Kramer, Jeff, Russo, Alessandra, Uchitel, Sebastin

Volltext

Risk-driven revision of requirements models von Alrajeh, D, Lamsweerde, A, Kramer, J, Russo, A, Uchitel, S

Volltext

Adapting specifications for reactive controllers von Buckworth, T, Alrajeh, D, Kramer, J, Uchitel, S

Volltext bestellen

Deriving non-Zeno behaviour models from goal models using ILP: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineerin... von ALRAJEH, D, KRAMER, J, RUSSO, A, UCHITEL, S

Volltext

Adapting requirements models to varying environments von Alrajeh, D, Cailliau, A, Van Lamsweerde, A

Volltext bestellen

Automated Support for Diagnosis and Repair von Alrajeh, D, Kramer, J, Russo, A, Uchitel, S

Volltext

Generating obstacle conditions for requirements completeness von Alrajeh, D, Kramer, J, Van Lamsweerde, A, Uchitel, S, Russo, A

Volltext

Learning classical planning strategies with policy gradient von Gomoluch, P, Alrajeh, D, Russo, A

Volltext

Learning neural search policies for classical planning von Gomoluch, P, Alrajeh, D, Russo, A, Bucchiarone, A

Volltext

Logic-based learning: theory and application von Alrajeh, D, Russo, A

Volltext bestellen

Combining experts’ causal judgments von Alrajeh, D, Chockler, H, Halpern, J

Volltext

On evidence preservation requirements for forensic-ready systems von Alrajeh, D, Pasquale, L, Nuseibeh, B

Volltext bestellen