callback( { "result":{ "query":":facetid:toc:\"db/conf/fmics/fmics2012.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"193.10" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"15", "@dc":"15", "@oc":"15", "@id":"43382367", "text":":facetid:toc:db/conf/fmics/fmics2012.bht" } }, "hits":{ "@total":"15", "@computed":"15", "@sent":"15", "@first":"0", "hit":[{ "@score":"1", "@id":"4411176", "info":{"authors":{"author":[{"@pid":"118/8988","text":"Nouha Abid"},{"@pid":"20/5526","text":"Silvano Dal-Zilio"},{"@pid":"93/1403","text":"Didier Le Botlan"}]},"title":"Real-Time Specification Patterns and Tools.","venue":"FMICS","pages":"1-15","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/AbidDB12","doi":"10.1007/978-3-642-32469-7_1","ee":"https://doi.org/10.1007/978-3-642-32469-7_1","url":"https://dblp.org/rec/conf/fmics/AbidDB12"}, "url":"URL#4411176" }, { "@score":"1", "@id":"4411177", "info":{"authors":{"author":[{"@pid":"a/ElviraAlbert","text":"Elvira Albert"},{"@pid":"o/BjarteMOstvold","text":"Bjarte M. Østvold"},{"@pid":"94/5122","text":"José Miguel Rojas"}]},"title":"Automated Extraction of Abstract Behavioural Models from JMS Applications.","venue":"FMICS","pages":"16-31","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/AlbertOR12","doi":"10.1007/978-3-642-32469-7_2","ee":"https://doi.org/10.1007/978-3-642-32469-7_2","url":"https://dblp.org/rec/conf/fmics/AlbertOR12"}, "url":"URL#4411177" }, { "@score":"1", "@id":"4411178", "info":{"authors":{"author":[{"@pid":"a/NicholasAyache","text":"Nicholas Ayache"},{"@pid":"a/RobertoMAmadio","text":"Roberto M. Amadio"},{"@pid":"44/4388","text":"Yann Régis-Gianas"}]},"title":"Certifying and Reasoning on Cost Annotations in C Programs.","venue":"FMICS","pages":"32-46","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/AyacheAR12","doi":"10.1007/978-3-642-32469-7_3","ee":"https://doi.org/10.1007/978-3-642-32469-7_3","url":"https://dblp.org/rec/conf/fmics/AyacheAR12"}, "url":"URL#4411178" }, { "@score":"1", "@id":"4411179", "info":{"authors":{"author":[{"@pid":"b/ChristelBaier","text":"Christel Baier"},{"@pid":"118/9187","text":"Marcus Daum"},{"@pid":"118/8998","text":"Benjamin Engel"},{"@pid":"h/HHartig","text":"Hermann Härtig"},{"@pid":"k/JoachimKlein1","text":"Joachim Klein 0001"},{"@pid":"50/2079","text":"Sascha Klüppelholz"},{"@pid":"69/10395","text":"Steffen Märcker"},{"@pid":"72/6500","text":"Hendrik Tews"},{"@pid":"52/6494","text":"Marcus Völp"}]},"title":"Waiting for Locks: How Long Does It Usually Take?","venue":"FMICS","pages":"47-62","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/BaierDEHKKMTV12","doi":"10.1007/978-3-642-32469-7_4","ee":"https://doi.org/10.1007/978-3-642-32469-7_4","url":"https://dblp.org/rec/conf/fmics/BaierDEHKKMTV12"}, "url":"URL#4411179" }, { "@score":"1", "@id":"4411180", "info":{"authors":{"author":[{"@pid":"118/8990","text":"Victor Bandur"},{"@pid":"82/2632","text":"Wolfram Kahl"},{"@pid":"92/3822","text":"Alan Wassyng"}]},"title":"Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.","venue":"FMICS","pages":"63-77","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/BandurKW12","doi":"10.1007/978-3-642-32469-7_5","ee":"https://doi.org/10.1007/978-3-642-32469-7_5","url":"https://dblp.org/rec/conf/fmics/BandurKW12"}, "url":"URL#4411180" }, { "@score":"1", "@id":"4411181", "info":{"authors":{"author":[{"@pid":"b/JiriBarnat","text":"Jiri Barnat"},{"@pid":"07/5481","text":"Jan Beran"},{"@pid":"92/3060","text":"Lubos Brim"},{"@pid":"117/6016","text":"Tomas Kratochvila"},{"@pid":"35/5000","text":"Petr Rockai"}]},"title":"Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.","venue":"FMICS","pages":"78-92","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/BarnatBBKR12","doi":"10.1007/978-3-642-32469-7_6","ee":"https://doi.org/10.1007/978-3-642-32469-7_6","url":"https://dblp.org/rec/conf/fmics/BarnatBBKR12"}, "url":"URL#4411181" }, { "@score":"1", "@id":"4411182", "info":{"authors":{"author":[{"@pid":"07/8898","text":"Edd Barrett"},{"@pid":"k/AndyKing","text":"Andy King"}]},"title":"Range Analysis of Binaries with Minimal Effort.","venue":"FMICS","pages":"93-107","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/BarrettK12","doi":"10.1007/978-3-642-32469-7_7","ee":"https://doi.org/10.1007/978-3-642-32469-7_7","url":"https://dblp.org/rec/conf/fmics/BarrettK12"}, "url":"URL#4411182" }, { "@score":"1", "@id":"4411183", "info":{"authors":{"author":[{"@pid":"60/882","text":"Loïc Correnson"},{"@pid":"26/3282","text":"Julien Signoles"}]},"title":"Combining Analyses for C Program Verification.","venue":"FMICS","pages":"108-130","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/CorrensonS12","doi":"10.1007/978-3-642-32469-7_8","ee":"https://doi.org/10.1007/978-3-642-32469-7_8","url":"https://dblp.org/rec/conf/fmics/CorrensonS12"}, "url":"URL#4411183" }, { "@score":"1", "@id":"4411184", "info":{"authors":{"author":{"@pid":"64/1766","text":"Sjoerd Cranen"}},"title":"Model Checking the FlexRay Startup Phase.","venue":"FMICS","pages":"131-145","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/Cranen12","doi":"10.1007/978-3-642-32469-7_9","ee":"https://doi.org/10.1007/978-3-642-32469-7_9","url":"https://dblp.org/rec/conf/fmics/Cranen12"}, "url":"URL#4411184" }, { "@score":"1", "@id":"4411185", "info":{"authors":{"author":[{"@pid":"118/9130","text":"Rainer Droste"},{"@pid":"118/3364","text":"Christoph Läsche"},{"@pid":"118/9228","text":"Cilli Sobiech"},{"@pid":"99/704","text":"Eckard Böde"},{"@pid":"h/AHahn","text":"Axel Hahn"}]},"title":"Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations.","venue":"FMICS","pages":"146-161","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/DrosteLSBH12","doi":"10.1007/978-3-642-32469-7_10","ee":"https://doi.org/10.1007/978-3-642-32469-7_10","url":"https://dblp.org/rec/conf/fmics/DrosteLSBH12"}, "url":"URL#4411185" }, { "@score":"1", "@id":"4411186", "info":{"authors":{"author":[{"@pid":"71/8472","text":"Luca Ferrucci"},{"@pid":"m/DinoMandrioli","text":"Dino Mandrioli"},{"@pid":"m/AMorzenti","text":"Angelo Morzenti"},{"@pid":"306/0008","text":"Matteo Rossi 0001"}]},"title":"Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.","venue":"FMICS","pages":"162-176","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/FerrucciMMR12","doi":"10.1007/978-3-642-32469-7_11","ee":"https://doi.org/10.1007/978-3-642-32469-7_11","url":"https://dblp.org/rec/conf/fmics/FerrucciMMR12"}, "url":"URL#4411186" }, { "@score":"1", "@id":"4411187", "info":{"authors":{"author":[{"@pid":"118/9087","text":"Vlad Popa"},{"@pid":"54/8291","text":"Wolfgang Schwitzer"}]},"title":"Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems.","venue":"FMICS","pages":"177-191","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/PopaS12","doi":"10.1007/978-3-642-32469-7_12","ee":"https://doi.org/10.1007/978-3-642-32469-7_12","url":"https://dblp.org/rec/conf/fmics/PopaS12"}, "url":"URL#4411187" }, { "@score":"1", "@id":"4411188", "info":{"authors":{"author":[{"@pid":"94/5680","text":"Konrad Siek"},{"@pid":"w/PawelTWojciechowski","text":"Pawel T. Wojciechowski"}]},"title":"A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.","venue":"FMICS","pages":"192-206","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/SiekW12","doi":"10.1007/978-3-642-32469-7_13","ee":"https://doi.org/10.1007/978-3-642-32469-7_13","url":"https://dblp.org/rec/conf/fmics/SiekW12"}, "url":"URL#4411188" }, { "@score":"1", "@id":"4411189", "info":{"authors":{"author":[{"@pid":"11/9867","text":"Jiri Slaby"},{"@pid":"37/1716","text":"Jan Strejcek"},{"@pid":"24/9889","text":"Marek Trtík"}]},"title":"Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.","venue":"FMICS","pages":"207-221","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmics/SlabyST12","doi":"10.1007/978-3-642-32469-7_14","ee":"https://doi.org/10.1007/978-3-642-32469-7_14","url":"https://dblp.org/rec/conf/fmics/SlabyST12"}, "url":"URL#4411189" }, { "@score":"1", "@id":"4513612", "info":{"authors":{"author":[{"@pid":"20/3901","text":"Mariëlle Stoelinga"},{"@pid":"97/5205","text":"Ralf Pinger"}]},"title":"Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings","venue":["FMICS","Lecture Notes in Computer Science"],"volume":"7437","publisher":"Springer","year":"2012","type":"Editorship","key":"conf/fmics/2012","doi":"10.1007/978-3-642-32469-7","ee":"https://doi.org/10.1007/978-3-642-32469-7","url":"https://dblp.org/rec/conf/fmics/2012"}, "url":"URL#4513612" } ] } } } )