Alrajeh's publications at DC

Publications in 2015
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning" , ACM Journal of Educational Resources in Computing - 2015
 
Publications in 2014
1- Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel , "Automated goal operationalisation based on interpolation and sat solving" , ICSE 2014, Proceedings of the 2014 International Conference on Software Engineering, page 129--139 - may 2014 Automated Goal Operationalisation.pdf
 
Publications in 2013
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Elaborating requirements using model checking and inductive learning" , IEEE Transactions on Software Engineering, Volume 39, Number 3, page 361-383 - 2013 Elaborating Requirements using Model.pdf

2- Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Víctor Braberman, Marsha Chechik, Guido de Caso, Nicolas D´Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sibay , "Supporting incremental behaviour model elaboration" , Computer Science - R&D, Volume 28, Number 4, page 279--293 - nov 2013 Supporting incremental behaviour model elaboration.pdf
 
Publications in 2012
1- Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastian Uchitel , "Generating obstacle conditions for requirements completeness" , 34th International Conference on Software Engineering, ICSE 2012, page 705--715 - 2012 Generating obstacle conditions for requirements completeness.pdf

2- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Learning from Vacuously Satisfiable Scenario-Based Specifications" , Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, page 377--393 - 2012 Learning_from_vacuously.pdf
 
Publications in 2011
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "An Inductive Approach for Modal Transition System Refinement" , Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, page 106--116 - 2011 An inductive approach for modal transition system refinement.pdf
 
Publications in 2010
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Deriving Non-Zeno Behavior Models from Goal Models using ILP" , Formal Aspects of Computing, Volume 22, Number 3, page 217-241 - 2010 deriving_non_zeno.pdf
 
Publications in 2009
1- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Jeff Kramer , "Learning Operational Requirements from Declarative Goal Models" , International Conference on Software Engineering - 2009

2- Dalal Alrajeh, O. Ray, Alessandra Russo, Sebastian Uchitel , "Using Abduction and Induction for Operational Requirements" , Journal of Applied Logic, Volume 5, Number 3, page 275-288 - 2009 ARRU09.pdf
 
Publications in 2008
1- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel , "Deriving Non-zeno Behaviour Models from Goal models Using ILP" , FASE: International Conference on Fundamental Approaches to Software Engineering - 2008
 
Publications in 2007
1- Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel , "Using Abduction and Induction for Operational Requirements Elaboration" , Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics, Aix-en-Provence, - 2007
 
Publications in 2006
1- Dalal Alrajeh, Russo Alessandra, Sebastian Uchitel , "Extracting requirements from scenarios with ILP" , 16th International Conference on Inductive Logic Programming - 2006

2- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel , "Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning," , th Workshop on Architecting Dependable Systems (WADS) at the 27th IEEE/ACM International Conference on Software Engineering, - 2006