callback( { "result":{ "query":":facetid:toc:\"db/conf/formats/formats2009.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"296.01" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"22", "@dc":"22", "@oc":"22", "@id":"43382582", "text":":facetid:toc:db/conf/formats/formats2009.bht" } }, "hits":{ "@total":"22", "@computed":"22", "@sent":"22", "@first":"0", "hit":[{ "@score":"1", "@id":"5133236", "info":{"authors":{"author":[{"@pid":"12/4673","text":"Eugene Asarin"},{"@pid":"87/2566","text":"Aldric Degorre"}]},"title":"Volume and Entropy of Regular Timed Languages: Analytic Approach.","venue":"FORMATS","pages":"13-27","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/AsarinD09","doi":"10.1007/978-3-642-04368-0_4","ee":"https://doi.org/10.1007/978-3-642-04368-0_4","url":"https://dblp.org/rec/conf/formats/AsarinD09"}, "url":"URL#5133236" }, { "@score":"1", "@id":"5133237", "info":{"authors":{"author":[{"@pid":"01/7271","text":"Gilles Benattar"},{"@pid":"99/622","text":"Franck Cassez"},{"@pid":"94/6720","text":"Didier Lime"},{"@pid":"r/OlivierHRoux","text":"Olivier H. Roux"}]},"title":"Synthesis of Non-Interferent Timed Systems.","venue":"FORMATS","pages":"28-42","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BenattarCLR09","doi":"10.1007/978-3-642-04368-0_5","ee":"https://doi.org/10.1007/978-3-642-04368-0_5","url":"https://dblp.org/rec/conf/formats/BenattarCLR09"}, "url":"URL#5133237" }, { "@score":"1", "@id":"5133238", "info":{"authors":{"author":[{"@pid":"51/912","text":"Nikolaj S. Bjørner"},{"@pid":"d/LeonardoMdeMoura","text":"Leonardo Mendonça de Moura"}]},"title":"Tapas: Theory Combinations and Practical Applications.","venue":"FORMATS","pages":"1-6","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BjornerM09","doi":"10.1007/978-3-642-04368-0_1","ee":"https://doi.org/10.1007/978-3-642-04368-0_1","url":"https://dblp.org/rec/conf/formats/BjornerM09"}, "url":"URL#5133238" }, { "@score":"1", "@id":"5133239", "info":{"authors":{"author":[{"@pid":"75/2224","text":"Anne Bouillard"},{"@pid":"59/2346","text":"Stefan Haar"},{"@pid":"40/4981","text":"Sidney Rosario"}]},"title":"Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net.","venue":"FORMATS","pages":"43-57","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BouillardHR09","doi":"10.1007/978-3-642-04368-0_6","ee":"https://doi.org/10.1007/978-3-642-04368-0_6","url":"https://dblp.org/rec/conf/formats/BouillardHR09"}, "url":"URL#5133239" }, { "@score":"1", "@id":"5133240", "info":{"authors":{"author":[{"@pid":"b/VictorABraberman","text":"Víctor A. Braberman"},{"@pid":"g/DiegoGarbervetsky","text":"Diego Garbervetsky"},{"@pid":"k/NicolasKicillof","text":"Nicolas Kicillof"},{"@pid":"91/7271","text":"Daniel Monteverde"},{"@pid":"67/578","text":"Alfredo Olivero"}]},"title":"Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.","venue":"FORMATS","pages":"58-72","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BrabermanGKMO09","doi":"10.1007/978-3-642-04368-0_7","ee":"https://doi.org/10.1007/978-3-642-04368-0_7","url":"https://dblp.org/rec/conf/formats/BrabermanGKMO09"}, "url":"URL#5133240" }, { "@score":"1", "@id":"5133241", "info":{"authors":{"author":[{"@pid":"39/7920","text":"Peter E. Bulychev"},{"@pid":"41/5716","text":"Thomas Chatain"},{"@pid":"06/5602","text":"Alexandre David"},{"@pid":"l/KimGuldstrandLarsen","text":"Kim Guldstrand Larsen"}]},"title":"Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.","venue":"FORMATS","pages":"73-87","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BulychevCDL09","doi":"10.1007/978-3-642-04368-0_8","ee":"https://doi.org/10.1007/978-3-642-04368-0_8","url":"https://dblp.org/rec/conf/formats/BulychevCDL09"}, "url":"URL#5133241" }, { "@score":"1", "@id":"5133242", "info":{"authors":{"author":[{"@pid":"83/7271","text":"Ashish Chiplunkar"},{"@pid":"k/SNKrishna","text":"Shankara Narayanan Krishna"},{"@pid":"21/7272","text":"Chinmay Jain"}]},"title":"Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata.","venue":"FORMATS","pages":"88-102","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/ChiplunkarKJ09","doi":"10.1007/978-3-642-04368-0_9","ee":"https://doi.org/10.1007/978-3-642-04368-0_9","url":"https://dblp.org/rec/conf/formats/ChiplunkarKJ09"}, "url":"URL#5133242" }, { "@score":"1", "@id":"5133243", "info":{"authors":{"author":[{"@pid":"39/7271","text":"Christian Colombo 0001"},{"@pid":"52/776","text":"Gordon J. Pace"},{"@pid":"01/1333","text":"Gerardo Schneider"}]},"title":"Safe Runtime Verification of Real-Time Properties.","venue":"FORMATS","pages":"103-117","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/ColomboPS09","doi":"10.1007/978-3-642-04368-0_10","ee":"https://doi.org/10.1007/978-3-642-04368-0_10","url":"https://dblp.org/rec/conf/formats/ColomboPS09"}, "url":"URL#5133243" }, { "@score":"1", "@id":"5133244", "info":{"authors":{"author":[{"@pid":"14/3467","text":"Catalin Dima"},{"@pid":"96/3287","text":"Ruggero Lanotte"}]},"title":"Removing All Silent Transitions from Timed Automata.","venue":"FORMATS","pages":"118-132","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/DimaL09","doi":"10.1007/978-3-642-04368-0_11","ee":"https://doi.org/10.1007/978-3-642-04368-0_11","url":"https://dblp.org/rec/conf/formats/DimaL09"}, "url":"URL#5133244" }, { "@score":"1", "@id":"5133245", "info":{"authors":{"author":[{"@pid":"30/5289-1","text":"Laurent Doyen 0001"},{"@pid":"95/422","text":"Gilles Geeraerts"},{"@pid":"05/4174","text":"Jean-François Raskin"},{"@pid":"46/7272","text":"Julien Reichert"}]},"title":"Realizability of Real-Time Logics.","venue":"FORMATS","pages":"133-148","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/DoyenGRR09","doi":"10.1007/978-3-642-04368-0_12","ee":"https://doi.org/10.1007/978-3-642-04368-0_12","url":"https://dblp.org/rec/conf/formats/DoyenGRR09"}, "url":"URL#5133245" }, { "@score":"1", "@id":"5133246", "info":{"authors":{"author":[{"@pid":"34/3263","text":"Martin Fränzle"},{"@pid":"44/6535","text":"Mani Swaminathan"}]},"title":"Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.","venue":"FORMATS","pages":"149-163","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/FranzleS09","doi":"10.1007/978-3-642-04368-0_13","ee":"https://doi.org/10.1007/978-3-642-04368-0_13","url":"https://dblp.org/rec/conf/formats/FranzleS09"}, "url":"URL#5133246" }, { "@score":"1", "@id":"5133247", "info":{"authors":{"author":[{"@pid":"16/5983","text":"Pierre Ganty"},{"@pid":"71/1981","text":"Rupak Majumdar"}]},"title":"Analyzing Real-Time Event-Driven Programs.","venue":"FORMATS","pages":"164-178","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/GantyM09","doi":"10.1007/978-3-642-04368-0_14","ee":"https://doi.org/10.1007/978-3-642-04368-0_14","url":"https://dblp.org/rec/conf/formats/GantyM09"}, "url":"URL#5133247" }, { "@score":"1", "@id":"5133248", "info":{"authors":{"author":{"@pid":"92/6330","text":"Stephane Gaubert"}},"title":"Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.","venue":"FORMATS","pages":"7-11","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Gaubert09","doi":"10.1007/978-3-642-04368-0_2","ee":"https://doi.org/10.1007/978-3-642-04368-0_2","url":"https://dblp.org/rec/conf/formats/Gaubert09"}, "url":"URL#5133248" }, { "@score":"1", "@id":"5133249", "info":{"authors":{"author":{"@pid":"g/RodolfoGomez","text":"Rodolfo Gómez 0001"}},"title":"A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.","venue":"FORMATS","pages":"179-194","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Gomez09","doi":"10.1007/978-3-642-04368-0_15","ee":"https://doi.org/10.1007/978-3-642-04368-0_15","url":"https://dblp.org/rec/conf/formats/Gomez09"}, "url":"URL#5133249" }, { "@score":"1", "@id":"5133250", "info":{"authors":{"author":[{"@pid":"k/JoostPieterKatoen","text":"Joost-Pieter Katoen"},{"@pid":"95/4836","text":"Daniel Klink"},{"@pid":"08/4077","text":"Martin R. Neuhäußer"}]},"title":"Compositional Abstraction for Stochastic Systems.","venue":"FORMATS","pages":"195-211","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/KatoenKN09","doi":"10.1007/978-3-642-04368-0_16","ee":"https://doi.org/10.1007/978-3-642-04368-0_16","url":"https://dblp.org/rec/conf/formats/KatoenKN09"}, "url":"URL#5133250" }, { "@score":"1", "@id":"5133251", "info":{"authors":{"author":[{"@pid":"k/MartaZKwiatkowska","text":"Marta Z. Kwiatkowska"},{"@pid":"59/1659","text":"Gethin Norman"},{"@pid":"33/3095","text":"David Parker 0001"}]},"title":"Stochastic Games for Verification of Probabilistic Timed Automata.","venue":"FORMATS","pages":"212-227","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/KwiatkowskaNP09","doi":"10.1007/978-3-642-04368-0_17","ee":"https://doi.org/10.1007/978-3-642-04368-0_17","url":"https://dblp.org/rec/conf/formats/KwiatkowskaNP09"}, "url":"URL#5133251" }, { "@score":"1", "@id":"5133252", "info":{"authors":{"author":{"@pid":"93/5951","text":"Guangyuan Li"}},"title":"Checking Timed Büchi Automata Emptiness Using LU-Abstractions.","venue":"FORMATS","pages":"228-242","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Li09","doi":"10.1007/978-3-642-04368-0_18","ee":"https://doi.org/10.1007/978-3-642-04368-0_18","url":"https://dblp.org/rec/conf/formats/Li09"}, "url":"URL#5133252" }, { "@score":"1", "@id":"5133253", "info":{"authors":{"author":{"@pid":"p/GeorgeJPappas","text":"George J. Pappas"}},"title":"Approximations of Discrete, Continuous, and Hybrid Systems.","venue":"FORMATS","pages":"12","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"conf/formats/Pappas09","doi":"10.1007/978-3-642-04368-0_3","ee":"https://doi.org/10.1007/978-3-642-04368-0_3","url":"https://dblp.org/rec/conf/formats/Pappas09"}, "url":"URL#5133253" }, { "@score":"1", "@id":"5133254", "info":{"authors":{"author":{"@pid":"40/5082","text":"Karin Quaas"}},"title":"On the Supports of Recognizable Timed Series.","venue":"FORMATS","pages":"243-257","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Quaas09","doi":"10.1007/978-3-642-04368-0_19","ee":"https://doi.org/10.1007/978-3-642-04368-0_19","url":"https://dblp.org/rec/conf/formats/Quaas09"}, "url":"URL#5133254" }, { "@score":"1", "@id":"5133255", "info":{"authors":{"author":{"@pid":"53/5286","text":"Shinya Umeno"}},"title":"Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction.","venue":"FORMATS","pages":"258-274","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Umeno09","doi":"10.1007/978-3-642-04368-0_20","ee":"https://doi.org/10.1007/978-3-642-04368-0_20","url":"https://dblp.org/rec/conf/formats/Umeno09"}, "url":"URL#5133255" }, { "@score":"1", "@id":"5133256", "info":{"authors":{"author":[{"@pid":"55/6574","text":"Matthias Woehrle"},{"@pid":"04/489","text":"Kai Lampka"},{"@pid":"t/LotharThiele","text":"Lothar Thiele"}]},"title":"Exploiting Timed Automata for Conformance Testing of Power Measurements.","venue":"FORMATS","pages":"275-290","year":"2009","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/WoehrleLT09","doi":"10.1007/978-3-642-04368-0_21","ee":"https://doi.org/10.1007/978-3-642-04368-0_21","url":"https://dblp.org/rec/conf/formats/WoehrleLT09"}, "url":"URL#5133256" }, { "@score":"1", "@id":"5218966", "info":{"authors":{"author":[{"@pid":"55/4663","text":"Joël Ouaknine"},{"@pid":"v/FritsWVaandrager","text":"Frits W. Vaandrager"}]},"title":"Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings","venue":["FORMATS","Lecture Notes in Computer Science"],"volume":"5813","publisher":"Springer","year":"2009","type":"Editorship","key":"conf/formats/2009","doi":"10.1007/978-3-642-04368-0","ee":"https://doi.org/10.1007/978-3-642-04368-0","url":"https://dblp.org/rec/conf/formats/2009"}, "url":"URL#5218966" } ] } } } )