Jon Whittle

Jonathan Whittle

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		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	Alexander Brodsky	[52]
10	Manfred Broy	[32]
11	Jean-Michel Bruel	[26]
12	Alan Bundy	[2] [5] [7] [13]
13	Andrew Cumming	[9]
14	Ewen Denney	[28]
15	Glen Dobson	[53]
16	Ahmed M. Elkhodary	[47] [48]
17	Bernd Fischer	[6] [21]
18	Renata Pontin de Mattos Fortes	[54]
19	Robert B. France	[17]
20	Leif Geiger	[36] [37] [39] [44]
21	Geri Georg	[26] [35]
22	Martin Gogolla	[27]
23	Hassan Gomaa	[48]
24	David Harel	[43]
25	Mark Hartong	[55]
26	Sylvia Morgan Henshaw	[52]
27	Heinrich Hußmann (Heinrich Hussmann)	[26]
28	Praveen K. Jayaraman	[38] [46] [47] [48] [49]
29	Jan Jürjens	[53]
30	Dae-Kyoo Kim	[29] [33]
31	Ingolf Krüger (Ingolf H. Krüger)	[19] [32]
32	Richard Kwan	[20] [31]
33	Laurentiu Leustean	[22]
34	Helen Lowe	[2] [5] [7]
35	Michael R. Lowry	[12]
36	Daniel Lucrédio	[54]
37	Michael Meisinger	[36] [37] [39] [44]
38	Erica Melis	[1] [3] [4]
39	Raffaela Mirandola	[35]
40	Ana Moreira (Ana M. D. Moreira)	[41] [42] [47]
41	Oscar Nierstrasz	[43] [51]
42	Bashar Nuseibeh	[53]
43	Ileana Ober	[26] [35]
44	Phil Oh	[12]
45	John Penix	[12]
46	Dorina C. Petriu	[35]
47	Christoph Pohl	[26]
48	Thomas Pressburger	[12]
49	Rasheed Rabbi	[47]
50	Gianna Reggio	[43]
51	Hassan Reza	[45]
52	Peter Robinson	[12]
53	Grigore Rosu	[18] [22]
54	Jyoti Saboo	[20] [31]
55	Paul Sammut	[27]
56	Johann Schumann	[10] [11] [12] [21] [25]
57	Perdita Stevens	[23] [30]
58	Wolfgang Theilmann	[35]
59	Sebastián Uchitel	[19] [32]
60	Ram Prasad Venkatesan	[22]
61	Michael W. Whalen	[21]
62	Duminda Wijesekera	[55]
63	Steffen Zschaler	[26] [35]
64	Albert Zündorf	[19]

Colors in the list of coauthors