Pierre Kelsen

J. Object Technol., 2020

An experimental scrutiny of visual design modelling: VCL up against UML+OCL.

[BibT_eX]

[DOI]

Lionel C. Briand

Empir. Softw. Eng., 2020

2019

F-Alloy: a relational model transformation language based on Alloy.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

2018

Agile validation of model transformations using compound F-Alloy specifications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Decomposing Models Through Dependency Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

2016

Agile Validation of Higher Order Transformations Using F-Alloy.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

Business Process Regulatory Compliance is Hard.

[BibT_eX]

[DOI]

Guido Governatori

IEEE Trans. Serv. Comput., 2015

A generic model decomposition technique and its application to the Eclipse modeling framework.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Algorithms for tractable compliance problems.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Frontiers Comput. Sci., 2015

Designing languages using lightning.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

F-Alloy: An Alloy Based Model Transformation Language.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Verifying Modelling Languages using Lightning: a Case Study.

[BibT_eX]

[DOI]

Fabien Mathey

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Combining Models with Code: A Tale of Two Languages.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Global Software Engineeering Workshops, 2014

Detecting Deontic Conflicts in Dynamic Settings.

[BibT_eX]

[DOI]

Guido Governatori

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

Domain-Specific Visualization of Alloy Instances.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Algorithms for Basic Compliance Problems.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Towards an Abstract Framework for Compliance.

[BibT_eX]

[DOI]

Guido Governatori

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013

2011

Platform-Variant Applications from Platform-Independent Models via Templates.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Generative Technologies, 2011

Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing, 2011

Building VCL Models and Automatically Generating Z Specifications from Them.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

Models within Models: Taming Model Complexity Using the Sub-model Lattice.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010

Using VCL as an Aspect-Oriented Approach to Requirements Modelling.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2010

Modular Design by Contract Visually and Formally Using VCL.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

A Modular Model Composition Technique.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

VCL, a Visual Language for Modelling Software Systems Formally.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2010

2009

Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.

[BibT_eX]

[DOI]

Barbara Gallina

Nicolas Guelfi

Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

From platform-independent to platform-specific models using democles.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

Specifying Executable Platform-Independent Models using OCL.

[BibT_eX]

[DOI]

Elke Pulvermüller

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

2007

DEMOCLES: a tool for executable modeling of platform-independent systems.

[BibT_eX]

[DOI]

Elke Pulvermüller

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

DEMOS: a tool for declarative executable modeling of object-based systems.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A declarative executable model for object-based systems based on functional decomposition.

[BibT_eX]

Proceedings of the ICSOFT 2006, 2006

2004

A Simple Static Model for Understanding the Dynamic Behavior of Programs.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

2003

An Information-Based View of Representational Coupling in Object-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2003

1996

Approximate Hypergraph Coloring.

[BibT_eX]

Nord. J. Comput., 1996

A Simple NC-Algorithm for a Maximal Independent set in a Hypergraph of Poly-Log Arboricity.

[BibT_eX]

[DOI]

Oscar Garrido

Andrzej Lingas

Inf. Process. Lett., 1996

Approximate Hypergraph Coloring.

[BibT_eX]

[DOI]

Sanjeev Mahajan

Ramesh Hariharan

Proceedings of the Algorithm Theory, 1996

Neighborhood Graphs and Distributed Delta+1-Coloring.

[BibT_eX]

[DOI]

Proceedings of the Algorithm Theory, 1996

Ranking and Unranking Trees Using Regular Reductions.

[BibT_eX]

[DOI]

Proceedings of the STACS 96, 1996

1995

Computing Minimal Spanning Subgraphs in Linear Time.

[BibT_eX]

[DOI]

SIAM J. Comput., 1995

On Finding Minimal Two-Connected Subgraphs.

[BibT_eX]

[DOI]

Vijaya Ramachandran

J. Algorithms, 1995

1994

An Optimal Parallel Algorithm for Maximal Matching.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1994

1993

Fast Parallel Matching in Expander Graphs.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

1992

Efficient Computation of Extremal Structures in Graphs and Hypergraphs

[BibT_eX]

[DOI]

PhD thesis, 1992

An Efficient Parallel Algorithm for Computing a Maximal Independent Set in a Hypergraph of Dimension 3.

[BibT_eX]

[DOI]

Elias Dahlhaus

Marek Karpinski

Inf. Process. Lett., 1992

On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph

[BibT_eX]

[DOI]

Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992

1991

On Finding Minimal 2-Connected Subgraphs.

[BibT_eX]

[DOI]