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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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