callback( { "result":{ "query":":facetid:stream:\"streams/conf/forms\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"68.26" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"26", "@dc":"26", "@oc":"26", "@id":"43359748", "text":":facetid:stream:streams/conf/forms" } }, "hits":{ "@total":"26", "@computed":"26", "@sent":"26", "@first":"0", "hit":[{ "@score":"1", "@id":"4766964", "info":{"authors":{"author":[{"@pid":"92/726","text":"Eckehard Schnieder"},{"@pid":"84/11024","text":"Géza Tarnai"}]},"title":"FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010","venue":"FORMS/FORMAT","publisher":"Springer","year":"2011","type":"Editorship","key":"conf/forms/2010","doi":"10.1007/978-3-642-14261-1","ee":"https://doi.org/10.1007/978-3-642-14261-1","url":"https://dblp.org/rec/conf/forms/2010"}, "url":"URL#4766964" }, { "@score":"1", "@id":"4908004", "info":{"authors":{"author":{"@pid":"62/11024","text":"Marc Antoni"}},"title":"Complementarity between Axle Counters and Tracks Circuits.","venue":"FORMS/FORMAT","pages":"65-76","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/Antoni10","doi":"10.1007/978-3-642-14261-1_7","ee":"https://doi.org/10.1007/978-3-642-14261-1_7","url":"https://dblp.org/rec/conf/forms/Antoni10"}, "url":"URL#4908004" }, { "@score":"1", "@id":"4908005", "info":{"authors":{"author":[{"@pid":"91/11024","text":"Maria Antova"},{"@pid":"82/11024","text":"Dragan Jovicic"},{"@pid":"17/11025","text":"Thierry Breyne"}]},"title":"Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment.","venue":"FORMS/FORMAT","pages":"167-174","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/AntovaJB10","doi":"10.1007/978-3-642-14261-1_17","ee":"https://doi.org/10.1007/978-3-642-14261-1_17","url":"https://dblp.org/rec/conf/forms/AntovaJB10"}, "url":"URL#4908005" }, { "@score":"1", "@id":"4908006", "info":{"authors":{"author":[{"@pid":"52/11024","text":"Sonja-Lara Bepperling"},{"@pid":"97/11024","text":"Andreas Schöbel"}]},"title":"Estimation of Safety Requirements for Wayside Hot Box Detection Systems.","venue":"FORMS/FORMAT","pages":"135-143","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/BepperlingS10","doi":"10.1007/978-3-642-14261-1_14","ee":"https://doi.org/10.1007/978-3-642-14261-1_14","url":"https://dblp.org/rec/conf/forms/BepperlingS10"}, "url":"URL#4908006" }, { "@score":"1", "@id":"4908007", "info":{"authors":{"author":[{"@pid":"39/9919","text":"Sebastian Biallas"},{"@pid":"67/734","text":"Jörg Brauer"},{"@pid":"k/StefanKowalewski","text":"Stefan Kowalewski"},{"@pid":"83/6332","text":"Bastian Schlich"}]},"title":"Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.","venue":"FORMS/FORMAT","pages":"237-245","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/BiallasBKS10","doi":"10.1007/978-3-642-14261-1_24","ee":"https://doi.org/10.1007/978-3-642-14261-1_24","url":"https://dblp.org/rec/conf/forms/BiallasBKS10"}, "url":"URL#4908007" }, { "@score":"1", "@id":"4908008", "info":{"authors":{"author":{"@pid":"83/4253","text":"Jens Braband"}},"title":"On the Justification of a Risk Matrix for Technical Systems in European Railways.","venue":"FORMS/FORMAT","pages":"185-193","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/Braband10","doi":"10.1007/978-3-642-14261-1_19","ee":"https://doi.org/10.1007/978-3-642-14261-1_19","url":"https://dblp.org/rec/conf/forms/Braband10"}, "url":"URL#4908008" }, { "@score":"1", "@id":"4908009", "info":{"authors":{"author":[{"@pid":"70/9120","text":"Joffrey Clarhaut"},{"@pid":"63/11024","text":"Etienne Lemaire"},{"@pid":"06/7438","text":"El-Miloudi El-Koursi"}]},"title":"Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System.","venue":"FORMS/FORMAT","pages":"125-133","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/ClarhautLE10","doi":"10.1007/978-3-642-14261-1_13","ee":"https://doi.org/10.1007/978-3-642-14261-1_13","url":"https://dblp.org/rec/conf/forms/ClarhautLE10"}, "url":"URL#4908009" }, { "@score":"1", "@id":"4908010", "info":{"authors":{"author":[{"@pid":"16/4104","text":"Stefan Detering"},{"@pid":"16/8919","text":"Lars Schnieder"}]},"title":"Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems.","venue":"FORMS/FORMAT","pages":"217-225","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/DeteringS10","doi":"10.1007/978-3-642-14261-1_22","ee":"https://doi.org/10.1007/978-3-642-14261-1_22","url":"https://dblp.org/rec/conf/forms/DeteringS10"}, "url":"URL#4908010" }, { "@score":"1", "@id":"4908011", "info":{"authors":{"author":[{"@pid":"21/7271","text":"Alessio Ferrari 0001"},{"@pid":"78/8484","text":"Gianluca Magnani"},{"@pid":"03/4864","text":"Daniele Grasso"},{"@pid":"f/AlessandroFantechi","text":"Alessandro Fantechi"}]},"title":"Model Checking Interlocking Control Tables.","venue":"FORMS/FORMAT","pages":"107-115","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/FerrariMGF10","doi":"10.1007/978-3-642-14261-1_11","ee":"https://doi.org/10.1007/978-3-642-14261-1_11","url":"https://dblp.org/rec/conf/forms/FerrariMGF10"}, "url":"URL#4908011" }, { "@score":"1", "@id":"4908012", "info":{"authors":{"author":[{"@pid":"34/3263","text":"Martin Fränzle"},{"@pid":"56/11024","text":"Tayfun Gezgin"},{"@pid":"25/6675","text":"Hardi Hungar"},{"@pid":"19/11025","text":"Stefan Puch"},{"@pid":"67/11024","text":"Gerald Sauter"}]},"title":"Using Guided Simulation to Assess Driver Assistance Systems.","venue":"FORMS/FORMAT","pages":"195-205","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/FranzleGHPS10","doi":"10.1007/978-3-642-14261-1_20","ee":"https://doi.org/10.1007/978-3-642-14261-1_20","url":"https://dblp.org/rec/conf/forms/FranzleGHPS10"}, "url":"URL#4908012" }, { "@score":"1", "@id":"4908013", "info":{"authors":{"author":[{"@pid":"10/5844","text":"Jan Gacnik"},{"@pid":"09/11025","text":"Henning Jost"},{"@pid":"19/6220","text":"Frank Köster"},{"@pid":"34/3263","text":"Martin Fränzle"}]},"title":"The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.","venue":"FORMS/FORMAT","pages":"207-215","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/GacnikJKF10","doi":"10.1007/978-3-642-14261-1_21","ee":"https://doi.org/10.1007/978-3-642-14261-1_21","url":"https://dblp.org/rec/conf/forms/GacnikJKF10"}, "url":"URL#4908013" }, { "@score":"1", "@id":"4908014", "info":{"authors":{"author":[{"@pid":"60/11024","text":"Kerstin Hartig"},{"@pid":"44/4625","text":"Jens Gerlach"},{"@pid":"05/11025-1","text":"Juan Soto 0001"},{"@pid":"69/11024","text":"Jürgen Busse"}]},"title":"Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie.","venue":"FORMS/FORMAT","pages":"145-153","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/HartigGSB10","doi":"10.1007/978-3-642-14261-1_15","ee":"https://doi.org/10.1007/978-3-642-14261-1_15","url":"https://dblp.org/rec/conf/forms/HartigGSB10"}, "url":"URL#4908014" }, { "@score":"1", "@id":"4908015", "info":{"authors":{"author":{"@pid":"75/11024","text":"Klaus-Rüdiger Hase"}},"title":""Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security.","venue":"FORMS/FORMAT","pages":"5-38","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/Hase10","doi":"10.1007/978-3-642-14261-1_2","ee":"https://doi.org/10.1007/978-3-642-14261-1_2","url":"https://dblp.org/rec/conf/forms/Hase10"}, "url":"URL#4908015" }, { "@score":"1", "@id":"4908016", "info":{"authors":{"author":[{"@pid":"07/1869","text":"Shigeto Hiraguri"},{"@pid":"94/11024","text":"Koji Iwata"},{"@pid":"76/11024","text":"Ikuo Watanabe"}]},"title":"A Method of Evaluating Railway Signalling System Based on RAMS Concept.","venue":"FORMS/FORMAT","pages":"97-105","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/HiraguriIW10","doi":"10.1007/978-3-642-14261-1_10","ee":"https://doi.org/10.1007/978-3-642-14261-1_10","url":"https://dblp.org/rec/conf/forms/HiraguriIW10"}, "url":"URL#4908016" }, { "@score":"1", "@id":"4908017", "info":{"authors":{"author":[{"@pid":"29/2346","text":"Alexander Kuckelberg"},{"@pid":"04/11025","text":"Ekkehard Wendler"}]},"title":"Modeling Computer based, microscopic Dispatching Systems.","venue":"FORMS/FORMAT","pages":"87-95","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/KuckelbergW10","doi":"10.1007/978-3-642-14261-1_9","ee":"https://doi.org/10.1007/978-3-642-14261-1_9","url":"https://dblp.org/rec/conf/forms/KuckelbergW10"}, "url":"URL#4908017" }, { "@score":"1", "@id":"4908018", "info":{"authors":{"author":[{"@pid":"60/3886","text":"Takashi Kunifuji"},{"@pid":"18/11025","text":"Yoshinori Saiki"},{"@pid":"10/11025","text":"Satoru Masutani"},{"@pid":"04/4807","text":"Masayuki Matsumoto"}]},"title":"Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller.","venue":"FORMS/FORMAT","pages":"117-124","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/KunifujiSMM10","doi":"10.1007/978-3-642-14261-1_12","ee":"https://doi.org/10.1007/978-3-642-14261-1_12","url":"https://dblp.org/rec/conf/forms/KunifujiSMM10"}, "url":"URL#4908018" }, { "@score":"1", "@id":"4908019", "info":{"authors":{"author":[{"@pid":"58/11024","text":"Maik Leska"},{"@pid":"85/11024","text":"Robert Prabel"},{"@pid":"85/1529","text":"Andreas Rauh"},{"@pid":"13/1059","text":"Harald Aschemann"}]},"title":"Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles.","venue":"FORMS/FORMAT","pages":"155-164","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/LeskaPRA10","doi":"10.1007/978-3-642-14261-1_16","ee":"https://doi.org/10.1007/978-3-642-14261-1_16","url":"https://dblp.org/rec/conf/forms/LeskaPRA10"}, "url":"URL#4908019" }, { "@score":"1", "@id":"4908020", "info":{"authors":{"author":{"@pid":"96/11024","text":"Birgit Milius"}},"title":"Designing a semi-quantitative risk graph.","venue":"FORMS/FORMAT","pages":"175-183","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/Milius10","doi":"10.1007/978-3-642-14261-1_18","ee":"https://doi.org/10.1007/978-3-642-14261-1_18","url":"https://dblp.org/rec/conf/forms/Milius10"}, "url":"URL#4908020" }, { "@score":"1", "@id":"4908021", "info":{"authors":{"author":{"@pid":"19/6221","text":"András Pataricza"}},"title":"Towards Open Modular Critical Systems.","venue":"FORMS/FORMAT","pages":"41-42","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/Pataricza10","doi":"10.1007/978-3-642-14261-1_4","ee":"https://doi.org/10.1007/978-3-642-14261-1_4","url":"https://dblp.org/rec/conf/forms/Pataricza10"}, "url":"URL#4908021" }, { "@score":"1", "@id":"4908022", "info":{"authors":{"author":{"@pid":"00/11025","text":"Margarita Peltekova"}},"title":"Safety and Security in Transportation Process - Not Just Technical Issue.","venue":"FORMS/FORMAT","pages":"45-53","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/Peltekova10","doi":"10.1007/978-3-642-14261-1_5","ee":"https://doi.org/10.1007/978-3-642-14261-1_5","url":"https://dblp.org/rec/conf/forms/Peltekova10"}, "url":"URL#4908022" }, { "@score":"1", "@id":"4908023", "info":{"authors":{"author":[{"@pid":"89/1583","text":"Balázs Polgár"},{"@pid":"07/4090","text":"István Ráth"},{"@pid":"40/2013","text":"István Majzik"}]},"title":"Model-based Integration Framework for Development and Testing Tool-chains.","venue":"FORMS/FORMAT","pages":"227-235","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/PolgarRM10","doi":"10.1007/978-3-642-14261-1_23","ee":"https://doi.org/10.1007/978-3-642-14261-1_23","url":"https://dblp.org/rec/conf/forms/PolgarRM10"}, "url":"URL#4908023" }, { "@score":"1", "@id":"4908024", "info":{"authors":{"author":[{"@pid":"18/2667","text":"Karol Rástocný"},{"@pid":"65/11024","text":"Juraj Ilavský"}]},"title":"Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System.","venue":"FORMS/FORMAT","pages":"77-85","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/RastocnyI10","doi":"10.1007/978-3-642-14261-1_8","ee":"https://doi.org/10.1007/978-3-642-14261-1_8","url":"https://dblp.org/rec/conf/forms/RastocnyI10"}, "url":"URL#4908024" }, { "@score":"1", "@id":"4908025", "info":{"authors":{"author":{"@pid":"98/11024","text":"Ralf Schweinsberg"}},"title":"Achieving Europe-wide safety through technical harmonization.","venue":"FORMS/FORMAT","pages":"3-4","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/Schweinsberg10","doi":"10.1007/978-3-642-14261-1_1","ee":"https://doi.org/10.1007/978-3-642-14261-1_1","url":"https://dblp.org/rec/conf/forms/Schweinsberg10"}, "url":"URL#4908025" }, { "@score":"1", "@id":"4908026", "info":{"authors":{"author":[{"@pid":"68/3140","text":"André Sülflow"},{"@pid":"d/RolfDrechsler","text":"Rolf Drechsler"}]},"title":"Automatic Fault Localization for Programmable Logic Controllers.","venue":"FORMS/FORMAT","pages":"247-256","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/SulflowD10","doi":"10.1007/978-3-642-14261-1_25","ee":"https://doi.org/10.1007/978-3-642-14261-1_25","url":"https://dblp.org/rec/conf/forms/SulflowD10"}, "url":"URL#4908026" }, { "@score":"1", "@id":"4908027", "info":{"authors":{"author":{"@pid":"35/1524","text":"Tao Tang"}},"title":"Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway.","venue":"FORMS/FORMAT","pages":"39","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/Tang10","doi":"10.1007/978-3-642-14261-1_3","ee":"https://doi.org/10.1007/978-3-642-14261-1_3","url":"https://dblp.org/rec/conf/forms/Tang10"}, "url":"URL#4908027" }, { "@score":"1", "@id":"4908028", "info":{"authors":{"author":[{"@pid":"71/11024","text":"Kazue Yasuoka"},{"@pid":"73/11024","text":"Atsushi Watabe"},{"@pid":"91/148","text":"Tetsunori Hattori"},{"@pid":"04/4807","text":"Masayuki Matsumoto"}]},"title":"The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation.","venue":"FORMS/FORMAT","pages":"55-63","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/forms/YasuokaWHM10","doi":"10.1007/978-3-642-14261-1_6","ee":"https://doi.org/10.1007/978-3-642-14261-1_6","url":"https://dblp.org/rec/conf/forms/YasuokaWHM10"}, "url":"URL#4908028" } ] } } } )