dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jeff Kramer (Selection)

Jeffrey Kramer

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE 2012: 377-393
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel: Generating obstacle conditions for requirements completeness. ICSE 2012: 705-715
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer: Integrating Model Checking and Inductive Logic Programming. ILP 2012: 45-60
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) 2011: 106-116
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Deriving non-Zeno behaviour models from goal models using ILP. Formal Asp. Comput. 22(3-4): 217-241 (2010)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning operational requirements from goal models. ICSE 2009: 265-275
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proceedings - Software 150(1): 25-38 (2003)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring requirement specifications. IEE Proceedings - Software 146(1): 44-50 (1999)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. ICRE 1998: 51-

Selection of 11 from 176 records - Jeff Kramer has 107 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page