Jon Whittle

Jonathan Whittle

	2009
59		Eduardo Figueiredo, Jon Whittle, Alessandro F. Garcia: ConcernMorph: metrics-based detection of crosscutting patterns. ESEC/SIGSOFT FSE 2009: 299-300
58		Gunter Mussbacher, Daniel Amyot, Jon Whittle: Refactoring-Safe Modeling of Aspect-Oriented Scenarios. MoDELS 2009: 286-300
57		Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle: A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. MoDELS 2009: 468-483
56		Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle: Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26
	2008
55		Jon Whittle, Duminda Wijesekera, Mark Hartong: Executable misuse cases for modeling security concerns. ICSE 2008: 121-130
54		Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle: MOOGLE: A Model Search Engine. MoDELS 2008: 296-310
53		Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson: First International Modeling Security Workshop. MoDELS Workshops 2008: 181-184
52		Alexander Brodsky, Sylvia Morgan Henshaw, Jon Whittle: CARD: a decision-guidance framework and application for recommending composite alternatives. RecSys 2008: 171-178
51		Oscar Nierstrasz, Jon Whittle: Guest Editorial to the Special Issue on MoDELS 2006. Software and System Modeling 7(4): 381-382 (2008)
	2007
50		Jon Whittle: Precise Specification of Use Case Scenarios. FASE 2007: 170-184
49		Praveen K. Jayaraman, Jon Whittle: UCSIM: A Tool for Simulating Use Case Scenarios. ICSE Companion 2007: 43-44
48		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		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		Jon Whittle, Praveen K. Jayaraman: MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. MoDELS Workshops 2007: 16-27
45		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		Ana Moreira, João Araújo, Jon Whittle: Modeling Volatile Concerns as Aspects. CAiSE 2006: 544-558
41		João Araújo, Jon Whittle, Ana Moreira: Choosing the Right Time to Compose Aspectual Scenarios. COMPSAC (2) 2006: 29-32
40		Thomas Baar, Jon Whittle: On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97
39		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		Jon Whittle, Praveen K. Jayaraman: Generating Hierarchical State Machines from Use Case Charts. RE 2006: 16-25
37		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		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		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		Jon Whittle: Specifying Precise Use Cases with Use Case Charts. MoDELS Satellite Events 2005: 290-301
33		Dae-Kyoo Kim, Jon Whittle: Generating UML Models from Domain Patterns. SERA 2005: 166-173
32		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		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		Perdita Stevens, Jon Whittle: Guest editorial to the special issue on UML2003. Software and System Modeling 4(4): 353-354 (2005)
	2004
29		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		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		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		Jon Whittle, Johann Schumann: Automating the implementation of Kalman filter algorithms. ACM Trans. Math. Softw. 30(4): 434-453 (2004)
24		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		Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314
21		Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
20		Jon Whittle, Jyoti Saboo, Richard Kwan: From Scenarios to Code: An Air Traffic Control Case Study. ICSE 2003: 490-497
19		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		Grigore Rosu, Jon Whittle: Towards Certifying Domain-Specific Properties of Synthesized Code. ASE 2002: 289-294
17		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		Jon Whittle: Transformations and Software Modeling Languages: Automating Transformations in UML. UML 2002: 227-242
15		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		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		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		Johann Schumann, Jon Whittle: Automatic Synthesis of Agent Designs in UML. FAABS 2000: 148-162
10		Jon Whittle, Johann Schumann: Generating statechart designs from scenarios. ICSE 2000: 314-323
9		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		Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173
6		Bernd Fischer, Jon Whittle: An Integration of Deductive Retrieval into Deductive Synthesis. ASE 1999: 52-
5		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	Daniel Amyot	[58]
4	Jesper Andersson	[56]
5	João Araújo	[17] [24] [29] [41] [42] [47]
6	Jeffrey Van Baalen	[12]
7	Thomas Baar	[40]
8	Basil Becker	[56]
9	Nelly Bencomo	[56] [57]
10	Grady Booch	[23]
11	Richard J. Boulton	[5] [7] [13]
12	Guillaume P. Brat	[12]
13	Alexander Brodsky	[52]
14	Manfred Broy	[32]
15	Jean-Michel Bruel	[26]
16	Yuriy Brun	[56]
17	Alan Bundy	[2] [5] [7] [13]
18	Betty H. C. Cheng	[56] [57]
19	Bojan Cukic	[56]
20	Andrew Cumming	[9]
21	Ewen Denney	[28]
22	Glen Dobson	[53]
23	Schahram Dustdar	[56]
24	Ahmed M. Elkhodary	[47] [48]
25	Eduardo Figueiredo	[59]
26	Anthony Finkelstein	[56]
27	Bernd Fischer	[6] [21]
28	Renata Pontin de Mattos Fortes	[54]
29	Robert B. France	[17]
30	Cristina Gacek	[56]
31	Alessandro F. Garcia (Alessandro Garcia)	[59]
32	Leif Geiger	[36] [37] [39] [44]
33	Kurt Geihs	[56]
34	Geri Georg	[26] [35]
35	Holger Giese	[56]
36	Martin Gogolla	[27]
37	Hassan Gomaa	[48]
38	Vincenzo Grassi	[56]
39	David Harel	[43]
40	Mark Hartong	[55]
41	Sylvia Morgan Henshaw	[52]
42	Heinrich Hußmann (Heinrich Hussmann)	[26]
43	Paola Inverardi	[56]
44	Praveen K. Jayaraman	[38] [46] [47] [48] [49]
45	Jan Jürjens	[53]
46	Gabor Karsai	[56]
47	Holger M. Kienle	[56]
48	Dae-Kyoo Kim	[29] [33]
49	Jeff Kramer	[56]
50	Ingolf Krüger (Ingolf H. Krüger)	[19] [32]
51	Richard Kwan	[20] [31]
52	Rogério de Lemos	[56]
53	Laurentiu Leustean	[22]
54	Marin Litoiu	[56]
55	Helen Lowe	[2] [5] [7]
56	Michael R. Lowry	[12]
57	Daniel Lucrédio	[54]
58	Jeff Magee (Jeff N. Magee)	[56]
59	Sam Malek	[56]
60	Michael Meisinger	[36] [37] [39] [44]
61	Erica Melis	[1] [3] [4]
62	Raffaela Mirandola	[35] [56]
63	Ana Moreira (Ana M. D. Moreira)	[41] [42] [47]
64	Hausi A. Müller	[56]
65	Gunter Mussbacher	[58]
66	Oscar Nierstrasz	[43] [51]
67	Bashar Nuseibeh	[53]
68	Ileana Ober	[26] [35]
69	Phil Oh	[12]
70	Sooyong Park	[56]
71	John Penix	[12]
72	Dorina C. Petriu	[35]
73	Christoph Pohl	[26]
74	Thomas Pressburger	[12]
75	Rasheed Rabbi	[47]
76	Gianna Reggio	[43]
77	Hassan Reza	[45]
78	Peter Robinson	[12]
79	Grigore Rosu	[18] [22]
80	Jyoti Saboo	[20] [31]
81	Paul Sammut	[27]
82	Peter Sawyer	[57]
83	Johann Schumann	[10] [11] [12] [21] [25]
84	Giovanna Di Marzo Serugendo	[56]
85	Mary Shaw	[56]
86	Perdita Stevens	[23] [30]
87	Wolfgang Theilmann	[35]
88	Matthias Tichy	[56]
89	Massimo Tivoli	[56]
90	Sebastián Uchitel	[19] [32]
91	Ram Prasad Venkatesan	[22]
92	Danny Weyns	[56]
93	Michael W. Whalen	[21]
94	Duminda Wijesekera	[55]
95	Steffen Zschaler	[26] [35]
96	Albert Zündorf	[19]

Colors in the list of coauthors