Arend Rensink

According to our database1, Arend Rensink
  • authored at least 104 papers between 1992 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Fault trees on a diet: automated reduction by graph rewriting.
Formal Asp. Comput., 2017

A Model-Derivation Framework for Software Analysis.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

2016
Model Patterns - The Quest for the Right Level of Abstraction.
T. Foundations for Mastering Change, 2016

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Towards Compliance Verification Between Global and Local Process Models.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling.
Software and System Modeling, 2014

A survey and comparison of transformation tools based on the transformation tool contest.
Sci. Comput. Program., 2014

Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices.
ECEASST, 2014

Graph- versus Vector-Based Analysis of a Consensus Protocol.
Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Noninvasive regelbasierte Graphtransformation für Java.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Towards Rigorously Faking Bidirectional Model Transformations.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

BenchmarX.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013
Class Diagram Restructuring with GROOVE.
Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

2012
Modelling and analysis using GROOVE.
STTT, 2012

Preface.
Fundam. Inform., 2012

Incremental Pattern Matching for Regular Expressions.
ECEASST, 2012

Graph Passing in Graph Transformation.
ECEASST, 2012

Graph Subsumption in Abstract State Space Exploration
Proceedings of the Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, 2012

Pattern-Based Graph Abstraction.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Generalised Compositionality in Graph Transformation.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Graph Transforming Java Data.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Using Graph Transformations and Graph Abstractions for Software Verification.
ECEASST, 2011

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Compiler Optimization Case with GROOVE
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Knowledge-Based Graph Exploration Analysis.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
Graph transformation tool contest 2008.
STTT, 2010

Neighbourhood Abstraction in GROOVE.
ECEASST, 2010

On A Graph Formalism for Ordered Edges.
ECEASST, 2010

Incremental Pattern Matching in Graph-Based State Space Exploration.
ECEASST, 2010

Distributed Graph-Based State Space Generation.
ECEASST, 2010

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Compositionality in Graph Transformation.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

The Edge of Graph Transformation - Graphs for Behavioural Specification.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Editorial for Special Section on Dependencies and Interactions with Aspects.
Trans. Aspect-Oriented Software Development, 2009

Repotting the Geraniums: On Nested Graph Transformation Rules.
ECEASST, 2009

Graph Abstraction for a Modal Logic.
Bulletin of the EATCS, 2009

A Type Graph Model for Java Programs.
Proceedings of the Formal Techniques for Distributed Systems, 2009

Graph-based specification and simulation of featherweight Java with around advice.
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

A graph-transformation-based simulation approach for analysing aspect interference on shared join points.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008
Applying formal methods to gossiping networks with mCRL and groove.
SIGMETRICS Performance Evaluation Review, 2008

Graph Transformation Semantics for a QVT Language.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

On a Graph-Based Semantics for UML Class and Object Diagrams.
ECEASST, 2008

Graph-Based Tools: The Contest.
Proceedings of the Graph Transformations, 4th International Conference, 2008

A Modal-Logic Based Graph Abstraction.
Proceedings of the Graph Transformations, 4th International Conference, 2008

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.
Proceedings of the Model Driven Architecture, 2008

Dynamic Partial Order Reduction Using Probe Sets.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Explicit State Model Checking for Graph Grammars.
Proceedings of the Concurrency, 2008

2007
Fair testing.
Inf. Comput., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Simulating Multigraph Transformations Using Simple Graphs.
ECEASST, 2007

AGTIVE 2007 Graph Transformation Tool Contest.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Ludo: A Case Study for Graph Transformation Tools.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Preface.
Electr. Notes Theor. Comput. Sci., 2006

Abstract Graph Transformation.
Electr. Notes Theor. Comput. Sci., 2006

Isomorphism Checking in GROOVE.
ECEASST, 2006

Specification and Construction of Control Flow Semantics.
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

Model Checking Dynamic States in GROOVE.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Nested Quantification in Graph Transformation Rules.
Proceedings of the Graph Transformations, Third International Conference, 2006

Weakest Preconditions for High-Level Programs.
Proceedings of the Graph Transformations, Third International Conference, 2006

Defining Object-Oriented Execution Semantics Using Graph Transformations.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Model Checking Quantified Computation Tree Logic.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Time and Space Issues in the Generation of Graph Transition Systems.
Electr. Notes Theor. Comput. Sci., 2005

Action Refinement in Conformance Testing.
Proceedings of the Testing of Communicating Systems, 2005

Safety and Liveness in Concurrent Pointer Programs.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Ensuring Structural Constraints in Graph-Based Models with Type Inheritance.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise..
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

2004
Model Checking Graph Transformations: A Comparison of Two Approaches.
Proceedings of the Graph Transformations, Second International Conference, 2004

Representing First-Order Logic Using Graphs.
Proceedings of the Graph Transformations, Second International Conference, 2004

Who is Pointing When to Whom?
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Canonical Graph Shapes.
Proceedings of the Programming Languages and Systems, 2004

Subjects, Models, Languages, Transformations.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

Summary 2: Graph Grammar Verification through Abstraction.
Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004

2003
Compositional Testing with ioco.
Proceedings of the Formal Approaches to Software Testing, 2003

AGTIVE'03: Summary from the Outside In.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

The GROOVE Simulator: A Tool for State Space Generation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
Model Checking Birth and Death.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001
Vertical Implementation.
Inf. Comput., 2001

Process algebra with action dependencies.
Acta Inf., 2001

2000
Bisimilarity of Open Terms.
Inf. Comput., 2000

On a Temporal Logic for Object-Based Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Action Contraction.
Proceedings of the CONCUR 2000, 2000

1998
An Algebraic Semantics for Message Sequence Chart Documents.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

A Process Algebra Semantics for MSC Including Conditions.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

Spezifikation eines RPC-Speichers mit der Sprache ProFun.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997
Bisimilarity of open terms.
Electr. Notes Theor. Comput. Sci., 1997

Process creation and full sequential composition in a name-passing calculus.
Electr. Notes Theor. Comput. Sci., 1997

Action Refinement as an Implementation Relations.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Dependency-Based Action Refinement.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Action refinement for Vertical Implementation.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996
Algebra and Theory of Order-Deterministic Pomsets.
Notre Dame Journal of Formal Logic, 1996

Comparing Syntactic and Semantic Sction Refinement.
Inf. Comput., 1996

Applications of Fair Testing.
Proceedings of the Formal Description Techniques IX: Theory, 1996

Denotational, Causal, and Operational Determinism in Event Structures.
Proceedings of the Trees in Algebra and Programming, 1996

1995
A Complete Theory of Deterministic Event Structures.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

Fair Testing.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Finite Petri Nets as Models for Recursive Causal Behaviour.
Theor. Comput. Sci., 1994

On Syntactic and Semantic Action Refinement.
Proceedings of the Theoretical Aspects of Computer Software, 1994

Methodological Aspects of Action Refinement.
Proceedings of the Programming Concepts, 1994

Weak Sequential Composition in Process Algebras.
Proceedings of the CONCUR '94, 1994

1993
Order isomorphism odes not preserve global event independence.
Bulletin of the EATCS, 1993

Order isomorphism odes not preserve global event independence.
Bulletin of the EATCS, 1993

1992
Posets for Configurations!
Proceedings of the CONCUR '92, 1992


  Loading...