Daniel Calegari

According to our database1, Daniel Calegari authored at least 29 papers between 2008 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A Model-Driven Approach for System Administration.
Proceedings of the Joint Proceedings of the Workshop on Model-Driven Engineering for the Internet of Things (MDE4IoT) & of the Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) Co-located with the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

Towards integrating BPMN 2.0 with CMMN and DMN standards for flexible business process modeling.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

2018
Systematic evaluation of Business Process Management Systems.
CLEI Electron. J., 2018

Modeling of software process families with automated generation of variants (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Model-Driven Development of an Interpreter for the Object Constraint Language.
Proceedings of the XLIV Latin American Computer Conference, 2018

2017
Compliance with Environmental Regulations through Complex Geo-Event Processing.
CLEI Electron. J., 2017

Model-driven Generation of a BPMS Portal Based on Interaction Flow Modeling Language Models.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Towards Setting Up a Collaborative Environment to Support Collaborative Business Processes and Services with Social Interactions.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

BPMN 2.0 based modeling and customization of variants in business process families.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

Evaluating non-functional aspects of business process management systems.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

2016
Heterogeneous verification in the context of model driven engineering.
Sci. Comput. Program., 2016

Towards a Generic BPMS User Portal Definition for the Execution of Business Processes.
Electr. Notes Theor. Comput. Sci., 2016

On the Functional Interpretation of OCL.
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Complex event processing with geospatial support for monitoring and controlling compliance with environmental regulations.
Proceedings of the XLII Latin American Computing Conference, 2016

2015
Institution-based foundations for verification in the context of model-driven engineering.
Sci. Comput. Program., 2015

Software Architecture for Document Anonymization.
Electr. Notes Theor. Comput. Sci., 2015

Model-Driven Engineering Based on Attribute Grammars.
Proceedings of the Programming Languages, 2015

A Systematic Approach for Evaluating BPM Systems: Case Studies on Open Source and Proprietary Tools.
Proceedings of the Open Source Systems: Adoption and Impact, 2015

Changing the Focus of an Organization: From Information Systems to Process Aware Information Systems.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2015

2014
Model-Driven Engineering in the Heterogeneous Tool Set.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2013
Verification of Model Transformations: A Survey of the State-of-the-Art.
Electr. Notes Theor. Comput. Sci., 2013

Institution-Based Semantics for MOF and QVT-Relations.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Rule Chains Coverage for Testing QVT-Relations Transformations.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Bridging Technological Spaces for the Verification of Model Transformations.
Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

Towards Heterogeneous Verification of Model Transformations.
Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

2011
Institutionalising UML 2.0 state machines.
ISSE, 2011

Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010
A Type-Theoretic Framework for Certified Model Transformations.
Proceedings of the Formal Methods: Foundations and Applications, 2010

2008
UML 2.0 Interactions with OCL/RT Constraints.
Proceedings of the Forum on specification and Design Languages, 2008


  Loading...