Workshop DSM 2021 – Author Index

A B D F H J K L N R S W Z

	Alonso, Marco	DSM '21: "Industrial Experiences with ..." Industrial Experiences with the Evolution of a DSL Mathijs Schuts, Marco Alonso, and Jozef Hooman (Philips, Netherlands; Radboud University Nijmegen, Netherlands; TNO, Netherlands) @InProceedings{DSM21p21, author = {Mathijs Schuts and Marco Alonso and Jozef Hooman}, title = {Industrial Experiences with the Evolution of a DSL}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3486603.3486774}, year = {2021}, } Publisher's Version
	Balasubramanian, Daniel	DSM '21: "Differential-FORMULA: Towards ..." Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling Qishen Zhang, Daniel Balasubramanian, Tamas Kecskes, and Janos Sztipanovits (Vanderbilt University, USA) @InProceedings{DSM21p51, author = {Qishen Zhang and Daniel Balasubramanian and Tamas Kecskes and Janos Sztipanovits}, title = {Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3486603.3486779}, year = {2021}, } Publisher's Version
	Borror, Kaylynn	DSM '21: "MOLEGA: Modeling Language ..." MOLEGA: Modeling Language for Educational Card Games Kaylynn Borror and Eric J. Rapos (Miami University, USA) @InProceedings{DSM21p1, author = {Kaylynn Borror and Eric J. Rapos}, title = {MOLEGA: Modeling Language for Educational Card Games}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3486603.3486777}, year = {2021}, } Publisher's Version
	Borum, Holger Stadel	DSM '21: "Co-designing DSL Quality Assurance ..." Co-designing DSL Quality Assurance Measures for and with Non-programming Experts Holger Stadel Borum, Christoph Seidl, and Peter Sestoft (IT University of Copenhagen, Denmark) @InProceedings{DSM21p31, author = {Holger Stadel Borum and Christoph Seidl and Peter Sestoft}, title = {Co-designing DSL Quality Assurance Measures for and with Non-programming Experts}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3486603.3486776}, year = {2021}, } Publisher's Version
	De Meuter, Wolfgang	DSM '21: "PrintTalk: A Constraint-Based ..." PrintTalk: A Constraint-Based Imperative DSL for 3D Printing Jef Jacobs, Jens Nicolay, Christophe De Troyer, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) @InProceedings{DSM21p11, author = {Jef Jacobs and Jens Nicolay and Christophe De Troyer and Wolfgang De Meuter}, title = {PrintTalk: A Constraint-Based Imperative DSL for 3D Printing}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3486603.3486778}, year = {2021}, } Publisher's Version
	De Troyer, Christophe	DSM '21: "PrintTalk: A Constraint-Based ..." PrintTalk: A Constraint-Based Imperative DSL for 3D Printing Jef Jacobs, Jens Nicolay, Christophe De Troyer, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) @InProceedings{DSM21p11, author = {Jef Jacobs and Jens Nicolay and Christophe De Troyer and Wolfgang De Meuter}, title = {PrintTalk: A Constraint-Based Imperative DSL for 3D Printing}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3486603.3486778}, year = {2021}, } Publisher's Version
	Ding, Jie	DSM '21: "Integration of Modeling and ..." Integration of Modeling and Verification for System Model Based on KARMA Language Jie Ding, Michel Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, and Dimitris Kiritsis (Beijing Institute of Technology, China; Eindhoven University of Technology, Netherlands; EPFL, Switzerland; KTH, Sweden) @InProceedings{DSM21p41, author = {Jie Ding and Michel Reniers and Jinzhi Lu and Guoxin Wang and Lei Feng and Dimitris Kiritsis}, title = {Integration of Modeling and Verification for System Model Based on KARMA Language}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3486603.3486775}, year = {2021}, } Publisher's Version
	Feng, Lei	DSM '21: "Integration of Modeling and ..." Integration of Modeling and Verification for System Model Based on KARMA Language Jie Ding, Michel Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, and Dimitris Kiritsis (Beijing Institute of Technology, China; Eindhoven University of Technology, Netherlands; EPFL, Switzerland; KTH, Sweden) @InProceedings{DSM21p41, author = {Jie Ding and Michel Reniers and Jinzhi Lu and Guoxin Wang and Lei Feng and Dimitris Kiritsis}, title = {Integration of Modeling and Verification for System Model Based on KARMA Language}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3486603.3486775}, year = {2021}, } Publisher's Version
	Hooman, Jozef	DSM '21: "Industrial Experiences with ..." Industrial Experiences with the Evolution of a DSL Mathijs Schuts, Marco Alonso, and Jozef Hooman (Philips, Netherlands; Radboud University Nijmegen, Netherlands; TNO, Netherlands) @InProceedings{DSM21p21, author = {Mathijs Schuts and Marco Alonso and Jozef Hooman}, title = {Industrial Experiences with the Evolution of a DSL}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3486603.3486774}, year = {2021}, } Publisher's Version
	Jacobs, Jef	DSM '21: "PrintTalk: A Constraint-Based ..." PrintTalk: A Constraint-Based Imperative DSL for 3D Printing Jef Jacobs, Jens Nicolay, Christophe De Troyer, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) @InProceedings{DSM21p11, author = {Jef Jacobs and Jens Nicolay and Christophe De Troyer and Wolfgang De Meuter}, title = {PrintTalk: A Constraint-Based Imperative DSL for 3D Printing}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3486603.3486778}, year = {2021}, } Publisher's Version
	Kecskes, Tamas	DSM '21: "Differential-FORMULA: Towards ..." Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling Qishen Zhang, Daniel Balasubramanian, Tamas Kecskes, and Janos Sztipanovits (Vanderbilt University, USA) @InProceedings{DSM21p51, author = {Qishen Zhang and Daniel Balasubramanian and Tamas Kecskes and Janos Sztipanovits}, title = {Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3486603.3486779}, year = {2021}, } Publisher's Version
	Kiritsis, Dimitris	DSM '21: "Integration of Modeling and ..." Integration of Modeling and Verification for System Model Based on KARMA Language Jie Ding, Michel Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, and Dimitris Kiritsis (Beijing Institute of Technology, China; Eindhoven University of Technology, Netherlands; EPFL, Switzerland; KTH, Sweden) @InProceedings{DSM21p41, author = {Jie Ding and Michel Reniers and Jinzhi Lu and Guoxin Wang and Lei Feng and Dimitris Kiritsis}, title = {Integration of Modeling and Verification for System Model Based on KARMA Language}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3486603.3486775}, year = {2021}, } Publisher's Version
	Lu, Jinzhi	DSM '21: "Integration of Modeling and ..." Integration of Modeling and Verification for System Model Based on KARMA Language Jie Ding, Michel Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, and Dimitris Kiritsis (Beijing Institute of Technology, China; Eindhoven University of Technology, Netherlands; EPFL, Switzerland; KTH, Sweden) @InProceedings{DSM21p41, author = {Jie Ding and Michel Reniers and Jinzhi Lu and Guoxin Wang and Lei Feng and Dimitris Kiritsis}, title = {Integration of Modeling and Verification for System Model Based on KARMA Language}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3486603.3486775}, year = {2021}, } Publisher's Version
	Nicolay, Jens	DSM '21: "PrintTalk: A Constraint-Based ..." PrintTalk: A Constraint-Based Imperative DSL for 3D Printing Jef Jacobs, Jens Nicolay, Christophe De Troyer, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) @InProceedings{DSM21p11, author = {Jef Jacobs and Jens Nicolay and Christophe De Troyer and Wolfgang De Meuter}, title = {PrintTalk: A Constraint-Based Imperative DSL for 3D Printing}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3486603.3486778}, year = {2021}, } Publisher's Version
	Rapos, Eric J.	DSM '21: "MOLEGA: Modeling Language ..." MOLEGA: Modeling Language for Educational Card Games Kaylynn Borror and Eric J. Rapos (Miami University, USA) @InProceedings{DSM21p1, author = {Kaylynn Borror and Eric J. Rapos}, title = {MOLEGA: Modeling Language for Educational Card Games}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3486603.3486777}, year = {2021}, } Publisher's Version
	Reniers, Michel	DSM '21: "Integration of Modeling and ..." Integration of Modeling and Verification for System Model Based on KARMA Language Jie Ding, Michel Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, and Dimitris Kiritsis (Beijing Institute of Technology, China; Eindhoven University of Technology, Netherlands; EPFL, Switzerland; KTH, Sweden) @InProceedings{DSM21p41, author = {Jie Ding and Michel Reniers and Jinzhi Lu and Guoxin Wang and Lei Feng and Dimitris Kiritsis}, title = {Integration of Modeling and Verification for System Model Based on KARMA Language}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3486603.3486775}, year = {2021}, } Publisher's Version
	Schuts, Mathijs	DSM '21: "Industrial Experiences with ..." Industrial Experiences with the Evolution of a DSL Mathijs Schuts, Marco Alonso, and Jozef Hooman (Philips, Netherlands; Radboud University Nijmegen, Netherlands; TNO, Netherlands) @InProceedings{DSM21p21, author = {Mathijs Schuts and Marco Alonso and Jozef Hooman}, title = {Industrial Experiences with the Evolution of a DSL}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3486603.3486774}, year = {2021}, } Publisher's Version
	Seidl, Christoph	DSM '21: "Co-designing DSL Quality Assurance ..." Co-designing DSL Quality Assurance Measures for and with Non-programming Experts Holger Stadel Borum, Christoph Seidl, and Peter Sestoft (IT University of Copenhagen, Denmark) @InProceedings{DSM21p31, author = {Holger Stadel Borum and Christoph Seidl and Peter Sestoft}, title = {Co-designing DSL Quality Assurance Measures for and with Non-programming Experts}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3486603.3486776}, year = {2021}, } Publisher's Version
	Sestoft, Peter	DSM '21: "Co-designing DSL Quality Assurance ..." Co-designing DSL Quality Assurance Measures for and with Non-programming Experts Holger Stadel Borum, Christoph Seidl, and Peter Sestoft (IT University of Copenhagen, Denmark) @InProceedings{DSM21p31, author = {Holger Stadel Borum and Christoph Seidl and Peter Sestoft}, title = {Co-designing DSL Quality Assurance Measures for and with Non-programming Experts}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3486603.3486776}, year = {2021}, } Publisher's Version
	Sztipanovits, Janos	DSM '21: "Differential-FORMULA: Towards ..." Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling Qishen Zhang, Daniel Balasubramanian, Tamas Kecskes, and Janos Sztipanovits (Vanderbilt University, USA) @InProceedings{DSM21p51, author = {Qishen Zhang and Daniel Balasubramanian and Tamas Kecskes and Janos Sztipanovits}, title = {Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3486603.3486779}, year = {2021}, } Publisher's Version
	Wang, Guoxin	DSM '21: "Integration of Modeling and ..." Integration of Modeling and Verification for System Model Based on KARMA Language Jie Ding, Michel Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, and Dimitris Kiritsis (Beijing Institute of Technology, China; Eindhoven University of Technology, Netherlands; EPFL, Switzerland; KTH, Sweden) @InProceedings{DSM21p41, author = {Jie Ding and Michel Reniers and Jinzhi Lu and Guoxin Wang and Lei Feng and Dimitris Kiritsis}, title = {Integration of Modeling and Verification for System Model Based on KARMA Language}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3486603.3486775}, year = {2021}, } Publisher's Version
	Zhang, Qishen	DSM '21: "Differential-FORMULA: Towards ..." Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling Qishen Zhang, Daniel Balasubramanian, Tamas Kecskes, and Janos Sztipanovits (Vanderbilt University, USA) @InProceedings{DSM21p51, author = {Qishen Zhang and Daniel Balasubramanian and Tamas Kecskes and Janos Sztipanovits}, title = {Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling}, booktitle = {Proc.\ DSM}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3486603.3486779}, year = {2021}, } Publisher's Version

22 authors

proc time: 0.02