TiCSA@ETAPS

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)