José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Spreadsheet-based Configuration of Families of Real-Time Specifications
José Proença
,
Sina Borrami
,
Jorge Sanchez de Nova
,
David Pereira
,
Giann Spilere Nandi
January 2023
PDF
Cite
Project
Project
Project
TiCSA@ETAPS'23
Slides
Uppex tool
Type
Conference paper
Publication
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA, 2023, Paris, France, co-located with ETAPS 2023
Ibex
VALU3S
Route25
Related
Branching pomsets: design, expressiveness and applications to choreographies
Caos: A Reusable Scala Web Animator of Operational Semantics
Can we Communicate? Using Dynamic Logic to Verify Team Automata
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
Branching pomsets for choreographies
Cite
×