The SCEAS System
Navigation Menu

Search the dblp DataBase


Jon Whittle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erica Melis, Jon Whittle
    Internal Analogy in Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:92-105 [Conf]
  2. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
    System Description: CyNTHIA. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:388-392 [Conf]
  3. Ana Moreira, João Araújo, Jon Whittle
    Modeling Volatile Concerns as Aspects. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2006, pp:544-558 [Conf]
  4. Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean
    Certifying Optimality of State Estimation Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:301-314 [Conf]
  5. João Araújo, Jon Whittle, Ana Moreira
    Choosing the Right Time to Compose Aspectual Scenarios. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:29-32 [Conf]
  6. Johann Schumann, Jon Whittle
    Automatic Synthesis of Agent Designs in UML. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:148-162 [Conf]
  7. Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle
    Certification Support for Automatically Generated Programs. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:337- [Conf]
  8. Jon Whittle, Leif Geiger, Michael Meisinger
    Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1039-1040 [Conf]
  9. Jon Whittle, Johann Schumann
    Generating statechart designs from scenarios. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:314-323 [Conf]
  10. Jon Whittle, Jyoti Saboo, Richard Kwan
    From Scenarios to Code: An Air Traffic Control Case Study. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:490-497 [Conf]
  11. Bernd Fischer, Jon Whittle
    An Integration of Deductive Retrieval into Deductive Synthesis. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:52-0 [Conf]
  12. Grigore Rosu, Jon Whittle
    Towards Certifying Domain-Specific Properties of Synthesized Code. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:289-294 [Conf]
  13. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
    An ML Editor Based on Proofs-As-Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:166-173 [Conf]
  14. Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
    Amphion/NAV: Deductive Synthesis of State Estimation Software. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:395-399 [Conf]
  15. Erica Melis, Jon Whittle
    External Analogy in Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:111-122 [Conf]
  16. Jon Whittle, Alan Bundy, Helen Lowe
    An Editor for Helping Novices to Learn Standard ML. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:389-405 [Conf]
  17. João Araújo, Jon Whittle, Dae-Kyoo Kim
    Modeling and Composing Scenario-Based Requirements with Aspects. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:58-67 [Conf]
  18. Jon Whittle, Praveen K. Jayaraman
    Generating Hierarchical State Machines from Use Case Charts. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:16-25 [Conf]
  19. Jon Whittle, Leif Geiger, Michael Meisinger
    Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). [Citation Graph (0, 0)][DBLP]
    SCESM, 2006, pp:1-3 [Conf]
  20. Dae-Kyoo Kim, Jon Whittle
    Generating UML Models from Domain Patterns. [Citation Graph (0, 0)][DBLP]
    SERA, 2005, pp:166-173 [Conf]
  21. Ewen Denney, Jon Whittle
    Combining Model-Driven and Schema-Based Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2004, pp:207-211 [Conf]
  22. Jean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle, Steffen Zschaler
    Models for Non-functional Aspects of Component-Based Software (NfC'04). [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:62-66 [Conf]
  23. Geri Georg, Jan Øyvind Aagedal, Raffaela Mirandola, Ileana Ober, Dorina C. Petriu, Wolfgang Theilmann, Jon Whittle, Steffen Zschaler
    Workshop on Models for Non-functional Properties of Component-Based Software - NfC. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:210-216 [Conf]
  24. Martin Gogolla, Paul Sammut, Jon Whittle
    Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:43-51 [Conf]
  25. Jon Whittle
    Transformations and Software Modeling Languages: Automating Transformations in UML. [Citation Graph (0, 0)][DBLP]
    UML, 2002, pp:227-242 [Conf]
  26. Jon Whittle
    Workshops and Tutorials at the UML 2002 Conference. [Citation Graph (0, 0)][DBLP]
    UML, 2002, pp:442-448 [Conf]
  27. Jon Whittle
    Specifying Precise Use Cases with Use Case Charts. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:290-301 [Conf]
  28. Jon Whittle, Alan Bundy, Richard J. Boulton
    Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:403-421 [Journal]
  29. Jon Whittle, João Araújo
    Scenario modelling with aspects. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2004, v:151, n:4, pp:157-172 [Journal]
  30. Jon Whittle, Andrew Cumming
    Evaluating environments for functional programming. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 2000, v:52, n:5, pp:847-878 [Journal]
  31. Erica Melis, Jon Whittle
    Analogy in Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:22, n:2, pp:117-147 [Journal]
  32. Jon Whittle
    Formal Approaches to Systems Analysis Using UML: An Overview. [Citation Graph (0, 0)][DBLP]
    J. Database Manag., 2000, v:11, n:4, pp:4-13 [Journal]
  33. Perdita Stevens, Jon Whittle
    Guest editorial to the special issue on UML2003. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:4, pp:353-354 [Journal]
  34. Jon Whittle, Richard Kwan, Jyoti Saboo
    From scenarios to code: An air traffic control case study. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:1, pp:71-93 [Journal]
  35. Jon Whittle, Johann Schumann
    Automating the implementation of Kalman filter algorithms. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 2004, v:30, n:4, pp:434-453 [Journal]
  36. Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle
    Guest Editorial: Special Section on Interaction and State-Based Modeling. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:12, pp:997-998 [Journal]
  37. Thomas Baar, Jon Whittle
    On the Usage of Concrete Syntax in Model Transformation Rules. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:84-97 [Conf]
  38. Jon Whittle
    Precise Specification of Use Case Scenarios. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:170-184 [Conf]
  39. Praveen K. Jayaraman, Jon Whittle
    UCSIM: A Tool for Simulating Use Case Scenarios. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:43-44 [Conf]
  40. Jon Whittle, Ana Moreira, João Araújo, Praveen K. Jayaraman, Ahmed Elkhodary, Rasheed Rabbi
    An Expressive Aspect Composition Language for UML State Diagrams. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:514-528 [Conf]
  41. Praveen K. Jayaraman, Jon Whittle, Ahmed M. Elkhodary, Hassan Gomaa
    Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:151-165 [Conf]
  42. Hassan Reza, Jon Whittle
    Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP'05). [Citation Graph (0, 0)][DBLP]
    Software Quality Journal, 2007, v:15, n:1, pp:3-5 [Journal]

  43. Assessing the impact of aspects on model composition effort. [Citation Graph (, )][DBLP]

  44. Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP]

  45. Executable misuse cases for modeling security concerns. [Citation Graph (, )][DBLP]

  46. Requirements reflection: requirements as runtime entities. [Citation Graph (, )][DBLP]

  47. A Survey of Approaches to Adaptive Application Security. [Citation Graph (, )][DBLP]

  48. Crosscutting patterns and design stability: An exploratory analysis. [Citation Graph (, )][DBLP]

  49. MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. [Citation Graph (, )][DBLP]

  50. MOOGLE: A Model Search Engine. [Citation Graph (, )][DBLP]

  51. First International Modeling Security Workshop. [Citation Graph (, )][DBLP]

  52. Refactoring-Safe Modeling of Aspect-Oriented Scenarios. [Citation Graph (, )][DBLP]

  53. A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. [Citation Graph (, )][DBLP]

  54. Verifying Semantic Conformance of State Machine-to-Java Code Generators. [Citation Graph (, )][DBLP]

  55. Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. [Citation Graph (, )][DBLP]

  56. RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. [Citation Graph (, )][DBLP]

  57. ConcernMorph: metrics-based detection of crosscutting patterns. [Citation Graph (, )][DBLP]

  58. CARD: a decision-guidance framework and application for recommending composite alternatives. [Citation Graph (, )][DBLP]

Search in 0.135secs, Finished in 0.138secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002