callback( { "result":{ "query":":facetid:toc:\"db/conf/formats/formats2005.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"190.24" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"23", "@dc":"23", "@oc":"23", "@id":"43395376", "text":":facetid:toc:db/conf/formats/formats2005.bht" } }, "hits":{ "@total":"23", "@computed":"23", "@sent":"23", "@first":"0", "hit":[{ "@score":"1", "@id":"5894384", "info":{"authors":{"author":{"@pid":"a/PAAbdulla","text":"Parosh Aziz Abdulla"}},"title":"Verification of Parameterized Timed Systems.","venue":"FORMATS","pages":"95-97","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Abdulla05","doi":"10.1007/11603009_8","ee":"https://doi.org/10.1007/11603009_8","url":"https://dblp.org/rec/conf/formats/Abdulla05"}, "url":"URL#5894384" }, { "@score":"1", "@id":"5894385", "info":{"authors":{"author":[{"@pid":"88/2886","text":"B. Thomas Adler"},{"@pid":"d/LucadeAlfaro","text":"Luca de Alfaro"},{"@pid":"44/6983","text":"Marco Faella"}]},"title":"Average Reward Timed Games.","venue":"FORMATS","pages":"65-80","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/AdlerAF05","doi":"10.1007/11603009_6","ee":"https://doi.org/10.1007/11603009_6","url":"https://dblp.org/rec/conf/formats/AdlerAF05"}, "url":"URL#5894385" }, { "@score":"1", "@id":"5894386", "info":{"authors":{"author":[{"@pid":"86/3075","text":"Husain Aljazzar"},{"@pid":"h/HolgerHermanns","text":"Holger Hermanns"},{"@pid":"20/6822","text":"Stefan Leue"}]},"title":"Counterexamples for Timed Probabilistic Reachability.","venue":"FORMATS","pages":"177-195","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/AljazzarHL05","doi":"10.1007/11603009_15","ee":"https://doi.org/10.1007/11603009_15","url":"https://dblp.org/rec/conf/formats/AljazzarHL05"}, "url":"URL#5894386" }, { "@score":"1", "@id":"5894387", "info":{"authors":{"author":[{"@pid":"93/65","text":"Karine Altisen"},{"@pid":"85/6852","text":"Stavros Tripakis"}]},"title":"Implementation of Timed Automata: An Issue of Semantics or Modeling?","venue":"FORMATS","pages":"273-288","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/AltisenT05","doi":"10.1007/11603009_21","ee":"https://doi.org/10.1007/11603009_21","url":"https://dblp.org/rec/conf/formats/AltisenT05"}, "url":"URL#5894387" }, { "@score":"1", "@id":"5894388", "info":{"authors":{"author":{"@pid":"61/6056","text":"Karl-Erik Årzén"}},"title":"Timing Analysis and Simulation Tools for Real-Time Control.","venue":"FORMATS","pages":"142-143","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Arzen05","doi":"10.1007/11603009_12","ee":"https://doi.org/10.1007/11603009_12","url":"https://dblp.org/rec/conf/formats/Arzen05"}, "url":"URL#5894388" }, { "@score":"1", "@id":"5894389", "info":{"authors":{"author":[{"@pid":"39/5834","text":"Gerd Behrmann"},{"@pid":"l/KimGuldstrandLarsen","text":"Kim Guldstrand Larsen"},{"@pid":"87/6254","text":"Jacob Illum Rasmussen"}]},"title":"Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.","venue":"FORMATS","pages":"81-94","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BehrmannLR05","doi":"10.1007/11603009_7","ee":"https://doi.org/10.1007/11603009_7","url":"https://dblp.org/rec/conf/formats/BehrmannLR05"}, "url":"URL#5894389" }, { "@score":"1", "@id":"5894390", "info":{"authors":{"author":[{"@pid":"b/BeatriceBerard","text":"Béatrice Bérard"},{"@pid":"99/622","text":"Franck Cassez"},{"@pid":"h/SergeHaddad","text":"Serge Haddad"},{"@pid":"94/6720","text":"Didier Lime"},{"@pid":"r/OlivierHRoux","text":"Olivier H. Roux"}]},"title":"Comparison of the Expressiveness of Timed Automata and Time Petri Nets.","venue":"FORMATS","pages":"211-225","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BerardCHLR05","doi":"10.1007/11603009_17","ee":"https://doi.org/10.1007/11603009_17","url":"https://dblp.org/rec/conf/formats/BerardCHLR05"}, "url":"URL#5894390" }, { "@score":"1", "@id":"5894391", "info":{"authors":{"author":[{"@pid":"b/PatriciaBouyer","text":"Patricia Bouyer"},{"@pid":"15/4811","text":"François Laroussinie"},{"@pid":"55/5954","text":"Pierre-Alain Reynier"}]},"title":"Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.","venue":"FORMATS","pages":"112-126","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BouyerLR05","doi":"10.1007/11603009_10","ee":"https://doi.org/10.1007/11603009_10","url":"https://dblp.org/rec/conf/formats/BouyerLR05"}, "url":"URL#5894391" }, { "@score":"1", "@id":"5894392", "info":{"authors":{"author":[{"@pid":"68/5725","text":"Thomas Brihaye"},{"@pid":"b/VeroniqueBruyere","text":"Véronique Bruyère"},{"@pid":"05/4174","text":"Jean-François Raskin"}]},"title":"On Optimal Timed Strategies.","venue":"FORMATS","pages":"49-64","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/BrihayeBR05","doi":"10.1007/11603009_5","ee":"https://doi.org/10.1007/11603009_5","url":"https://dblp.org/rec/conf/formats/BrihayeBR05"}, "url":"URL#5894392" }, { "@score":"1", "@id":"5894393", "info":{"authors":{"author":[{"@pid":"41/5716","text":"Thomas Chatain"},{"@pid":"01/2700","text":"Claude Jard"}]},"title":"Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.","venue":"FORMATS","pages":"196-210","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/ChatainJ05","doi":"10.1007/11603009_16","ee":"https://doi.org/10.1007/11603009_16","url":"https://dblp.org/rec/conf/formats/ChatainJ05"}, "url":"URL#5894393" }, { "@score":"1", "@id":"5894394", "info":{"authors":{"author":[{"@pid":"00/6390","text":"Flavio Corradini"},{"@pid":"v/WalterVogler","text":"Walter Vogler"}]},"title":"Performance of Pipelined Asynchronous Systems.","venue":"FORMATS","pages":"242-257","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/CorradiniV05","doi":"10.1007/11603009_19","ee":"https://doi.org/10.1007/11603009_19","url":"https://dblp.org/rec/conf/formats/CorradiniV05"}, "url":"URL#5894394" }, { "@score":"1", "@id":"5894395", "info":{"authors":{"author":[{"@pid":"30/5289-1","text":"Laurent Doyen 0001"},{"@pid":"h/ThomasAHenzinger","text":"Thomas A. Henzinger"},{"@pid":"05/4174","text":"Jean-François Raskin"}]},"title":"Automatic Rectangular Refinement of Affine Hybrid Systems.","venue":"FORMATS","pages":"144-161","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/DoyenHR05","doi":"10.1007/11603009_13","ee":"https://doi.org/10.1007/11603009_13","url":"https://dblp.org/rec/conf/formats/DoyenHR05"}, "url":"URL#5894395" }, { "@score":"1", "@id":"5894396", "info":{"authors":{"author":[{"@pid":"f/WanFokkink","text":"Wan J. Fokkink"},{"@pid":"p/JunPang","text":"Jun Pang 0001"},{"@pid":"77/6678","text":"Anton Wijs"}]},"title":"Is Timed Branching Bisimilarity an Equivalence Indeed?.","venue":"FORMATS","pages":"258-272","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/FokkinkPW05","doi":"10.1007/11603009_20","ee":"https://doi.org/10.1007/11603009_20","url":"https://dblp.org/rec/conf/formats/FokkinkPW05"}, "url":"URL#5894396" }, { "@score":"1", "@id":"5894397", "info":{"authors":{"author":{"@pid":"g/RaffaellaGentilini","text":"Raffaella Gentilini"}},"title":"Reachability Problems on Extended O-Minimal Hybrid Automata.","venue":"FORMATS","pages":"162-176","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Gentilini05","doi":"10.1007/11603009_14","ee":"https://doi.org/10.1007/11603009_14","url":"https://dblp.org/rec/conf/formats/Gentilini05"}, "url":"URL#5894397" }, { "@score":"1", "@id":"5894398", "info":{"authors":{"author":[{"@pid":"g/RobertoGiacobazzi","text":"Roberto Giacobazzi"},{"@pid":"25/5944","text":"Isabella Mastroeni"}]},"title":"Timed Abstract Non-interference.","venue":"FORMATS","pages":"289-303","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/GiacobazziM05","doi":"10.1007/11603009_22","ee":"https://doi.org/10.1007/11603009_22","url":"https://dblp.org/rec/conf/formats/GiacobazziM05"}, "url":"URL#5894398" }, { "@score":"1", "@id":"5894399", "info":{"authors":{"author":{"@pid":"h/MartijnHendriks","text":"Martijn Hendriks"}},"title":"Model Checking the Time to Reach Agreement.","venue":"FORMATS","pages":"98-111","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Hendriks05","doi":"10.1007/11603009_9","ee":"https://doi.org/10.1007/11603009_9","url":"https://dblp.org/rec/conf/formats/Hendriks05"}, "url":"URL#5894399" }, { "@score":"1", "@id":"5894400", "info":{"authors":{"author":[{"@pid":"h/ThomasAHenzinger","text":"Thomas A. Henzinger"},{"@pid":"71/1981","text":"Rupak Majumdar"},{"@pid":"85/1190","text":"Vinayak S. Prabhu"}]},"title":"Quantifying Similarities Between Timed Systems.","venue":"FORMATS","pages":"226-241","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/HenzingerMP05","doi":"10.1007/11603009_18","ee":"https://doi.org/10.1007/11603009_18","url":"https://dblp.org/rec/conf/formats/HenzingerMP05"}, "url":"URL#5894400" }, { "@score":"1", "@id":"5894401", "info":{"authors":{"author":[{"@pid":"23/5776","text":"Hongping Lim"},{"@pid":"k/DilsunKirliKaynar","text":"Dilsun Kirli Kaynar"},{"@pid":"l/NancyALynch","text":"Nancy A. Lynch"},{"@pid":"07/3797","text":"Sayan Mitra"}]},"title":"Translating Timed I/O Automata Specifications for Theorem Proving in PVS.","venue":"FORMATS","pages":"17-31","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/LimKLM05","doi":"10.1007/11603009_3","ee":"https://doi.org/10.1007/11603009_3","url":"https://dblp.org/rec/conf/formats/LimKLM05"}, "url":"URL#5894401" }, { "@score":"1", "@id":"5894402", "info":{"authors":{"author":[{"@pid":"m/OdedMaler","text":"Oded Maler"},{"@pid":"60/1425","text":"Dejan Nickovic"},{"@pid":"p/AmirPnueli","text":"Amir Pnueli"}]},"title":"Real Time Temporal Logic: Past, Present, Future.","venue":"FORMATS","pages":"2-16","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/MalerNP05","doi":"10.1007/11603009_2","ee":"https://doi.org/10.1007/11603009_2","url":"https://dblp.org/rec/conf/formats/MalerNP05"}, "url":"URL#5894402" }, { "@score":"1", "@id":"5894403", "info":{"authors":{"author":[{"@pid":"63/4737","text":"Atle Refsdal"},{"@pid":"89/816","text":"Knut Eilif Husa"},{"@pid":"58/1759","text":"Ketil Stølen"}]},"title":"Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.","venue":"FORMATS","pages":"32-48","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/RefsdalHS05","doi":"10.1007/11603009_4","ee":"https://doi.org/10.1007/11603009_4","url":"https://dblp.org/rec/conf/formats/RefsdalHS05"}, "url":"URL#5894403" }, { "@score":"1", "@id":"5894404", "info":{"authors":{"author":[{"@pid":"s/KSubramani","text":"K. Subramani 0001"},{"@pid":"78/6977","text":"Dejan Desovski"}]},"title":"A New Verification Procedure for Partially Clairvoyant Scheduling.","venue":"FORMATS","pages":"127-141","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/SubramaniD05","doi":"10.1007/11603009_11","ee":"https://doi.org/10.1007/11603009_11","url":"https://dblp.org/rec/conf/formats/SubramaniD05"}, "url":"URL#5894404" }, { "@score":"1", "@id":"5894405", "info":{"authors":{"author":{"@pid":"t/LotharThiele","text":"Lothar Thiele"}},"title":"Modular Performance Analysis of Distributed Embedded Systems.","venue":"FORMATS","pages":"1","year":"2005","type":"Conference and Workshop Papers","access":"closed","key":"conf/formats/Thiele05","doi":"10.1007/11603009_1","ee":"https://doi.org/10.1007/11603009_1","url":"https://dblp.org/rec/conf/formats/Thiele05"}, "url":"URL#5894405" }, { "@score":"1", "@id":"5959159", "info":{"authors":{"author":[{"@pid":"77/4503","text":"Paul Pettersson"},{"@pid":"y/WangYi","text":"Wang Yi 0001"}]},"title":"Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings","venue":["FORMATS","Lecture Notes in Computer Science"],"volume":"3829","publisher":"Springer","year":"2005","type":"Editorship","key":"conf/formats/2005","doi":"10.1007/11603009","ee":"https://doi.org/10.1007/11603009","url":"https://dblp.org/rec/conf/formats/2005"}, "url":"URL#5959159" } ] } } } )