Login / Signup
TiCSA@ETAPS
2023
2023
2023
Keyphrases
Publications
2023
Étienne André
,
Engel Lefaucheux
,
Didier Lime
,
Dylan Marinho
,
Jun Sun
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.
TiCSA@ETAPS
(2023)
José Proença
,
David Pereira
,
Giann Spilere Nandi
,
Sina Borrami
,
Jonas Melchert
Spreadsheet-based Configuration of Families of Real-Time Specifications.
TiCSA@ETAPS
(2023)
Giuseppe De Palma
,
Saverio Giallorenzo
,
Cosimo Laneve
,
Jacopo Mauro
,
Matteo Trentin
,
Gianluigi Zavattaro
Serverless Scheduling Policies based on Cost Analysis.
TiCSA@ETAPS
(2023)
Pascal Krapf
,
Sébastien Berthier
,
Nicole Lévy
Product Line Management with Graphical MBSE Views.
TiCSA@ETAPS
(2023)
volume 392, 2023
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023.
TiCSA@ETAPS
392 (2023)