Perdita Stevens Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2010
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling 9(1): 7-20 (2010)
2009
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: A Simple Game-Theoretic Approach to Checkonly QVT Relations. ICMT 2009: 165-180
2008
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Towards an Algebraic Theory of Bidirectional Transformations. ICGT 2008: 1-17
2007
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: A Landscape of Bidirectional Model Transformations. GTTSE 2007: 408-424
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. MoDELS 2007: 1-15
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJennifer Tenzer, Perdita Stevens: GUIDE: Games with UML for interactive design exploration. Knowl.-Based Syst. 20(7): 652-670 (2007)
2006
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJennifer 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. FIW 2005: 35-36
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens, Jon Whittle: Guest editorial to the special issue on UML2003. Software and System Modeling 4(4): 353-354 (2005)
2004
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Perdita Stevens: Guest editors' introduction: Advancements and extensions of verification techniques. STTT 6(2): 99-101 (2004)
2003
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita 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
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElie 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: UML and Concurrency. Abstract State Machines 2003: 151-165
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJennifer Tenzer, Perdita Stevens: Modelling Recursive Calls with UML State Diagrams. FASE 2003: 135-149
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Small-Scale XMI Programming: A Revolution in UML Tool Use? Autom. Softw. Eng. 10(1): 7-21 (2003)
2002
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Playing Games with Software Design. COORDINATION 2002: 1
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian C. Bradfield, Juliana Küster Filipe, Perdita Stevens: Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens, Jennifer Tenzer: Games for UML Software Design. FMCO 2002: 467-486
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie van Deursen, Timothy Lethbridge, Perdita Stevens: Panel Introducion. ICSM 2002: 248-
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Refinement in Z and object-Z: foundations and advanced applications. Softw. Test., Verif. Reliab. 12(1): 61 (2002)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: On the interpretation of binary associations in the Unified Modelling Language. Software and System Modeling 1(1): 68-79 (2002)
2001
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: On Use Cases and Their Relationships in the Unified Modelling Language. FASE 2001: 140-155
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: On Associations in the Unified Modelling Language. UML 2001: 361-375
1999
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: UML for Describing Product-Line Architectures? ECOOP Workshops 1999: 199
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens: Aggregation. ECOOP Workshops 1999: 55-56
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Some Issues in the Software Engineering of Verification Tools. TACAS 1999: 435-438
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRick 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Abstract Games for Infinite State Processes. CONCUR 1998: 147-162
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens, Rob Pooley: Systems Reengineering Patterns. ECOOP Workshops 1998: 85-86
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens: Report of Working Group on Reengineering Patterns. ECOOP Workshops 1998: 89-92
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens, Rob Pooley: Systems Reengineering Patterns. SIGSOFT FSE 1998: 17-23
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita Stevens, Colin Stirling: Practical Model-Checking Using Games. TACAS 1998: 85-101
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPerdita 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 © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)