Folgen
Benedikt Bollig
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Bestätigte E-Mail-Adresse bei lsv.ens-cachan.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Angluin-Style Learning of NFA.
B Bollig, P Habermehl, C Kern, M Leucker
IJCAI 9, 1004-1009, 2009
1632009
libalf: The automata learning framework
B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1262010
Controller synthesis for probabilistic systems
C Baier, M Größer, M Leucker, B Bollig, F Ciesinski
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
1222004
Emptiness of ordered multi-pushdown automata is 2ETIME-complete
MF Atig, B Bollig, P Habermehl
International Journal of Foundations of Computer Science 28 (08), 945-975, 2017
87*2017
Learning communicating automata from MSCs
B Bollig, JP Katoen, C Kern, M Leucker
IEEE Transactions on Software Engineering 36 (3), 390-408, 2010
75*2010
A robust class of data languages and an application to learning
B Bollig, P Habermehl, M Leucker, B Monmege
Logical Methods in Computer Science 10, 2014
66*2014
Message-passing automata are expressively equivalent to EMSO logic
B Bollig, M Leucker
Theoretical Computer Science 358 (2-3), 150-172, 2006
612006
Local parallel model checking for the alternation-free μ-calculus
B Bollig, M Leucker, M Weber
Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002
612002
Parallel model checking for the alternation free μ-calculus
B Bollig, M Leucker, M Weber
Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001
572001
Distributed timed automata with independently evolving clocks
S Akshay, B Bollig, P Gastin, M Mukund, KN Kumar
Fundamenta Informaticae 130 (4), 377-407, 2014
51*2014
Weighted versus probabilistic logics
B Bollig, P Gastin
International Conference on Developments in Language Theory, 18-38, 2009
492009
Pebble weighted automata and weighted logics
B Bollig, P Gastin, B Monmege, M Zeitoun
ACM Transactions on Computational Logic (TOCL) 15 (2), 1-35, 2014
46*2014
Propositional dynamic logic for message-passing systems
B Bollig, D Kuske, I Meinecke
Logical Methods in Computer Science 6, 2010
392010
Model checking languages of data words
B Bollig, A Cyriac, P Gastin, K Narayan Kumar
International Conference on Foundations of Software Science and …, 2012
332012
An optimal construction of Hanf sentences
B Bollig, D Kuske
Journal of Applied Logic 10 (2), 179-186, 2012
302012
An automaton over data words that captures EMSO logic
B Bollig
International Conference on Concurrency Theory, 171-186, 2011
292011
Analysis of recurrent neural networks via property-directed verification of surrogate models
I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ...
International Journal on Software Tools for Technology Transfer 25 (3), 341-354, 2023
28*2023
Frequency linear-time temporal logic
B Bollig, N Decker, M Leucker
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
282012
An automata-theoretic approach to the verification of distributed algorithms
C Aiswarya, B Bollig, P Gastin
Information and Computation 259, 305-327, 2018
252018
Realizability of dynamic MSC languages
B Bollig, L Hélouët
International Computer Science Symposium in Russia, 48-59, 2010
252010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20