Travelled to:1 × Canada
1 × Denmark
1 × Greece
1 × Poland
1 × Switzerland
1 × United Kingdom
2 × Estonia
2 × Portugal
2 × The Netherlands
3 × France
3 × Italy
3 × USA
Collaborated with:∅ J.C.Bradfield J.Gibbons J.McKinna J.Cheney J.Tenzer R.Pooley C.Stirling J.K.Filipe A.Anjorin E.Leblebici R.Kluge A.Schürr F.Abou-Saleh
Talks about:transform (8) bidirect (8) model (7) toward (4) qvt (4) calculus (3) game (3) use (3) approach (2) languag (2)
♀ Person: Perdita Stevens
DBLP: Stevens:Perdita
Facilitated 19 volumes:
PrCo
PrCoPrCoPrBoardPrCoPrCoPrBoard
Ed
SciCoPrCoPrCo
DSChSciCo
Ed
EdEd
EdPrCoContributed to:
2015201420142013201220122009
20082007200720032002200120011999
199819982017
2018201820162017Wrote 24 papers:
- BX-2015-AnjorinLKSS #approach #graph grammar #guidelines
- A Systematic Approach and Guidelines to Developing a Triple Graph Grammar (AA, EL, RK, AS, PS), pp. 81–95.
- BX-2015-CheneyGMS #bidirectional #towards
- Towards a Principle of Least Surprise for Bidirectional Transformations (JC, JG, JM, PS), pp. 66–80.
- BX-2014-CheneyMSG #repository #towards
- Towards a Repository of Bx Examples (JC, JM, PS, JG), pp. 87–91.
- BX-2014-CheneyMSGA #monad
- Entangled State Monads (JC, JM, PS, JG, FAS), pp. 108–111.
- FASE-2014-Stevens #bidirectional #consistency #nondeterminism
- Bidirectionally Tolerating Inconsistency: Partial Transformations (PS), pp. 32–46.
- FASE-2013-BradfieldS #calculus #game studies #qvt #μ-calculus
- Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.
- BX-2012-Stevens #bidirectional #set
- Observations relating to the equivalences induced on model sets by bidirectional transformations (PS), pp. 100–115.
- FASE-2012-BradfieldS #calculus #qvt #recursion #μ-calculus
- Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
- ICMT-2009-Stevens #approach #game studies #qvt
- A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.
- ICGT-2008-Stevens #algebra #bidirectional #towards
- Towards an Algebraic Theory of Bidirectional Transformations (PS), pp. 1–17.
- GTTSE-2007-Stevens #bidirectional #model transformation
- A Landscape of Bidirectional Model Transformations (PS), pp. 408–424.
- MoDELS-2007-Stevens #bidirectional #model transformation #qvt #semantics
- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
- FASE-2003-TenzerS #diagrams #modelling #recursion #uml
- Modelling Recursive Calls with UML State Diagrams (JT, PS), pp. 135–149.
- FASE-2002-BradfieldFS #calculus #ocl #using #μ-calculus
- Enriching OCL Using Observational μ-Calculus (JCB, JKF, PS), pp. 203–217.
- FASE-2001-Stevens #case study #modelling #on the
- On Use Cases and Their Relationships in the Unified Modelling Language (PS), pp. 140–155.
- UML-2001-Stevens #modelling #on the
- On Associations in the Unified Modelling Language (PS), pp. 361–375.
- TACAS-1999-Stevens #re-engineering #tool support #verification
- Some Issues in the Software Engineering of Verification Tools (PS), pp. 435–438.
- FSE-1998-StevensP #re-engineering
- Systems Reengineering Patterns (PS, RP), pp. 17–23.
- TACAS-1998-StevensS #game studies #model checking #using
- Practical Model-Checking Using Games (PS, CS), pp. 85–101.
- MoDELS-2017-Stevens #bidirectional #in the large
- Bidirectional Transformations in the Large (PS), pp. 1–11.
- ECMFA-2018-Stevens #bidirectional #question
- Is Bidirectionality Important? (PS), pp. 1–11.
- MoDELS-2018-Stevens #flexibility #megamodelling #towards
- Towards sound, optimal, and flexible building from megamodels (PS), pp. 301–311.
- BX-2016-McKinnaS #deployment #equilibrium #how
- How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper) (JM, PS), pp. 32–34.
- BX-2017-StevensG #on the
- On Ontologology (PS, JG), pp. 54–58.