Jon Whittle Vis

Jonathan Whittle

*	2009
59	EE	Eduardo Figueiredo, Jon Whittle, Alessandro F. Garcia: ConcernMorph: metrics-based detection of crosscutting patterns. ESEC/SIGSOFT FSE 2009: 299-300
58	EE	Gunter Mussbacher, Daniel Amyot, Jon Whittle: Refactoring-Safe Modeling of Aspect-Oriented Scenarios. MoDELS 2009: 286-300
57	EE	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	EE	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	EE	Jon Whittle, Duminda Wijesekera, Mark Hartong: Executable misuse cases for modeling security concerns. ICSE 2008: 121-130
54	EE	Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle: MOOGLE: A Model Search Engine. MoDELS 2008: 296-310
53	EE	Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson: First International Modeling Security Workshop. MoDELS Workshops 2008: 181-184
52	EE	Alexander Brodsky, Sylvia Morgan Henshaw, Jon Whittle: CARD: a decision-guidance framework and application for recommending composite alternatives. RecSys 2008: 171-178
51	EE	Oscar Nierstrasz, Jon Whittle: Guest Editorial to the Special Issue on MoDELS 2006. Software and System Modeling 7(4): 381-382 (2008)
	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	EE	Jon Whittle, Alan Bundy, Helen Lowe: An Editor for Helping Novices to Learn Standard ML. PLILP 1997: 389-405
	1996
1	EE	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