Research Output per year
Research Output 2007 2019
- 1 - 50 out of 57 results
- Publication Year, Title (descending)
2019
Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2019
Bergenthum, R. (ed.) & Kindler, E. (ed.), 2019, Fern-Universität Hagen. 51 p.Research output: Book/Report › Book
Open Access
File
79
Downloads
(Pure)
climify.org: an online solution for easy control and monitoring of the indoor environment
Cali, D., Kindler, E., Ebrahimy, R., Bacher, P., Hu, K. S., Østrup, M. L., Bachalarz, M. & Madsen, H., 2019, Proceedings of Clima 2019. 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
Coordinating Behaviour
Kindler, E., 2019, Carl Adam Petri: Ideas, Personality, Impact . Springer, p. 155-160Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Multidirectional Transformations and Synchronisations.
Cleve, A. (ed.), Kindler, E. (ed.), Stevens, P. (ed.) & Zaytsev, V. (ed.), 2019, In : Dagstuhl Reports. 8, 12, 48 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
File
The PNK, the PNML and the ePNK: What became of our dreams?
Kindler, E., 2019, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2019. Bergenthum, R. & Kindler, E. (eds.). Fern-Universität Hagen, p. 26-29Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
72
Downloads
(Pure)
Towards a software architecture for neurophysiological experiments
Ioannou, C., Kindler, E., Bækgaard, P., Saqid, S. & Weber, B., 2019, Proceedings of the NeuroIS Retreat 2019. 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
2018
ePNK Applications and Annotations: A Simulator for YAWL Nets
Kindler, E., 2018, Application and Theory of Petri Nets and Concurrency . Springer, Vol. 10877. p. 339-350 (Application and Theory of Petri Nets and Concurrency). (Lecture Notes in Computer Science, Vol. 10877).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18)
Moldt, D. (ed.), Kindler, E. (ed.) & Rölke, H. (ed.), 2018, CEUR-WS. (CEUR Workshop Proceedings, Vol. 2138).Research output: Book/Report › Book
64
Downloads
(Pure)
Using the Event Coordination Notation for Validation
Kindler, E., Egilsson, P. I. & Hillah, L. M., 2018, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018. Lorenz, R. & Metzger, J. (eds.). p. 13-20Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
2017
1241
Downloads
(Pure)
Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017
Kindler, E. (ed.) & Bergenthum, R. (ed.), 2017, DTU Compute. 70 p. (DTU Compute-Technical Report-2017, Vol. 06).Research output: Book/Report › Report
Open Access
File
ePNK Applications and Annotations
Kindler, E., 2017, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017. Bergenthum, R. & Kindler, E. (eds.). DTU Compute, p. 27-32 (DTU Compute-Technical Report-2017, Vol. 06).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2016
Pragmatics annotated coloured petri nets for protocol software generation and verification
Simonsen, K. I. F., Kristensen, L. M. & Kindler, E., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Koutny, M., Desel, J. & Kleijn, J. (eds.). Springer, p. 1-27 (Lecture Notes in Computer Science, Vol. 9930).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
2015
Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2014
Ciardo, G., Kindler, E. & Penczek, W., 2015, In : Fundamenta Informaticae. 140, 1, p. V-VI 2 p.Research output: Contribution to journal › Editorial › Research › peer-review
Behavior Modeling -- Foundations and Applications: International Workshops, BM-FA 2009-2014, Revised Selected Papers
Roubtsova, E. (ed.), McNeile, A. (ed.), Kindler, E. (ed.) & Gerth, C. (ed.), 2015, Springer. 279 p. (Lecture Notes in Computer Science, Vol. 6368).Research output: Book/Report › Book
415
Downloads
(Pure)
Bx 2015 — Bidirectional Transformations: Proceedings of the 4th International Workshop on Bidirectional Transformations
Cunha, A. (ed.) & Kindler, E. (ed.), 2015, 95 p. (CEUR Workshop Proceedings, Vol. 1396).Research output: Book/Report › Book
Open Access
File
193
Downloads
(Pure)
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
Fagerland Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2015, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15): including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015). Moldt, D., Rölke, H. & Störrle, H. (eds.). p. 79-98 (CEUR Workshop Proceedings, Vol. 1372).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse
Jepsen, J. & Kindler, E., 2015, Revised Selected Papers of the International Workshops on Behavior Modeling – Foundations and Applications (BM-FA 2009-2014). Roubtsova, E., McNeile, A., Kindler, E. & Gerth, C. (eds.). Springer, p. 133-164 (Lecture Notes in Computer Science, Vol. 6368).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
2014
Application and Theory of Petri Nets and Concurrency: Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014
Ciardo, G. (ed.) & Kindler, E. (ed.), 2014, Springer. 395 p. (Lecture Notes in Computer Science, Vol. 8489).Research output: Book/Report › Book
471
Downloads
(Pure)
Coordinating Interactions: The Event Coordination Notation
Kindler, E., 2014, DTU Compute. 204 p. (DTU Compute-Technical Report-2014; No. 05).Research output: Book/Report › Report
Open Access
File
345
Downloads
(Pure)
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2014, Kgs. Lyngby: Technical University of Denmark. 23 p. (DTU Compute-Technical Report-2014; No. 16).Research output: Book/Report › Report
Open Access
File
Special issue: Selected papers of BPM 2012: From the guest editors
Barros, A., Gal, A. & Kindler, E., 2014, In : Information Systems. 47, January 2015, p. 195-196Research output: Contribution to journal › Editorial › Research › peer-review
2013
A simulator for high-level Petri nets: An ePNK application
Kindler, E. & Laganeckas, M., 2013, In : Petri Net Newsletter. 82, p. 3–19Research output: Contribution to journal › Journal article › Research › peer-review
273
Downloads
(Pure)
Code Generation for Protocols from CPN models Annotated with Pragmatics
Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2013, Kongens Lyngby: Technical University of Denmark. 43 p. (D T U Compute. Technical Report; No. 2013-01).Research output: Book/Report › Report
Open Access
File
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications
Greenyer, J. & Kindler, E., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, p. 774-789 (Lecture Notes in Computer Science, Vol. 8107).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Generating Protocol Software from CPN Models Annotated with Pragmatics
Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2013, Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer, p. 227-242 (Lecture Notes in Computer Science, Vol. 8195).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2012
119
Downloads
(Pure)
An ECNO semantics for Petri nets
Kindler, E., 2012, In : Petri Net Newsletter. 81, p. 3–16Research output: Contribution to journal › Journal article › Research › peer-review
File
Business Process Management: 10th International Conference, BPM 2012 Proceedings
Barros, A. (ed.), Gal, A. (ed.) & Kindler, E. (ed.), 2012, Springer. (Lecture Notes in Computer Science, Vol. 7481).Research output: Book/Report › Book
158
Downloads
(Pure)
Code Generation for Protocols from CPN models Annotated with Pragmatics
Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2012. 3 p.Research output: Contribution to conference › Paper › Research › peer-review
File
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012; Kgs. Lyngby, Denmark, July 2-5, 2012; Proceedings
Vallecillo, A. (ed.), Tolvanen, J-P. (ed.), Kindler, E. (ed.), Störrle, H. (ed.) & Kolovos, D. (ed.), 2012, Springer. 446 p. (Lecture Notes in Computer Science, Vol. 7349).Research output: Book/Report › Book
Modelling Local and Global Behaviour: Petri Nets and Event Coordination
Kindler, E., 2012, Transactions on Petri Nets and Other Models of Concurrency VI. Springer, p. 71-93 (Lecture Notes in Computer Science, Vol. 7400).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
103
Downloads
(Pure)
On the dimensions of software documents — An idea for framing the software engineering process.
Kindler, E., Baumeister, H., Haxthausen, A. E. & Kiniry, J., 2012, The Semat Workshop on a General Theory of Software Engineering 2012: Proceedings. Jacobsen, I., Goedicke, M. & Johnson, P. (eds.). p. 21-22 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
780
Downloads
(Pure)
The ePNK: A generic PNML tool Users' and Developers' Guide for Version 1.0.0
Kindler, E., 2012, Kgs. Lyngby: Technical University of Denmark. 164 p. (D T U Compute. Technical Report; No. 2012-14).Research output: Book/Report › Report
Open Access
File
The Event Coordination Notation: Execution Engine and Programming Framework
Kindler, E., 2012, BM-FA '12 Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications . Association for Computing Machinery, p. 8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2011
398
Downloads
(Pure)
ePNK: A generic PNML tool - Users' and Developers' Guide: version 0.9.1
Kindler, E., 2011, Kgs. Lyngby, Denmark: Technical University of Denmark, DTU Informatics, Building 321. (IMM-Technical Report-2011-03).Research output: Book/Report › Report
Open Access
File
Integrating Behaviour in Software Models: An Event Coordination Notation: Concepts and Prototype
Kindler, E., 2011, BM-FA '11 Proceedings of the Third Workshop on Behavioural Modelling. New York: ACM, p. 41-48Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Modelling Local and Global Behaviour: Petri Nets and Event Coordination
Kindler, E., 2011, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’11). p. 42-56 (CEUR Workshop Proceedings; No. 723).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
The ePNK: An Extensible Petri Net Tool for PNML
Kindler, E., 2011, Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, p. 318-327 (Lecture Notes in Computer Science; No. 6709).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
The Third Workshop on Behaviour Modelling - Foundations and Applications
Roubtsova, E., McNeile, A., Kindler, E. & Aksit, M., 2011, Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 Birmingham, UK, June 6-9, 2011 Proceedings. Springer, p. 381-382 (Lecture Notes in Computer Science; No. 6698).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
2010
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars
Greenyer, J. & Kindler, E., 2010, In : Software and Systems Modeling. 9, 1, p. 21-46Research output: Contribution to journal › Journal article › Research › peer-review
Model-based Software Engineering: The challenges of modelling behaviour
Kindler, E., 2010, ACM Digital Library: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications. Aksit, M., Kindler, E., Roubtsova, E. & McNeile, A. (eds.). New York, NY, USA: ACM, 46 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Ny software helt uden programmering
Kindler, E., 2010, In : videnskab.dk.Research output: Contribution to journal › Journal article › Communication
Process mining: A two-step approach to balance between underfitting and overfitting
van der Aalst, W. M. P., Rubin, V., Verbeek, H. M. W., van Dongen, B. F., Kindler, E. & Günther, C. W., 2010, In : Journal of Software and Systems Modeling. 9, 1, p. 87-111Research output: Contribution to journal › Journal article › Research › peer-review
2009
A framework for the definition of variants of high-level Petri nets
Kindler, E. & Petrucci, L., 2009, Proceedings of the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09). p. 121-137Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
Hillah, L. M., Kindler, E., Kordon, F., Petrucci, L. & Tréves, N., 2009, In : Petri Net Newsletter. 76, p. 9-28Research output: Contribution to journal › Journal article › Research
Difference-based Model Synchronization in an Industrial MDD Process
Könemann, P., Kindler, E. & Unland, L., 2009, Second European Workshop on Model Driven Tool and Process Integration. Hein, C., Ritter, T. & Wagner, M. (eds.). Fraunhofer Institute for Open Communication Systems, p. 1-12 59 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Model-based Software Engineering and Process-Aware Information Systems
Kindler, E., 2009, Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems. Jensen, K. & van der Aalst, W. M. P. (eds.). 1 ed. Springer, Vol. 2. p. 27-45 297 p. (Lecture Notes in Computer Science; No. 5460).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Modelling Constructs
Kindler, E., 2009, Handbook of Research on Business Process Modeling. Cardoso, J. & van der Aalst, W. (eds.). Idea Group Publishing, p. 122-141 634 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Towards a Standard for Modular Petri Nets: A Formalisation
Kindler, E. & Petrucci, L., 2009, Proceedings of the Application and Theory of Petri Nets: 30th International Conference. Franceschinis, G. & Wolf, K. (eds.). Springer, p. 43-62 (Lecture Notes in Computer Science; No. 5606).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
2008
Aspect-Oriented Modelling from a Different Angle: Modelling Domains with Aspects
Kindler, E. & Schmelter, D., 2008, Aspect-Oriented Modeling: 12th International Workshop on. ACM, p. 7-12Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
151
Downloads
(Pure)
Diff-based model synchronization in an industrial MDD process
Kindler, E., Könemann, P. & Unland, L., 2008, Lyngby: Technical University of Denmark, DTU Informatics, Building 321. (D T U Compute. Technical Report; No. 2008-07).Research output: Book/Report › Report
Open Access
File