Edit Profile (opens in new tab) Finkbeiner, Bernd Co-Author Distance Author ID: finkbeiner.bernd Published as: Finkbeiner, Bernd; Finkbeiner, B. Documents Indexed: 83 Publications since 1969 6 Contributions as Editor Co-Authors: 73 Co-Authors with 85 Joint Publications 1,597 Co-Co-Authors all top 5 Co-Authors 4 single-authored 9 Hahn, Christopher 8 Schewe, Sven 7 Dimitrova, Rayna 7 Tentrup, Leander 7 Torfah, Hazem 5 Coenen, Norine 5 Olderog, Ernst-Rüdiger 4 Beutner, Raven 4 Dräger, Klaus 4 Hecking-Harbusch, Jesko 4 Metzger, Niklas O. 4 Passing, Noemi 3 Gieseking, Manuel 3 Hofmann, Jana 3 Klein, Felix 3 Kuhtz, Lars 3 Rabe, Markus N. 3 Sánchez, César 3 Seidl, Helmut 3 Siber, Julian 3 Stenger, Marvin 2 Blass, Andreas Raphael 2 Bonakdarpour, Borzoo 2 Brückner, Ingo 2 Dershowitz, Nachum 2 Ehlers, Rüdiger 2 Faymonville, Peter 2 Frenkel, Hadar 2 Kall, Peter 2 Lukert, Philip 2 Peter, Hans-Jörg 2 Pu, Geguang 2 Runggaldier, Wolfgang J. 2 Sipma, Henny B. 2 Wehrheim, Heike 2 Zhang, Lijun 1 Baier, Christel 1 Barthe, Gilles 1 Baumeister, Jan 1 Baumeister, Tom 1 Beklemishev, Lev D. 1 Biewer, Sebastian 1 Brill, Matthias 1 Cegielski, Patrick 1 Dachselt, Raimund 1 D’Argenio, Pedro Rubén 1 Droste, Manfred 1 Funke, Florian 1 Gerstacker, Carsten 1 Gölz, Paul 1 Heim, Philippe 1 Hermanns, Holger 1 Herold, Heinz 1 Horak, Tom 1 Jacobs, Swen 1 Jantsch, Simon 1 Kontinen, Juha 1 Kovács, Máté 1 Kupriyanov, Andrey 1 Mallik, Kaushik 1 Moses, Yoram 1 Peled, Doron A. 1 Podelski, Andreas 1 Ruder, Hanns 1 Sankaranarayanan, Sriram 1 Schillo, Yannick 1 Schledjewski, Malte 1 Schmuck, Anne-Kathrin 1 Schulte, Wolfram 1 Virtema, Jonni 1 Wies, Thomas 1 Yang, Fan 1 Zimmermann, Martín G. all top 5 Serials 4 Lecture Notes in Computer Science 3 Acta Informatica 3 Formal Methods in System Design 3 Logical Methods in Computer Science 1 Astronomy and Astrophysics 1 Information and Computation 1 International Journal of Foundations of Computer Science 1 Zeitschrift für Operations Research. Serie A: Theorie 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae all top 5 Fields 83 Computer science (68-XX) 38 Mathematical logic and foundations (03-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 General and overarching topics; collections (00-XX) 5 Operations research, mathematical programming (90-XX) 2 Numerical analysis (65-XX) 2 Systems theory; control (93-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 73 Publications have been cited 413 times in 215 Documents Cited by ▼ Year ▼ Bounded synthesis. Zbl 1141.68491 Schewe, Sven; Finkbeiner, Bernd 44 2007 Algorithms for model checking HyperLTL and HyperCTL\(^*\). Zbl 1381.68161 Finkbeiner, Bernd; Rabe, Markus N.; Sánchez, César 27 2015 Semi-automatic distributed synthesis. Zbl 1170.68539 Finkbeiner, Bernd; Schewe, Sven 24 2005 Monitoring hyperproperties. Zbl 1425.68254 Finkbeiner, Bernd; Hahn, Christopher; Stenger, Marvin; Tentrup, Leander 19 2019 Encodings of bounded synthesis. Zbl 1452.68118 Faymonville, Peter; Finkbeiner, Bernd; Rabe, Markus N.; Tentrup, Leander 18 2017 Synthesis of asynchronous systems. Zbl 1196.68142 Schewe, Sven; Finkbeiner, Bernd 15 2007 Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124 Schewe, Sven; Finkbeiner, Bernd 14 2006 Deciding hyperproperties. Zbl 1392.68248 Finkbeiner, Bernd; Hahn, Christopher 13 2016 The first-order logic of hyperproperties. Zbl 1402.03036 Finkbeiner, Bernd; Zimmermann, Martin 12 2017 Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211 Finkbeiner, Bernd; Olderog, Ernst-Rüdiger 12 2017 Directed model checking with distance-preserving abstractions. Zbl 1178.68338 Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas 11 2006 Bounded synthesis for Petri games. Zbl 1443.68110 Finkbeiner, Bernd 11 2015 Checking finite traces using alternating automata. Zbl 1073.68053 Finkbeiner, Bernd; Sipma, Henny 10 2004 Fast DQBF refutation. Zbl 1423.68447 Finkbeiner, Bernd; Tentrup, Leander 10 2014 Coordination logic. Zbl 1287.03070 Finkbeiner, Bernd; Schewe, Sven 9 2010 Program repair for hyperproperties. Zbl 1437.68112 Bonakdarpour, Borzoo; Finkbeiner, Bernd 8 2019 Model checking information flow in reactive systems. Zbl 1326.68182 Dimitrova, Rayna; Finkbeiner, Bernd; Kovács, Máté; Rabe, Markus N.; Seidl, Helmut 7 2012 Probabilistic hyperproperties of Markov decision processes. Zbl 1517.68228 Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem 7 2020 Lazy synthesis. Zbl 1326.68183 Finkbeiner, Bernd; Jacobs, Swen 6 2012 Synthesis in distributed environments. Zbl 1491.68121 Finkbeiner, Bernd; Gölz, Paul 6 2018 A temporal logic for asynchronous hyperproperties. Zbl 1493.68205 Baumeister, Jan; Coenen, Norine; Bonakdarpour, Borzoo; Finkbeiner, Bernd; Sánchez, César 6 2021 Synthesizing reactive systems from hyperproperties. Zbl 1511.68153 Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander 6 2018 AdamMC: a model checker for Petri nets with transits against Flow-LTL. Zbl 1478.68156 Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger 6 2020 Slicing abstractions. Zbl 1141.68457 Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike 5 2007 LTL path checking is efficiently parallelizable. Zbl 1248.68252 Kuhtz, Lars; Finkbeiner, Bernd 5 2009 Synthesis from hyperproperties. Zbl 1435.68194 Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander 5 2020 Model checking quantitative hyperproperties. Zbl 1511.68154 Finkbeiner, Bernd; Hahn, Christopher; Torfah, Hazem 5 2018 Weak Kripke structures and LTL. Zbl 1343.68155 Kuhtz, Lars; Finkbeiner, Bernd 4 2011 Abstraction refinement for games with incomplete information. Zbl 1248.68327 Dimitrova, Rayna; Finkbeiner, Bernd 4 2008 Slicing abstractions. Zbl 1154.68079 Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike 4 2008 Collecting statistics over runtime executions. Zbl 1083.68068 Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B. 4 2005 Detecting unrealizability of distributed fault-tolerant systems. Zbl 1448.03018 Finkbeiner, Bernd; Tentrup, Leander 4 2015 Software verification of hyperproperties beyond \(k\)-safety. Zbl 1514.68122 Beutner, Raven; Finkbeiner, Bernd 4 2022 Efficient parallel path checking for linear-time temporal logic with past and bounds. Zbl 1253.68221 Kuhtz, Lars; Finkbeiner, Bernd 4 2012 Synthesis of fault-tolerant distributed systems. Zbl 1262.68116 Dimitrova, Rayna; Finkbeiner, Bernd 3 2009 Template-based controller synthesis for timed systems. Zbl 1352.68128 Finkbeiner, Bernd; Peter, Hans-Jörg 3 2012 A temporal logic for strategic hyperproperties. Zbl 07730626 Beutner, Raven; Finkbeiner, Bernd 3 2021 Causality-based verification of multi-threaded programs. Zbl 1390.68187 Kupriyanov, Andrey; Finkbeiner, Bernd 3 2013 Petri games: synthesis of distributed systems with causal memory. Zbl 1464.68241 Finkbeiner, Bernd; Olderog, Ernst-Rüdiger 3 2014 Translating asynchronous games for distributed synthesis. Zbl 07649934 Beutner, Raven; Finkbeiner, Bernd; Hecking-Harbusch, Jesko 3 2019 Causality-based game solving. Zbl 1493.68203 Baier, Christel; Coenen, Norine; Finkbeiner, Bernd; Funke, Florian; Jantsch, Simon; Siber, Julian 3 2021 Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115 Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias 2 2006 Is your software on dope? Formal analysis of surreptitiously “enhanced” programs. Zbl 1485.68059 D’Argenio, Pedro R.; Barthe, Gilles; Biewer, Sebastian; Finkbeiner, Bernd; Hermanns, Holger 2 2017 Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008 2 2015 Counterexample-guided synthesis of observation predicates. Zbl 1374.68083 Dimitrova, Rayna; Finkbeiner, Bernd 2 2012 Bounded cycle synthesis. Zbl 1411.68066 Finkbeiner, Bernd; Klein, Felix 2 2016 Runtime enforcement of hyperproperties. Zbl 1497.68291 Coenen, Norine; Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Schillo, Yannick 2 2021 Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010 2 2020 Model checking data flows in concurrent network updates. Zbl 1437.68115 Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger 2 2019 Explaining hyperproperty violations. Zbl 1514.68127 Coenen, Norine; Dachselt, Raimund; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Horak, Tom; Metzger, Niklas; Siber, Julian 2 2022 Dependency-based compositional synthesis. Zbl 1517.68234 Finkbeiner, Bernd; Passing, Noemi 2 2020 Realizing \(\omega\)-regular hyperproperties. Zbl 1478.68157 Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Tentrup, Leander 2 2020 Semi-automatic distributed synthesis. Zbl 1112.68095 Schewe, Sven; Finkbeiner, Bernd 1 2007 Distributed synthesis for alternating-time logics. Zbl 1141.68516 Schewe, Sven; Finkbeiner, Bernd 1 2007 Ein Wertiterationsalgorithmus für unendliche sequentielle Entscheidungsprozesse mit Diskontierung. Zbl 0213.45701 Finkbeiner, B.; Runggaldier, W. 1 1969 Direct algorithms in quadratic programming. Zbl 0253.90041 Finkbeiner, B.; Kall, P. 1 1973 Monitoring parametric temporal logic. Zbl 1428.68184 Faymonville, Peter; Finkbeiner, Bernd; Peled, Doron 1 2014 Subsequence invariants. Zbl 1160.68464 Dräger, Klaus; Finkbeiner, Bernd 1 2008 Symmetric synthesis. Zbl 1491.68109 Ehlers, Rüdiger; Finkbeiner, Bernd 1 2018 Compositional synthesis of modular systems. Zbl 1497.68300 Finkbeiner, Bernd; Passing, Noemi 1 2021 Bounded synthesis of reactive programs. Zbl 1517.68236 Gerstacker, Carsten; Klein, Felix; Finkbeiner, Bernd 1 2018 Approximate automata for omega-regular languages. Zbl 1437.68095 Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem 1 2019 How to win first-order safety games. Zbl 07228518 Seidl, Helmut; Müller, Christian; Finkbeiner, Bernd 1 2020 Information flow guided synthesis. Zbl 1514.68130 Finkbeiner, Bernd; Metzger, Niklas; Moses, Yoram 1 2022 Explainable reactive synthesis. Zbl 1517.68223 Baumeister, Tom; Finkbeiner, Bernd; Torfah, Hazem 1 2020 The density of linear-time properties. Zbl 1495.68133 Finkbeiner, Bernd; Torfah, Hazem 1 2017 Model checking algorithms for hyperproperties (invited paper). Zbl 1472.68088 Finkbeiner, Bernd 1 2021 Counting models of linear-time temporal logic. Zbl 1407.68288 Finkbeiner, Bernd; Torfah, Hazem 1 2014 Temporal causality in reactive systems. Zbl 1522.68304 Coenen, Norine; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Metzger, Niklas; Siber, Julian 1 2022 Reactive safety. Zbl 1457.68163 Ehlers, Rüdiger; Finkbeiner, Bernd 1 2011 Specifying and verifying secrecy in workflows with arbitrarily many agents. Zbl 1398.68341 Finkbeiner, Bernd; Seidl, Helmut; Müller, Christian 1 2016 Synthesizing skeletons for reactive systems. Zbl 1398.68342 Finkbeiner, Bernd; Torfah, Hazem 1 2016 Temporal hyperproperties. Zbl 1416.03013 Finkbeiner, Bernd 1 2017 Software verification of hyperproperties beyond \(k\)-safety. Zbl 1514.68122 Beutner, Raven; Finkbeiner, Bernd 4 2022 Explaining hyperproperty violations. Zbl 1514.68127 Coenen, Norine; Dachselt, Raimund; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Horak, Tom; Metzger, Niklas; Siber, Julian 2 2022 Information flow guided synthesis. Zbl 1514.68130 Finkbeiner, Bernd; Metzger, Niklas; Moses, Yoram 1 2022 Temporal causality in reactive systems. Zbl 1522.68304 Coenen, Norine; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Metzger, Niklas; Siber, Julian 1 2022 A temporal logic for asynchronous hyperproperties. Zbl 1493.68205 Baumeister, Jan; Coenen, Norine; Bonakdarpour, Borzoo; Finkbeiner, Bernd; Sánchez, César 6 2021 A temporal logic for strategic hyperproperties. Zbl 07730626 Beutner, Raven; Finkbeiner, Bernd 3 2021 Causality-based game solving. Zbl 1493.68203 Baier, Christel; Coenen, Norine; Finkbeiner, Bernd; Funke, Florian; Jantsch, Simon; Siber, Julian 3 2021 Runtime enforcement of hyperproperties. Zbl 1497.68291 Coenen, Norine; Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Schillo, Yannick 2 2021 Compositional synthesis of modular systems. Zbl 1497.68300 Finkbeiner, Bernd; Passing, Noemi 1 2021 Model checking algorithms for hyperproperties (invited paper). Zbl 1472.68088 Finkbeiner, Bernd 1 2021 Probabilistic hyperproperties of Markov decision processes. Zbl 1517.68228 Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem 7 2020 AdamMC: a model checker for Petri nets with transits against Flow-LTL. Zbl 1478.68156 Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger 6 2020 Synthesis from hyperproperties. Zbl 1435.68194 Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander 5 2020 Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010 2 2020 Dependency-based compositional synthesis. Zbl 1517.68234 Finkbeiner, Bernd; Passing, Noemi 2 2020 Realizing \(\omega\)-regular hyperproperties. Zbl 1478.68157 Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Tentrup, Leander 2 2020 How to win first-order safety games. Zbl 07228518 Seidl, Helmut; Müller, Christian; Finkbeiner, Bernd 1 2020 Explainable reactive synthesis. Zbl 1517.68223 Baumeister, Tom; Finkbeiner, Bernd; Torfah, Hazem 1 2020 Monitoring hyperproperties. Zbl 1425.68254 Finkbeiner, Bernd; Hahn, Christopher; Stenger, Marvin; Tentrup, Leander 19 2019 Program repair for hyperproperties. Zbl 1437.68112 Bonakdarpour, Borzoo; Finkbeiner, Bernd 8 2019 Translating asynchronous games for distributed synthesis. Zbl 07649934 Beutner, Raven; Finkbeiner, Bernd; Hecking-Harbusch, Jesko 3 2019 Model checking data flows in concurrent network updates. Zbl 1437.68115 Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger 2 2019 Approximate automata for omega-regular languages. Zbl 1437.68095 Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem 1 2019 Synthesis in distributed environments. Zbl 1491.68121 Finkbeiner, Bernd; Gölz, Paul 6 2018 Synthesizing reactive systems from hyperproperties. Zbl 1511.68153 Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander 6 2018 Model checking quantitative hyperproperties. Zbl 1511.68154 Finkbeiner, Bernd; Hahn, Christopher; Torfah, Hazem 5 2018 Symmetric synthesis. Zbl 1491.68109 Ehlers, Rüdiger; Finkbeiner, Bernd 1 2018 Bounded synthesis of reactive programs. Zbl 1517.68236 Gerstacker, Carsten; Klein, Felix; Finkbeiner, Bernd 1 2018 Encodings of bounded synthesis. Zbl 1452.68118 Faymonville, Peter; Finkbeiner, Bernd; Rabe, Markus N.; Tentrup, Leander 18 2017 The first-order logic of hyperproperties. Zbl 1402.03036 Finkbeiner, Bernd; Zimmermann, Martin 12 2017 Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211 Finkbeiner, Bernd; Olderog, Ernst-Rüdiger 12 2017 Is your software on dope? Formal analysis of surreptitiously “enhanced” programs. Zbl 1485.68059 D’Argenio, Pedro R.; Barthe, Gilles; Biewer, Sebastian; Finkbeiner, Bernd; Hermanns, Holger 2 2017 The density of linear-time properties. Zbl 1495.68133 Finkbeiner, Bernd; Torfah, Hazem 1 2017 Temporal hyperproperties. Zbl 1416.03013 Finkbeiner, Bernd 1 2017 Deciding hyperproperties. Zbl 1392.68248 Finkbeiner, Bernd; Hahn, Christopher 13 2016 Bounded cycle synthesis. Zbl 1411.68066 Finkbeiner, Bernd; Klein, Felix 2 2016 Specifying and verifying secrecy in workflows with arbitrarily many agents. Zbl 1398.68341 Finkbeiner, Bernd; Seidl, Helmut; Müller, Christian 1 2016 Synthesizing skeletons for reactive systems. Zbl 1398.68342 Finkbeiner, Bernd; Torfah, Hazem 1 2016 Algorithms for model checking HyperLTL and HyperCTL\(^*\). Zbl 1381.68161 Finkbeiner, Bernd; Rabe, Markus N.; Sánchez, César 27 2015 Bounded synthesis for Petri games. Zbl 1443.68110 Finkbeiner, Bernd 11 2015 Detecting unrealizability of distributed fault-tolerant systems. Zbl 1448.03018 Finkbeiner, Bernd; Tentrup, Leander 4 2015 Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008 2 2015 Fast DQBF refutation. Zbl 1423.68447 Finkbeiner, Bernd; Tentrup, Leander 10 2014 Petri games: synthesis of distributed systems with causal memory. Zbl 1464.68241 Finkbeiner, Bernd; Olderog, Ernst-Rüdiger 3 2014 Monitoring parametric temporal logic. Zbl 1428.68184 Faymonville, Peter; Finkbeiner, Bernd; Peled, Doron 1 2014 Counting models of linear-time temporal logic. Zbl 1407.68288 Finkbeiner, Bernd; Torfah, Hazem 1 2014 Causality-based verification of multi-threaded programs. Zbl 1390.68187 Kupriyanov, Andrey; Finkbeiner, Bernd 3 2013 Model checking information flow in reactive systems. Zbl 1326.68182 Dimitrova, Rayna; Finkbeiner, Bernd; Kovács, Máté; Rabe, Markus N.; Seidl, Helmut 7 2012 Lazy synthesis. Zbl 1326.68183 Finkbeiner, Bernd; Jacobs, Swen 6 2012 Efficient parallel path checking for linear-time temporal logic with past and bounds. Zbl 1253.68221 Kuhtz, Lars; Finkbeiner, Bernd 4 2012 Template-based controller synthesis for timed systems. Zbl 1352.68128 Finkbeiner, Bernd; Peter, Hans-Jörg 3 2012 Counterexample-guided synthesis of observation predicates. Zbl 1374.68083 Dimitrova, Rayna; Finkbeiner, Bernd 2 2012 Weak Kripke structures and LTL. Zbl 1343.68155 Kuhtz, Lars; Finkbeiner, Bernd 4 2011 Reactive safety. Zbl 1457.68163 Ehlers, Rüdiger; Finkbeiner, Bernd 1 2011 Coordination logic. Zbl 1287.03070 Finkbeiner, Bernd; Schewe, Sven 9 2010 LTL path checking is efficiently parallelizable. Zbl 1248.68252 Kuhtz, Lars; Finkbeiner, Bernd 5 2009 Synthesis of fault-tolerant distributed systems. Zbl 1262.68116 Dimitrova, Rayna; Finkbeiner, Bernd 3 2009 Abstraction refinement for games with incomplete information. Zbl 1248.68327 Dimitrova, Rayna; Finkbeiner, Bernd 4 2008 Slicing abstractions. Zbl 1154.68079 Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike 4 2008 Subsequence invariants. Zbl 1160.68464 Dräger, Klaus; Finkbeiner, Bernd 1 2008 Bounded synthesis. Zbl 1141.68491 Schewe, Sven; Finkbeiner, Bernd 44 2007 Synthesis of asynchronous systems. Zbl 1196.68142 Schewe, Sven; Finkbeiner, Bernd 15 2007 Slicing abstractions. Zbl 1141.68457 Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike 5 2007 Semi-automatic distributed synthesis. Zbl 1112.68095 Schewe, Sven; Finkbeiner, Bernd 1 2007 Distributed synthesis for alternating-time logics. Zbl 1141.68516 Schewe, Sven; Finkbeiner, Bernd 1 2007 Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124 Schewe, Sven; Finkbeiner, Bernd 14 2006 Directed model checking with distance-preserving abstractions. Zbl 1178.68338 Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas 11 2006 Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115 Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias 2 2006 Semi-automatic distributed synthesis. Zbl 1170.68539 Finkbeiner, Bernd; Schewe, Sven 24 2005 Collecting statistics over runtime executions. Zbl 1083.68068 Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B. 4 2005 Checking finite traces using alternating automata. Zbl 1073.68053 Finkbeiner, Bernd; Sipma, Henny 10 2004 Direct algorithms in quadratic programming. Zbl 0253.90041 Finkbeiner, B.; Kall, P. 1 1973 Ein Wertiterationsalgorithmus für unendliche sequentielle Entscheidungsprozesse mit Diskontierung. Zbl 0213.45701 Finkbeiner, B.; Runggaldier, W. 1 1969 all cited Publications top 5 cited Publications all top 5 Cited by 418 Authors 28 Finkbeiner, Bernd 11 Schewe, Sven 10 Bonakdarpour, Borzoo 8 Tentrup, Leander 6 Bloem, Roderick 6 Jacobs, Swen 6 Zimmermann, Martín G. 5 Baier, Christel 5 Coenen, Norine 5 Hahn, Christopher 5 Mogavero, Fabio 5 Murano, Aniello 5 Olderog, Ernst-Rüdiger 5 Perelli, Giuseppe 5 Sánchez, César 4 Basin, David A. 4 Benerecetti, Massimo 4 Beyersdorff, Olaf 4 Bozzelli, Laura 4 Chatterjee, Krishnendu 4 Dimitrova, Rayna 4 Filiot, Emmanuel 4 Gieseking, Manuel 4 Gutierrez, Julian 4 Hecking-Harbusch, Jesko 4 Hoffmann, Jörg 4 Kupferman, Orna 4 Metzger, Niklas O. 4 Scholl, Christoph 4 Sheinvald, Sarai 4 Sznajder, Nathalie 4 Vardi, Moshe Ya’akov 4 Wimmer, Ralf D. 4 Wooldridge, Michael J. 3 Bartocci, Ezio 3 Becker, Bernd 3 Beutner, Raven 3 Blinkhorn, Joshua 3 Dell’Erba, Daniele 3 Ehlers, Rüdiger 3 Faghih, Fathiyeh 3 Francalanza, Adrian 3 Frenkel, Hadar 3 Funke, Florian 3 Jobstmann, Barbara 3 Krstić, Srđan 3 Larsen, Kim Guldstrand 3 Muscholl, Anca 3 Piribauer, Jakob 3 Podelski, Andreas 3 Raskin, Jean-François 3 Siber, Julian 3 Sickert, Salomon 3 Ziemek, Robin 2 Ábrahám, Erika 2 Belardinelli, Francesco 2 Bérard, Béatrice 2 Berwanger, Dietmar 2 Biewer, Sebastian 2 Bollig, Benedikt 2 Bouyer, Patricia 2 Chockler, Hana 2 Domshlak, Carmel 2 Doyen, Laurent 2 Ebrahimi, Masoud 2 Függer, Matthias 2 Gastin, Paul 2 Gimbert, Hugo 2 Hajdu, Ákos 2 Harrenstein, Paul 2 Helmert, Malte 2 Henzinger, Thomas A. 2 Hermanns, Holger 2 Ho, Hsi-Ming 2 Hoenicke, Jochen 2 Jantsch, Simon 2 Klaedtke, Felix 2 Křetínský, Jan 2 Kupferschmid, Sebastian 2 Lion, Benjamin 2 Mahajan, Meena 2 Mathew, Anup Basil 2 Mirzaie, Nahal 2 Neider, Daniel 2 Nickovic, Dejan 2 Norman, Gethin 2 Passing, Noemi 2 Peled, Doron A. 2 Piterman, Nir 2 Pnueli, Amir 2 Popescu, Andrei 2 Rabe, Markus N. 2 Sangnier, Arnaud 2 Schmuck, Anne-Kathrin 2 Schneider, Gerardo 2 Síč, Juraj 2 Slivovsky, Friedrich 2 Sorrentino, Loredana 2 Srba, Jiří 2 Stenger, Marvin ...and 318 more Authors all top 5 Cited in 26 Serials 14 Acta Informatica 14 Information and Computation 13 Formal Methods in System Design 9 Theoretical Computer Science 9 Logical Methods in Computer Science 7 Artificial Intelligence 5 Journal of Automated Reasoning 4 Journal of Computer and System Sciences 3 ACM Transactions on Computational Logic 3 Journal of Logical and Algebraic Methods in Programming 2 Formal Aspects of Computing 2 Journal of the ACM 2 Journal of Satisfiability, Boolean Modeling and Computation 2 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki 1 International Journal of Control 1 Journal of Computer Science and Technology 1 Computers & Operations Research 1 Real-Time Systems 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems 1 Zeitschrift für Operations Research. Serie A: Theorie 1 International Journal of Applied Mathematics and Computer Science 1 Fundamenta Informaticae 1 Moscow Mathematical Journal 1 Science China. Information Sciences all top 5 Cited in 13 Fields 206 Computer science (68-XX) 62 Mathematical logic and foundations (03-XX) 42 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Systems theory; control (93-XX) 3 Operations research, mathematical programming (90-XX) 2 Combinatorics (05-XX) 2 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-XX) 2 Probability theory and stochastic processes (60-XX) 2 Mechanics of particles and systems (70-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year