Arend Rensink
According to our database1,
Arend Rensink
authored at least 112 papers
between 1992 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2018
LOCKS: a property specification language for security goals.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Effective Analysis of Attack Trees: A Model-Driven Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2018
Graph Attribution Through Sub-Graphs.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
A Tutorial on Graph Transformation.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
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
A Java Bytecode Metamodel for Composable Program Analyses.
Proceedings of the Software Technologies: Applications and Foundations, 2017
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017
An MDE Approach for Modular Program Analyses.
Proceedings of the Companion to the first International Conference on the Art, 2017
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order.
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2016
Model Patterns - The Quest for the Right Level of Abstraction.
Trans. Found. Mastering Chang., 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