| |
Akesson, Benny
|
GPCE '20: "PReGO: A Generative Methodology ..."
PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, and Clemens Grelck
(University of Amsterdam, Netherlands; University of Southern Denmark, Denmark; TNO, Netherlands; Sky-Watch, Denmark)
@InProceedings{GPCE20p79,
author = {Benjamin Rouxel and Ulrik Pagh Schultz and Benny Akesson and Jesper Holst and Ole Jørgensen and Clemens Grelck},
title = {PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3425898.3426954},
year = {2020},
}
 Publisher's Version
 Video
Article: gpce20main-p9-p doi:10.1145/3425898.3426954
|
| |
Balldin, Hampus
|
GPCE '20: "A Domain-Specific Language ..."
A Domain-Specific Language for Filtering in Application-Level Gateways
Hampus Balldin and Christoph Reichenbach
(Advenica, Sweden; Lund University, Sweden)
@InProceedings{GPCE20p124,
author = {Hampus Balldin and Christoph Reichenbach},
title = {A Domain-Specific Language for Filtering in Application-Level Gateways},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {124-123},
doi = {10.1145/3425898.3426955},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p10-p doi:10.1145/3425898.3426955
|
| |
Barash, Mikhail |
GPCE '20: "Manipulating GUI Structures ..."
Manipulating GUI Structures Declaratively
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)
@InProceedings{GPCE20p70,
author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi},
title = {Manipulating GUI Structures Declaratively},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3425898.3426956},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p11-p doi:10.1145/3425898.3426956
|
| |
Bordis, Tabea |
GPCE '20: "Correctness-by-Construction ..."
Correctness-by-Construction for Feature-Oriented Software Product Lines
Tabea Bordis, Tobias Runge, and Ina Schaefer
(TU Braunschweig, Germany)
@InProceedings{GPCE20p25,
author = {Tabea Bordis and Tobias Runge and Ina Schaefer},
title = {Correctness-by-Construction for Feature-Oriented Software Product Lines},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3425898.3426959},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p17-p doi:10.1145/3425898.3426959
|
| |
Collie, Bruce
|
GPCE '20: "Modeling Black-Box Components ..."
Modeling Black-Box Components with Probabilistic Synthesis
Bruce Collie, Jackson Woodruff, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{GPCE20p1,
author = {Bruce Collie and Jackson Woodruff and Michael F. P. O'Boyle},
title = {Modeling Black-Box Components with Probabilistic Synthesis},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3425898.3426952},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p2-p doi:10.1145/3425898.3426952
|
| |
De Lara, Juan
|
GPCE '20: "Automated Variability Injection ..."
Automated Variability Injection for Graphical Modelling Languages
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, and Juan de Lara
(JKU Linz, Austria; Autonomous University of Madrid, Spain)
@InProceedings{GPCE20p16,
author = {Antonio Garmendia and Manuel Wimmer and Esther Guerra and Elena Gómez-Martínez and Juan de Lara},
title = {Automated Variability Injection for Graphical Modelling Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3425898.3426957},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p13-p doi:10.1145/3425898.3426957
|
| |
Garmendia, Antonio
|
GPCE '20: "Automated Variability Injection ..."
Automated Variability Injection for Graphical Modelling Languages
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, and Juan de Lara
(JKU Linz, Austria; Autonomous University of Madrid, Spain)
@InProceedings{GPCE20p16,
author = {Antonio Garmendia and Manuel Wimmer and Esther Guerra and Elena Gómez-Martínez and Juan de Lara},
title = {Automated Variability Injection for Graphical Modelling Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3425898.3426957},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p13-p doi:10.1145/3425898.3426957
|
| |
Gómez-Martínez, Elena |
GPCE '20: "Automated Variability Injection ..."
Automated Variability Injection for Graphical Modelling Languages
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, and Juan de Lara
(JKU Linz, Austria; Autonomous University of Madrid, Spain)
@InProceedings{GPCE20p16,
author = {Antonio Garmendia and Manuel Wimmer and Esther Guerra and Elena Gómez-Martínez and Juan de Lara},
title = {Automated Variability Injection for Graphical Modelling Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3425898.3426957},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p13-p doi:10.1145/3425898.3426957
|
| |
Grelck, Clemens |
GPCE '20: "PReGO: A Generative Methodology ..."
PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, and Clemens Grelck
(University of Amsterdam, Netherlands; University of Southern Denmark, Denmark; TNO, Netherlands; Sky-Watch, Denmark)
@InProceedings{GPCE20p79,
author = {Benjamin Rouxel and Ulrik Pagh Schultz and Benny Akesson and Jesper Holst and Ole Jørgensen and Clemens Grelck},
title = {PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3425898.3426954},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p9-p doi:10.1145/3425898.3426954
|
| |
Guerra, Esther |
GPCE '20: "Automated Variability Injection ..."
Automated Variability Injection for Graphical Modelling Languages
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, and Juan de Lara
(JKU Linz, Austria; Autonomous University of Madrid, Spain)
@InProceedings{GPCE20p16,
author = {Antonio Garmendia and Manuel Wimmer and Esther Guerra and Elena Gómez-Martínez and Juan de Lara},
title = {Automated Variability Injection for Graphical Modelling Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3425898.3426957},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p13-p doi:10.1145/3425898.3426957
|
| |
Holst, Jesper
|
GPCE '20: "PReGO: A Generative Methodology ..."
PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, and Clemens Grelck
(University of Amsterdam, Netherlands; University of Southern Denmark, Denmark; TNO, Netherlands; Sky-Watch, Denmark)
@InProceedings{GPCE20p79,
author = {Benjamin Rouxel and Ulrik Pagh Schultz and Benny Akesson and Jesper Holst and Ole Jørgensen and Clemens Grelck},
title = {PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3425898.3426954},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p9-p doi:10.1145/3425898.3426954
|
| |
Järvi, Jaakko
|
GPCE '20: "Manipulating GUI Structures ..."
Manipulating GUI Structures Declaratively
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)
@InProceedings{GPCE20p70,
author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi},
title = {Manipulating GUI Structures Declaratively},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3425898.3426956},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p11-p doi:10.1145/3425898.3426956
|
| |
Jørgensen, Ole |
GPCE '20: "PReGO: A Generative Methodology ..."
PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, and Clemens Grelck
(University of Amsterdam, Netherlands; University of Southern Denmark, Denmark; TNO, Netherlands; Sky-Watch, Denmark)
@InProceedings{GPCE20p79,
author = {Benjamin Rouxel and Ulrik Pagh Schultz and Benny Akesson and Jesper Holst and Ole Jørgensen and Clemens Grelck},
title = {PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3425898.3426954},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p9-p doi:10.1145/3425898.3426954
|
| |
Kameyama, Yukiyoshi
|
GPCE '20: "Reorganizing Queries with ..."
Reorganizing Queries with Grouping
Rui Okura and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{GPCE20p55,
author = {Rui Okura and Yukiyoshi Kameyama},
title = {Reorganizing Queries with Grouping},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3425898.3426960},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p30-p doi:10.1145/3425898.3426960
|
| |
Laddad, Shadaj
|
GPCE '20: "Fluid Quotes: Metaprogramming ..."
Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types
Shadaj Laddad and Koushik Sen
(University of California at Berkeley, USA)
@InProceedings{GPCE20p109,
author = {Shadaj Laddad and Koushik Sen},
title = {Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3425898.3426953},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p7-p doi:10.1145/3425898.3426953
|
| |
Liu, Lu-Chi |
GPCE '20: "eFLINT: A Domain-Specific ..."
eFLINT: A Domain-Specific Language for Executable Norm Specifications
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers
(CWI, Netherlands; University of Amsterdam, Netherlands; Leibniz Institute, Netherlands; TNO, Netherlands)
@InProceedings{GPCE20p139,
author = {L. Thomas van Binsbergen and Lu-Chi Liu and Robert van Doesburg and Tom van Engers},
title = {eFLINT: A Domain-Specific Language for Executable Norm Specifications},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {139-138},
doi = {10.1145/3425898.3426958},
year = {2020},
}
Publisher's Version
 Published Artifact
Video
Artifacts Available
Article: gpce20main-p14-p doi:10.1145/3425898.3426958
|
| |
Liu, Yin |
GPCE '20: "VarSem: Declarative Expression ..."
VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics
Yin Liu and Eli Tilevich
(Virginia Tech, USA)
@InProceedings{GPCE20p94,
author = {Yin Liu and Eli Tilevich},
title = {VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {94-93},
doi = {10.1145/3425898.3426962},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p36-p doi:10.1145/3425898.3426962
|
| |
O'Boyle, Michael F. P.
|
GPCE '20: "Modeling Black-Box Components ..."
Modeling Black-Box Components with Probabilistic Synthesis
Bruce Collie, Jackson Woodruff, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{GPCE20p1,
author = {Bruce Collie and Jackson Woodruff and Michael F. P. O'Boyle},
title = {Modeling Black-Box Components with Probabilistic Synthesis},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3425898.3426952},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p2-p doi:10.1145/3425898.3426952
|
| |
Okura, Rui |
GPCE '20: "Reorganizing Queries with ..."
Reorganizing Queries with Grouping
Rui Okura and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{GPCE20p55,
author = {Rui Okura and Yukiyoshi Kameyama},
title = {Reorganizing Queries with Grouping},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3425898.3426960},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p30-p doi:10.1145/3425898.3426960
|
| |
Parreaux, Lionel
|
GPCE '20: "Multi-stage Programming in ..."
Multi-stage Programming in the Large with Staged Classes
Lionel Parreaux and Amir Shaikhha
(EPFL, Switzerland; University of Edinburgh, UK)
@InProceedings{GPCE20p40,
author = {Lionel Parreaux and Amir Shaikhha},
title = {Multi-stage Programming in the Large with Staged Classes},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3425898.3426961},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p32-p doi:10.1145/3425898.3426961
|
| |
Reichenbach, Christoph
|
GPCE '20: "A Domain-Specific Language ..."
A Domain-Specific Language for Filtering in Application-Level Gateways
Hampus Balldin and Christoph Reichenbach
(Advenica, Sweden; Lund University, Sweden)
@InProceedings{GPCE20p124,
author = {Hampus Balldin and Christoph Reichenbach},
title = {A Domain-Specific Language for Filtering in Application-Level Gateways},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {124-123},
doi = {10.1145/3425898.3426955},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p10-p doi:10.1145/3425898.3426955
|
| |
Rouxel, Benjamin |
GPCE '20: "PReGO: A Generative Methodology ..."
PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, and Clemens Grelck
(University of Amsterdam, Netherlands; University of Southern Denmark, Denmark; TNO, Netherlands; Sky-Watch, Denmark)
@InProceedings{GPCE20p79,
author = {Benjamin Rouxel and Ulrik Pagh Schultz and Benny Akesson and Jesper Holst and Ole Jørgensen and Clemens Grelck},
title = {PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3425898.3426954},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p9-p doi:10.1145/3425898.3426954
|
| |
Runge, Tobias |
GPCE '20: "Correctness-by-Construction ..."
Correctness-by-Construction for Feature-Oriented Software Product Lines
Tabea Bordis, Tobias Runge, and Ina Schaefer
(TU Braunschweig, Germany)
@InProceedings{GPCE20p25,
author = {Tabea Bordis and Tobias Runge and Ina Schaefer},
title = {Correctness-by-Construction for Feature-Oriented Software Product Lines},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3425898.3426959},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p17-p doi:10.1145/3425898.3426959
|
| |
Schaefer, Ina
|
GPCE '20: "Correctness-by-Construction ..."
Correctness-by-Construction for Feature-Oriented Software Product Lines
Tabea Bordis, Tobias Runge, and Ina Schaefer
(TU Braunschweig, Germany)
@InProceedings{GPCE20p25,
author = {Tabea Bordis and Tobias Runge and Ina Schaefer},
title = {Correctness-by-Construction for Feature-Oriented Software Product Lines},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3425898.3426959},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p17-p doi:10.1145/3425898.3426959
|
| |
Schultz, Ulrik Pagh |
GPCE '20: "PReGO: A Generative Methodology ..."
PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, and Clemens Grelck
(University of Amsterdam, Netherlands; University of Southern Denmark, Denmark; TNO, Netherlands; Sky-Watch, Denmark)
@InProceedings{GPCE20p79,
author = {Benjamin Rouxel and Ulrik Pagh Schultz and Benny Akesson and Jesper Holst and Ole Jørgensen and Clemens Grelck},
title = {PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3425898.3426954},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p9-p doi:10.1145/3425898.3426954
|
| |
Sen, Koushik |
GPCE '20: "Fluid Quotes: Metaprogramming ..."
Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types
Shadaj Laddad and Koushik Sen
(University of California at Berkeley, USA)
@InProceedings{GPCE20p109,
author = {Shadaj Laddad and Koushik Sen},
title = {Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3425898.3426953},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p7-p doi:10.1145/3425898.3426953
|
| |
Shaikhha, Amir |
GPCE '20: "Multi-stage Programming in ..."
Multi-stage Programming in the Large with Staged Classes
Lionel Parreaux and Amir Shaikhha
(EPFL, Switzerland; University of Edinburgh, UK)
@InProceedings{GPCE20p40,
author = {Lionel Parreaux and Amir Shaikhha},
title = {Multi-stage Programming in the Large with Staged Classes},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3425898.3426961},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p32-p doi:10.1145/3425898.3426961
|
| |
Stokke, Knut Anders |
GPCE '20: "Manipulating GUI Structures ..."
Manipulating GUI Structures Declaratively
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)
@InProceedings{GPCE20p70,
author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi},
title = {Manipulating GUI Structures Declaratively},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3425898.3426956},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p11-p doi:10.1145/3425898.3426956
|
| |
Tilevich, Eli
|
GPCE '20: "VarSem: Declarative Expression ..."
VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics
Yin Liu and Eli Tilevich
(Virginia Tech, USA)
@InProceedings{GPCE20p94,
author = {Yin Liu and Eli Tilevich},
title = {VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {94-93},
doi = {10.1145/3425898.3426962},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p36-p doi:10.1145/3425898.3426962
|
| |
Van Binsbergen, L. Thomas
|
GPCE '20: "eFLINT: A Domain-Specific ..."
eFLINT: A Domain-Specific Language for Executable Norm Specifications
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers
(CWI, Netherlands; University of Amsterdam, Netherlands; Leibniz Institute, Netherlands; TNO, Netherlands)
@InProceedings{GPCE20p139,
author = {L. Thomas van Binsbergen and Lu-Chi Liu and Robert van Doesburg and Tom van Engers},
title = {eFLINT: A Domain-Specific Language for Executable Norm Specifications},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {139-138},
doi = {10.1145/3425898.3426958},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Article: gpce20main-p14-p doi:10.1145/3425898.3426958
|
| |
Van Doesburg, Robert |
GPCE '20: "eFLINT: A Domain-Specific ..."
eFLINT: A Domain-Specific Language for Executable Norm Specifications
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers
(CWI, Netherlands; University of Amsterdam, Netherlands; Leibniz Institute, Netherlands; TNO, Netherlands)
@InProceedings{GPCE20p139,
author = {L. Thomas van Binsbergen and Lu-Chi Liu and Robert van Doesburg and Tom van Engers},
title = {eFLINT: A Domain-Specific Language for Executable Norm Specifications},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {139-138},
doi = {10.1145/3425898.3426958},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Article: gpce20main-p14-p doi:10.1145/3425898.3426958
|
| |
Van Engers, Tom |
GPCE '20: "eFLINT: A Domain-Specific ..."
eFLINT: A Domain-Specific Language for Executable Norm Specifications
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers
(CWI, Netherlands; University of Amsterdam, Netherlands; Leibniz Institute, Netherlands; TNO, Netherlands)
@InProceedings{GPCE20p139,
author = {L. Thomas van Binsbergen and Lu-Chi Liu and Robert van Doesburg and Tom van Engers},
title = {eFLINT: A Domain-Specific Language for Executable Norm Specifications},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {139-138},
doi = {10.1145/3425898.3426958},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Article: gpce20main-p14-p doi:10.1145/3425898.3426958
|
| |
Wimmer, Manuel
|
GPCE '20: "Automated Variability Injection ..."
Automated Variability Injection for Graphical Modelling Languages
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, and Juan de Lara
(JKU Linz, Austria; Autonomous University of Madrid, Spain)
@InProceedings{GPCE20p16,
author = {Antonio Garmendia and Manuel Wimmer and Esther Guerra and Elena Gómez-Martínez and Juan de Lara},
title = {Automated Variability Injection for Graphical Modelling Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3425898.3426957},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p13-p doi:10.1145/3425898.3426957
|
| |
Woodruff, Jackson |
GPCE '20: "Modeling Black-Box Components ..."
Modeling Black-Box Components with Probabilistic Synthesis
Bruce Collie, Jackson Woodruff, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{GPCE20p1,
author = {Bruce Collie and Jackson Woodruff and Michael F. P. O'Boyle},
title = {Modeling Black-Box Components with Probabilistic Synthesis},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3425898.3426952},
year = {2020},
}
Publisher's Version
Video
Article: gpce20main-p2-p doi:10.1145/3425898.3426952
|