Kategorie: DDC-Klasse 005.1015113

47 Titel

• Stateless model checking for TSO and PSO
  Abdulla, Parosh Aziz ; Aronis, Stavros ; Atig, Mohamed Faouzi ; Jonsson, Bengt ; Leonardsson, Carl ; Sagonas, Kostis
• Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
  Brihaye, Thomas ; Geeraerts, Gilles ; Haddad, Axel ; Monmege, Benjamin
• Model checking the evolution of gene regulatory networks
  Giacobbe, Mirco ; Guet, Călin C. ; Gupta, Ashutosh ; Henzinger, Thomas ; Paixão, Tiago ; Petrov, Tatjana
• Dynamic controllability via Timed Game Automata
  Cimatti, Alessandro ; Hunsberger, Luke ; Micheli, Andrea ; Posenato, Roberto ; Roveri, Marco
• Verification of heap manipulating programs with ordered data by extended forest automata
  Abdulla, Parosh Aziz ; Holík, Lukáš ; Jonsson, Bengt ; Lengál, Ondřej ; Trinh, Cong Quy ; Vojnar, Tomáš
• A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
  Aceto, Luca ; Della Monica, Dario ; Goranko, Valentin ; Anna Ingólfsdóttir ; Montanari, Angelo ; Sciavicco, Guido
• Efficiently solving the Bin Packing problem through bio-inspired mobility
  Aman, Bogdan ; Ciobanu, Gabriel
• The complexity of counting models of linear-time temporal logic
  Torfah, Hazem ; Zimmermann, Martin
• Parameterized linear temporal logics meet costs: still not costlier than LTL
  Zimmermann, Martin
• Precise parameter synthesis for stochastic biochemical systems
  Češka, Milan ; Dannenberg, Frits ; Paoletti, Nicola ; Kwiatkowska, Marta Z. ; Brim, Lubǒs
• Optimization in temporal qualitative constraint networks
  Condotta, Jean-François ; Kaci, Souhila ; Salhi, Yakoub
• Verification of population protocols
  Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; Majumdar, Rupak
• Average-energy games
  Bouyer, Patricia ; Markey, Nicolas ; Randour, Mickael ; Larsen, Kim G. ; Laursen, Simon
• On reversible Turing machines and their function universality
  Axelsen, Holger Bock ; Glück, Robert
• A linear-time algorithm for the orbit problem over cyclic groups
  Lin, Anthony W. ; Zhou, Sanming
• Concurrent abstract state machines
  Börger, Egon ; Schewe, Klaus-Dieter
• Optimal covers in the relational database model
  Peng, Xiaoning ; Xiao, Zhijun
• A general account of coinduction up-to
  Bonchi, Filippo ; Petrişan, Daniela ; Pous, Damien ; Rot, Jurriaan
• Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit
  Finkbeiner, Bernd ; Sanchez, Cesar
• Guiding Craig interpolation with domain-specific abstractions
  Leroux, Jérôme ; Rümmer, Philipp ; Subotić, Pavle