Daniel Stan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | Automata Learning with an Incomplete but Inductive Teacher. | Daniel Stan, Adrien Pommellet, Juliette Jacquot |
| 2025 | CAV | sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. | Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Daniel Stan |
| 2024 | CSL | Concurrent Stochastic Lossy Channel Games. | Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla |
| 2024 | IJCAR | SAT-Based Learning of Computation Tree Logic. | Adrien Pommellet, Daniel Stan, Simon Scatton |
| 2021 | CAV | Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). | Oliver Markgraf, Daniel Stan, Anthony W. Lin |
| 2019 | VMCAI | Syntactic Partial Order Compression for Probabilistic Reachability. | Gereon Fox, Daniel Stan, Holger Hermanns |
| 2016 | ICALP | Reachability in Networks of Register Protocols under Stochastic Schedulers. | Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan |