Jon Whittle

Jonathan Whittle

2008
51	EE	Jon Whittle, Duminda Wijesekera, Mark Hartong: Executable misuse cases for modeling security concerns. ICSE 2008: 121-130
2007
50	EE	Jon Whittle: Precise Specification of Use Case Scenarios. FASE 2007: 170-184
49	EE	Praveen K. Jayaraman, Jon Whittle: UCSIM: A Tool for Simulating Use Case Scenarios. ICSE Companion 2007: 43-44
48	EE	Praveen K. Jayaraman, Jon Whittle, Ahmed M. Elkhodary, Hassan Gomaa: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. MoDELS 2007: 151-165
47	EE	Jon Whittle, Ana Moreira, João Araújo, Praveen K. Jayaraman, Ahmed M. Elkhodary, Rasheed Rabbi: An Expressive Aspect Composition Language for UML State Diagrams. MoDELS 2007: 514-528
46	EE	Jon Whittle, Praveen K. Jayaraman: MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. MoDELS Workshops 2007: 16-27
45	EE	Hassan Reza, Jon Whittle: Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP'05). Software Quality Journal 15(1): 3-5 (2007)
2006
44		Jon Whittle, Leif Geiger, Michael Meisinger: SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006 ACM 2006
43		Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings Springer 2006
42	EE	Ana Moreira, João Araújo, Jon Whittle: Modeling Volatile Concerns as Aspects. CAiSE 2006: 544-558
41	EE	João Araújo, Jon Whittle, Ana Moreira: Choosing the Right Time to Compose Aspectual Scenarios. COMPSAC (2) 2006: 29-32
40	EE	Thomas Baar, Jon Whittle: On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97
39	EE	Jon Whittle, Leif Geiger, Michael Meisinger: Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). ICSE 2006: 1039-1040
38	EE	Jon Whittle, Praveen K. Jayaraman: Generating Hierarchical State Machines from Use Case Charts. RE 2006: 16-25
37	EE	Jon Whittle, Leif Geiger, Michael Meisinger: Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). SCESM 2006: 1-3
36	EE	Jon Whittle, Leif Geiger, Michael Meisinger: 5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM). ACM SIGSOFT Software Engineering Notes 31(5): 39-40 (2006)
2005
35	EE	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. MoDELS Satellite Events 2005: 210-216
34	EE	Jon Whittle: Specifying Precise Use Cases with Use Case Charts. MoDELS Satellite Events 2005: 290-301
33	EE	Dae-Kyoo Kim, Jon Whittle: Generating UML Models from Domain Patterns. SERA 2005: 166-173
32	EE	Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle: Guest Editorial: Special Section on Interaction and State-Based Modeling. IEEE Trans. Software Eng. 31(12): 997-998 (2005)
31	EE	Jon Whittle, Richard Kwan, Jyoti Saboo: From scenarios to code: An air traffic control case study. Software and System Modeling 4(1): 71-93 (2005)
30	EE	Perdita Stevens, Jon Whittle: Guest editorial to the special issue on UML2003. Software and System Modeling 4(4): 353-354 (2005)
2004
29	EE	João Araújo, Jon Whittle, Dae-Kyoo Kim: Modeling and Composing Scenario-Based Requirements with Aspects. RE 2004: 58-67
28		Ewen Denney, Jon Whittle: Combining Model-Driven and Schema-Based Program Synthesis. Software Engineering Research and Practice 2004: 207-211
27	EE	Martin Gogolla, Paul Sammut, Jon Whittle: Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). UML Satellite Activities 2004: 43-51
26	EE	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). UML Satellite Activities 2004: 62-66
25	EE	Jon Whittle, Johann Schumann: Automating the implementation of Kalman filter algorithms. ACM Trans. Math. Softw. 30(4): 434-453 (2004)
24	EE	Jon Whittle, João Araújo: Scenario modelling with aspects. IEE Proceedings - Software 151(4): 157-172 (2004)
2003
23		Perdita Stevens, Jon Whittle, Grady Booch: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings Springer 2003
22	EE	Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314
21	EE	Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
20	EE	Jon Whittle, Jyoti Saboo, Richard Kwan: From Scenarios to Code: An Air Traffic Control Case Study. ICSE 2003: 490-497
19	EE	Ingolf Krüger, Sebastián Uchitel, Jon Whittle, Albert Zündorf: A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Software Engineering Notes 28(6): 9 (2003)
2002
18	EE	Grigore Rosu, Jon Whittle: Towards Certifying Domain-Specific Properties of Synthesized Code. ASE 2002: 289-294
17	EE	João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France: Integration and Transformation of UML Models. ECOOP Workshops 2002: 184-191
16	EE	Jon Whittle: Transformations and Software Modeling Languages: Automating Transformations in UML. UML 2002: 227-242
15	EE	Jon Whittle: Workshops and Tutorials at the UML 2002 Conference. UML 2002: 442-448
14		Jon Whittle: Formal Approaches to Systems Analysis Using UML: An Overview. Advanced Topics in Database Research, Vol. 1 2002: 324-341
13	EE	Jon Whittle, Alan Bundy, Richard J. Boulton: Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. Formal Asp. Comput. 13(3-5): 403-421 (2002)
2001
12	EE	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. ASE 2001: 395-399
2000
11	EE	Johann Schumann, Jon Whittle: Automatic Synthesis of Agent Designs in UML. FAABS 2000: 148-162
10	EE	Jon Whittle, Johann Schumann: Generating statechart designs from scenarios. ICSE 2000: 314-323
9	EE	Jon Whittle, Andrew Cumming: Evaluating environments for functional programming. Int. J. Hum.-Comput. Stud. 52(5): 847-878 (2000)
8		Jon Whittle: Formal Approaches to Systems Analysis Using UML: An Overview. J. Database Manag. 11(4): 4-13 (2000)
1999
7	EE	Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173
6	EE	Bernd Fischer, Jon Whittle: An Integration of Deductive Retrieval into Deductive Synthesis. ASE 1999: 52-
5	EE	Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: System Description: CyNTHIA. CADE 1999: 388-392
4		Erica Melis, Jon Whittle: Analogy in Inductive Theorem Proving. J. Autom. Reasoning 22(2): 117-147 (1999)
1997
3		Erica Melis, Jon Whittle: External Analogy in Inductive Theorem Proving. KI 1997: 111-122
2		Jon Whittle, Alan Bundy, Helen Lowe: An Editor for Helping Novices to Learn Standard ML. PLILP 1997: 389-405
1996
1		Erica Melis, Jon Whittle: Internal Analogy in Theorem Proving. CADE 1996: 92-105

Coauthor Index

1	Jan Øyvind Aagedal	[35]
2	José Ambrosio Toval Álvarez	[17]
3	João Araújo	[17] [24] [29] [41] [42] [47]
4	Jeffrey Van Baalen	[12]
5	Thomas Baar	[40]
6	Grady Booch	[23]
7	Richard J. Boulton	[5] [7] [13]
8	Guillaume P. Brat	[12]
9	Manfred Broy	[32]
10	Jean-Michel Bruel	[26]
11	Alan Bundy	[2] [5] [7] [13]
12	Andrew Cumming	[9]
13	Ewen Denney	[28]
14	Ahmed M. Elkhodary	[47] [48]
15	Bernd Fischer	[6] [21]
16	Robert B. France	[17]
17	Leif Geiger	[36] [37] [39] [44]
18	Geri Georg	[26] [35]
19	Martin Gogolla	[27]
20	Hassan Gomaa	[48]
21	David Harel	[43]
22	Mark Hartong	[51]
23	Heinrich Hußmann (Heinrich Hussmann)	[26]
24	Praveen K. Jayaraman	[38] [46] [47] [48] [49]
25	Dae-Kyoo Kim	[29] [33]
26	Ingolf Krüger (Ingolf H. Krüger)	[19] [32]
27	Richard Kwan	[20] [31]
28	Laurentiu Leustean	[22]
29	Helen Lowe	[2] [5] [7]
30	Michael R. Lowry	[12]
31	Michael Meisinger	[36] [37] [39] [44]
32	Erica Melis	[1] [3] [4]
33	Raffaela Mirandola	[35]
34	Ana Moreira (Ana M. D. Moreira)	[41] [42] [47]
35	Oscar Nierstrasz	[43]
36	Ileana Ober	[26] [35]
37	Phil Oh	[12]
38	John Penix	[12]
39	Dorina C. Petriu	[35]
40	Christoph Pohl	[26]
41	Thomas Pressburger	[12]
42	Rasheed Rabbi	[47]
43	Gianna Reggio	[43]
44	Hassan Reza	[45]
45	Peter Robinson	[12]
46	Grigore Rosu	[18] [22]
47	Jyoti Saboo	[20] [31]
48	Paul Sammut	[27]
49	Johann Schumann	[10] [11] [12] [21] [25]
50	Perdita Stevens	[23] [30]
51	Wolfgang Theilmann	[35]
52	Sebastián Uchitel	[19] [32]
53	Ram Prasad Venkatesan	[22]
54	Michael W. Whalen	[21]
55	Duminda Wijesekera	[51]
56	Steffen Zschaler	[26] [35]
57	Albert Zündorf	[19]

Colors in the list of coauthors