Alexandra Martins da Silva
AuthID: R-000-NF7
41
TITLE: Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks
AUTHORS: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
AUTHORS: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP42
TITLE: Guarded Kleene Algebra with Tests: Automata Learning
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.14153
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2204.14153
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP43
TITLE: Processes Parametrised by an Algebraic Theory
AUTHORS: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLISHED: 2022, SOURCE: 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France., VOLUME: 229
AUTHORS: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLISHED: 2022, SOURCE: 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France., VOLUME: 229
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP44
TITLE: A Categorical Framework for Learning Generalised Tree Automata
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, VOLUME: 13225
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2022, SOURCE: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, VOLUME: 13225
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP45
TITLE: Tree-Based Adaptive Model Learning
AUTHORS: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLISHED: 2022, SOURCE: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, VOLUME: 13560
AUTHORS: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLISHED: 2022, SOURCE: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, VOLUME: 13560
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP46
TITLE: 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria
AUTHORS: Stefan Szeider; Robert Ganian; Alexandra Silva;
PUBLISHED: 2022, SOURCE: MFCS, VOLUME: 241
AUTHORS: Stefan Szeider; Robert Ganian; Alexandra Silva;
PUBLISHED: 2022, SOURCE: MFCS, VOLUME: 241
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP47
TITLE: Long-Term Mentoring for Computer Science Researchers
AUTHORS: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2208.04738
AUTHORS: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2208.04738
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP48
TITLE: Tree-Based Adaptive Model Learning
AUTHORS: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.00122
AUTHORS: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.00122
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP49
TITLE: Actor-based model checking for Software-Defined Networks PDF
AUTHORS: Elvira Albert; Miguel Gómez Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 118
AUTHORS: Elvira Albert; Miguel Gómez Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 118
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP50
TITLE: Conditional transition systems with upgrades PDF
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Sci. Comput. Program., VOLUME: 186
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Sci. Comput. Program., VOLUME: 186
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP