| |
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
Article: splashws21dsmmain-p2-p doi:10.1145/3486603.3486774
|
| |
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
Article: splashws21dsmmain-p9-p doi:10.1145/3486603.3486779
|
| |
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
Article: splashws21dsmmain-p7-p doi:10.1145/3486603.3486777
|
| |
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
Article: splashws21dsmmain-p4-p doi:10.1145/3486603.3486776
|
| |
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
Article: splashws21dsmmain-p8-p doi:10.1145/3486603.3486778
|
| |
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
Article: splashws21dsmmain-p8-p doi:10.1145/3486603.3486778
|
| |
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
Article: splashws21dsmmain-p3-p doi:10.1145/3486603.3486775
|
| |
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
Article: splashws21dsmmain-p3-p doi:10.1145/3486603.3486775
|
| |
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
Article: splashws21dsmmain-p2-p doi:10.1145/3486603.3486774
|
| |
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
Article: splashws21dsmmain-p8-p doi:10.1145/3486603.3486778
|
| |
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
Article: splashws21dsmmain-p9-p doi:10.1145/3486603.3486779
|
| |
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
Article: splashws21dsmmain-p3-p doi:10.1145/3486603.3486775
|
| |
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
Article: splashws21dsmmain-p3-p doi:10.1145/3486603.3486775
|
| |
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
Article: splashws21dsmmain-p8-p doi:10.1145/3486603.3486778
|
| |
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
Article: splashws21dsmmain-p7-p doi:10.1145/3486603.3486777
|
| |
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
Article: splashws21dsmmain-p3-p doi:10.1145/3486603.3486775
|
| |
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
Article: splashws21dsmmain-p2-p doi:10.1145/3486603.3486774
|
| |
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
Article: splashws21dsmmain-p4-p doi:10.1145/3486603.3486776
|
| |
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
Article: splashws21dsmmain-p4-p doi:10.1145/3486603.3486776
|
| |
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
Article: splashws21dsmmain-p9-p doi:10.1145/3486603.3486779
|
| |
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
Article: splashws21dsmmain-p3-p doi:10.1145/3486603.3486775
|
| |
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
Article: splashws21dsmmain-p9-p doi:10.1145/3486603.3486779
|