dblp.uni-trier.dewww.uni-trier.de

Perdita Stevens Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
39EEPerdita Stevens: A Simple Game-Theoretic Approach to Checkonly QVT Relations. ICMT 2009: 165-180
2008
38EEPerdita Stevens: Towards an Algebraic Theory of Bidirectional Transformations. ICGT 2008: 1-17
2007
37 Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
36EEPerdita Stevens: A Landscape of Bidirectional Model Transformations. GTTSE 2007: 408-424
35EEPerdita Stevens: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. MoDELS 2007: 1-15
34EEJennifer Tenzer, Perdita Stevens: GUIDE: Games with UML for interactive design exploration. Knowl.-Based Syst. 20(7): 652-670 (2007)
2006
33EEEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
32EEEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
31EEJennifer Tenzer, Perdita Stevens: On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. Formal Asp. Comput. 18(4): 397-420 (2006)
2005
30 Perdita Stevens: A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. FIW 2005: 35-36
29EEMartin Leucker, Thomas Noll, Perdita Stevens, Michael Weber: Functional programming languages for verification tools: a comparison of Standard ML and Haskell. STTT 7(2): 184-194 (2005)
28EEPerdita Stevens, Jon Whittle: Guest editorial to the special issue on UML2003. Software and System Modeling 4(4): 353-354 (2005)
2004
27EEC. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens: Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP 2004: 74-78
26EEJoost-Pieter Katoen, Perdita Stevens: Guest editors' introduction: Advancements and extensions of verification techniques. STTT 6(2): 99-101 (2004)
2003
25 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
24 Elie Najm, Uwe Nestmann, Perdita Stevens: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings Springer 2003
23EEPerdita Stevens: UML and Concurrency. Abstract State Machines 2003: 151-165
22EEJennifer Tenzer, Perdita Stevens: Modelling Recursive Calls with UML State Diagrams. FASE 2003: 135-149
21EEHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24
20 Perdita Stevens: Small-Scale XMI Programming: A Revolution in UML Tool Use? Autom. Softw. Eng. 10(1): 7-21 (2003)
2002
19 Joost-Pieter Katoen, Perdita Stevens: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings Springer 2002
18EEPerdita Stevens: Playing Games with Software Design. COORDINATION 2002: 1
17EEJulian C. Bradfield, Juliana Küster Filipe, Perdita Stevens: Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217
16EEPerdita Stevens, Jennifer Tenzer: Games for UML Software Design. FMCO 2002: 467-486
15EEArie van Deursen, Timothy Lethbridge, Perdita Stevens: Panel Introducion. ICSM 2002: 248-
14 Perdita Stevens: Refinement in Z and object-Z: foundations and advanced applications. Softw. Test., Verif. Reliab. 12(1): 61 (2002)
13EEPerdita Stevens: On the interpretation of binary associations in the Unified Modelling Language. Software and System Modeling 1(1): 68-79 (2002)
2001
12EEPerdita Stevens: On Use Cases and Their Relationships in the Unified Modelling Language. FASE 2001: 140-155
11EEPerdita Stevens: On Associations in the Unified Modelling Language. UML 2001: 361-375
1999
10 Perdita Stevens: UML for Describing Product-Line Architectures? ECOOP Workshops 1999: 199
9 Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens: Aggregation. ECOOP Workshops 1999: 55-56
8EEPerdita Stevens: Some Issues in the Software Engineering of Verification Tools. TACAS 1999: 435-438
7 Rick Dewar, Ashley D. Lloyd, Rob Pooley, Perdita Stevens: Identifying nd communicting expertise in systems reengineering: a patterns approach. IEE Proceedings - Software 146(3): 145-152 (1999)
1998
6EEPerdita Stevens: Abstract Games for Infinite State Processes. CONCUR 1998: 147-162
5 Perdita Stevens, Rob Pooley: Systems Reengineering Patterns. ECOOP Workshops 1998: 85-86
4 Perdita Stevens: Report of Working Group on Reengineering Patterns. ECOOP Workshops 1998: 89-92
3EEPerdita Stevens, Rob Pooley: Systems Reengineering Patterns. SIGSOFT FSE 1998: 17-23
2EEPerdita Stevens, Colin Stirling: Practical Model-Checking Using Games. TACAS 1998: 85-101
1EEPerdita Stevens: A Verification Tool Seveloper's Vade Mecum. STTT 2(2): 89-94 (1998)

Coauthor Index

1Hubert Baumeister [21]
2Grady Booch [25]
3Juliana Küster Filipe Bowles (Juliana Küster Filipe) [17]
4Julian C. Bradfield [17]
5Ed Brinksma [32] [33] [37]
6C. Canevet [27]
7Arie van Deursen [15]
8Rick Dewar [7]
9Andy Evans [9]
10Robert B. France [9]
11Guy Genilloud [9]
12Stephen Gilmore (Stephen T. Gilmore) [27]
13David Harel [32] [33] [37]
14Brian Henderson-Sellers [9]
15Jane Hillston [27]
16Joost-Pieter Katoen [19] [26]
17Leïla Kloul [27]
18Nora Koch [21]
19Piotr Kosiuczenko [21]
20Timothy Lethbridge (Timothy C. Lethbridge) [15]
21Martin Leucker [29]
22Ashley D. Lloyd [7]
23Angelika Mader [32] [33] [37]
24Elie Najm [24]
25Uwe Nestmann [24]
26Thomas Noll [29]
27Rob Pooley (R. J. Pooley) [3] [5] [7]
28Colin Stirling [2]
29Jennifer Tenzer [16] [22] [31] [34]
30Michael Weber [29]
31Jon Whittle (Jonathan Whittle) [25] [28]
32Roel Wieringa [32] [33] [37]
33Martin Wirsing [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)