Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings von Feng, Lu, Fisman, Dana

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice... von Fisman, Dana, Rosu, Grigore

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice... von Fisman, Dana, Rosu, Grigore

Volltext

Inferring Symbolic Automata von Fisman, Dana, Frenkel, Hadar, Zilles, Sandra

Volltext

Learning of Structurally Unambiguous Probabilistic Grammars von Fisman, Dana, Nitay, Dolav, Ziv-Ukelson, Michal

Volltext

Regular omega-Languages with an Informative Right Congruence von Angluin, Dana, Fisman, Dana

Volltext

Learning regular omega languages von Angluin, Dana, Fisman, Dana

Volltext

Families of DFAs as Acceptors of $\omega$-Regular Languages von Dana Angluin, Udi Boker, Dana Fisman

Volltext

Query learning of derived $\omega$-tree languages in polynomial time von Dana Angluin, Timos Antonopoulos, Dana Fisman

Volltext

SyGuS-Comp 2017: Results and Analysis von Alur, Rajeev, Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando

Volltext

Learning Languages of Infinite Words: Invited Presentation at the 13th International Symposium on Games, Automata, Logics and Formal Verification von Fisman, Dana

Volltext

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages von Angluin, Dana, Fisman, Dana

Volltext

Regular ω-languages with an informative right congruence von Angluin, Dana, Fisman, Dana

Volltext

Introduction to the Special Issue on Runtime Verification von Feng, Lu, Fisman, Dana

Volltext

SyGuS-Comp 2016: Results and Analysis von Alur, Rajeev, Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice...

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice...

Volltext

Inferring regular languages and ω -languages von Fisman, Dana

Volltext

Results and Analysis of SyGuS-Comp'15 von Alur, Rajeev, Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando

Volltext

Colored nested words von Alur, Rajeev, Fisman, Dana

Volltext