Laura Brandán Briones

15 papers A 1B 1C 5Journal 3Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata. ICTSS Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga
2025	J	`jnl`	Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata. CoRR Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga
2018	C	`conf`	How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
2017	—	`conf`	Diagnosis and Testing: How is Their Relation? Can They Be Combined? ModelEd, TestEd, TrustEd Laura Brandán Briones, Agnes Madalinski
2016	A	`conf`	Fault Manifestability Verification for Discrete Event Systems. ECAI Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
2015	J	`jnl`	Distributed Analysis for Diagnosability in Concurrent Systems. CoRR Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones
2015	J	`jnl`	Distributed Diagnosability Analysis with Petri Nets. CoRR Laura Brandán Briones, Agnes Madalinski, Hernán Ponce de León
2013	C	`conf`	Diagnosability Behaviour over faulty concurrent systems. CLEI Gonzalo Bonigo, Laura Brandán Briones
2013	—	`conf`	Distributed Bounded Predictability. SCCC Laura Brandán Briones, Agnes Madalinski
2008	C	`conf`	Optimizing the System Observability Level for Diagnosability. ISoLA Laura Brandán Briones, Alexander Lazovik, Philippe Dague
2007	—	`—`	Theories for Model-based Testing: Real-time and Coverage. Laura Brandán Briones
2006	B	`conf`	A Semantic Framework for Test Coverage. ATVA Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
2005	C	`conf`	Testing Real-Time Multi Input-Output Systems. ICFEM Laura Brandán Briones, Ed Brinksma
2004	—	`conf`	A Test Generation Framework for FATES Laura Brandán Briones, Ed Brinksma
2004	—	`conf`	Test Derivation from Timed Automata. Model-Based Testing of Reactive Systems Laura Brandán Briones, Mathias Röhl