callback( { "result":{ "query":":facetid:toc:\"db/conf/sbmf/sbmf2012.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"264.37" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"17", "@dc":"17", "@oc":"17", "@id":"43308944", "text":":facetid:toc:db/conf/sbmf/sbmf2012.bht" } }, "hits":{ "@total":"17", "@computed":"17", "@sent":"17", "@first":"0", "hit":[{ "@score":"1", "@id":"4463748", "info":{"authors":{"author":[{"@pid":"58/10315","text":"Araceli Acosta"},{"@pid":"63/10317","text":"Cecilia Kilmurray"},{"@pid":"57/1847","text":"Pablo F. Castro"},{"@pid":"69/610","text":"Nazareno Aguirre"}]},"title":"Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization.","venue":"SBMF","pages":"3-18","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/AcostaKCA12","doi":"10.1007/978-3-642-33296-8_3","ee":"https://doi.org/10.1007/978-3-642-33296-8_3","url":"https://dblp.org/rec/conf/sbmf/AcostaKCA12"}, "url":"URL#4463748" }, { "@score":"1", "@id":"4463749", "info":{"authors":{"author":[{"@pid":"116/5052","text":"Haniel Barbosa"},{"@pid":"25/1547","text":"David Déharbe"}]},"title":"An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting.","venue":"SBMF","pages":"19-34","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/BarbosaD12","doi":"10.1007/978-3-642-33296-8_4","ee":"https://doi.org/10.1007/978-3-642-33296-8_4","url":"https://dblp.org/rec/conf/sbmf/BarbosaD12"}, "url":"URL#4463749" }, { "@score":"1", "@id":"4463750", "info":{"authors":{"author":[{"@pid":"117/3902","text":"Fernando A. F. Braz"},{"@pid":"117/3900","text":"Jader S. Cruz"},{"@pid":"117/3909","text":"Alessandra C. Faria-Campos"},{"@pid":"01/2746","text":"Sérgio Vale Aguiar Campos"}]},"title":"Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking.","venue":"SBMF","pages":"35-50","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/BrazCFC12","doi":"10.1007/978-3-642-33296-8_5","ee":"https://doi.org/10.1007/978-3-642-33296-8_5","url":"https://dblp.org/rec/conf/sbmf/BrazCFC12"}, "url":"URL#4463750" }, { "@score":"1", "@id":"4463751", "info":{"authors":{"author":[{"@pid":"44/3540","text":"Gustavo Carvalho"},{"@pid":"118/6994","text":"Diogo Falcão"},{"@pid":"m/AlexandreMota","text":"Alexandre Mota 0001"},{"@pid":"s/AugustoSampaio","text":"Augusto Sampaio"}]},"title":"A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.","venue":"SBMF","pages":"67-82","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/CarvalhoFMS12","doi":"10.1007/978-3-642-33296-8_7","ee":"https://doi.org/10.1007/978-3-642-33296-8_7","url":"https://dblp.org/rec/conf/sbmf/CarvalhoFMS12"}, "url":"URL#4463751" }, { "@score":"1", "@id":"4463752", "info":{"authors":{"author":[{"@pid":"55/10789","text":"Simone André da Costa Cavalheiro"},{"@pid":"24/37","text":"Luciana Foss"},{"@pid":"r/LeilaRibeiro","text":"Leila Ribeiro 0001"}]},"title":"Specification Patterns for Properties over Reachable States of Graph Grammars.","venue":"SBMF","pages":"83-98","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/CavalheiroFR12","doi":"10.1007/978-3-642-33296-8_8","ee":"https://doi.org/10.1007/978-3-642-33296-8_8","url":"https://dblp.org/rec/conf/sbmf/CavalheiroFR12"}, "url":"URL#4463752" }, { "@score":"1", "@id":"4463753", "info":{"authors":{"author":[{"@pid":"66/4336","text":"Jim Davies"},{"@pid":"53/1090","text":"Jeremy Gibbons"},{"@pid":"02/985","text":"David Milward"},{"@pid":"00/1221","text":"James Welch"}]},"title":"Compositionality and Refinement in Model-Driven Engineering.","venue":"SBMF","pages":"99-114","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/DaviesGMW12","doi":"10.1007/978-3-642-33296-8_9","ee":"https://doi.org/10.1007/978-3-642-33296-8_9","url":"https://dblp.org/rec/conf/sbmf/DaviesGMW12"}, "url":"URL#4463753" }, { "@score":"1", "@id":"4463754", "info":{"authors":{"author":[{"@pid":"29/7127","text":"André Didier"},{"@pid":"m/AlexandreMota","text":"Alexandre Mota 0001"}]},"title":"Identifying Hardware Failures Systematically.","venue":"SBMF","pages":"115-130","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/DidierM12","doi":"10.1007/978-3-642-33296-8_10","ee":"https://doi.org/10.1007/978-3-642-33296-8_10","url":"https://dblp.org/rec/conf/sbmf/DidierM12"}, "url":"URL#4463754" }, { "@score":"1", "@id":"4463755", "info":{"authors":{"author":[{"@pid":"32/9679","text":"Yanhong Huang"},{"@pid":"77/6283","text":"Yongxin Zhao"},{"@pid":"58/3735","text":"Jianqi Shi"},{"@pid":"40/1796","text":"Huibiao Zhu"},{"@pid":"q/ShengchaoQin","text":"Shengchao Qin"}]},"title":"Investigating Time Properties of Interrupt-Driven Programs.","venue":"SBMF","pages":"131-146","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/HuangZSZQ12","doi":"10.1007/978-3-642-33296-8_11","ee":"https://doi.org/10.1007/978-3-642-33296-8_11","url":"https://dblp.org/rec/conf/sbmf/HuangZSZQ12"}, "url":"URL#4463755" }, { "@score":"1", "@id":"4463756", "info":{"authors":{"author":[{"@pid":"48/8682","text":"Ernesto Cid Brasil de Matos"},{"@pid":"17/3197","text":"Anamaria Martins Moreira"}]},"title":"BETA: A B Based Testing Approach.","venue":"SBMF","pages":"51-66","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/MatosM12","doi":"10.1007/978-3-642-33296-8_6","ee":"https://doi.org/10.1007/978-3-642-33296-8_6","url":"https://dblp.org/rec/conf/sbmf/MatosM12"}, "url":"URL#4463756" }, { "@score":"1", "@id":"4463757", "info":{"authors":{"author":[{"@pid":"33/4870","text":"Germán Regis"},{"@pid":"118/6945","text":"Nicolás Ricci"},{"@pid":"69/610","text":"Nazareno Aguirre"},{"@pid":"m/TSEMaibaum","text":"T. S. E. Maibaum"}]},"title":"Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.","venue":"SBMF","pages":"147-162","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/RegisRAM12","doi":"10.1007/978-3-642-33296-8_12","ee":"https://doi.org/10.1007/978-3-642-33296-8_12","url":"https://dblp.org/rec/conf/sbmf/RegisRAM12"}, "url":"URL#4463757" }, { "@score":"1", "@id":"4463758", "info":{"authors":{"author":{"@pid":"02/3378","text":"John M. Rushby"}},"title":"The Versatile Synchronous Observer.","venue":"SBMF","pages":"1","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/Rushby12","doi":"10.1007/978-3-642-33296-8_1","ee":"https://doi.org/10.1007/978-3-642-33296-8_1","url":"https://dblp.org/rec/conf/sbmf/Rushby12"}, "url":"URL#4463758" }, { "@score":"1", "@id":"4463759", "info":{"authors":{"author":{"@pid":"s/WolframSchulte","text":"Wolfram Schulte"}},"title":"Thirteen Years of Automated Code Analysis at Microsoft.","venue":"SBMF","pages":"2","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/Schulte12","doi":"10.1007/978-3-642-33296-8_2","ee":"https://doi.org/10.1007/978-3-642-33296-8_2","url":"https://dblp.org/rec/conf/sbmf/Schulte12"}, "url":"URL#4463759" }, { "@score":"1", "@id":"4463760", "info":{"authors":{"author":[{"@pid":"49/5881-2","text":"Christoph Schulz 0002"},{"@pid":"09/6371","text":"Michael Löwe"},{"@pid":"24/1677","text":"Harald König"}]},"title":"Composition of Model Transformations: A Categorical Framework.","venue":"SBMF","pages":"163-178","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/SchulzLK12","doi":"10.1007/978-3-642-33296-8_13","ee":"https://doi.org/10.1007/978-3-642-33296-8_13","url":"https://dblp.org/rec/conf/sbmf/SchulzLK12"}, "url":"URL#4463760" }, { "@score":"1", "@id":"4463761", "info":{"authors":{"author":[{"@pid":"26/5412","text":"Emil Sekerinski"},{"@pid":"13/2913","text":"Tian Zhang"}]},"title":"Verification Rules for Exception Handling in Eiffel.","venue":"SBMF","pages":"179-193","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/SekerinskiZ12","doi":"10.1007/978-3-642-33296-8_14","ee":"https://doi.org/10.1007/978-3-642-33296-8_14","url":"https://dblp.org/rec/conf/sbmf/SekerinskiZ12"}, "url":"URL#4463761" }, { "@score":"1", "@id":"4463762", "info":{"authors":{"author":[{"@pid":"77/1586-1","text":"Subodh Sharma 0001"},{"@pid":"g/GGopalakrishnan","text":"Ganesh Gopalakrishnan"},{"@pid":"81/785","text":"Greg Bronevetsky"}]},"title":"A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications.","venue":"SBMF","pages":"194-209","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/SharmaGB12","doi":"10.1007/978-3-642-33296-8_15","ee":"https://doi.org/10.1007/978-3-642-33296-8_15","url":"https://dblp.org/rec/conf/sbmf/SharmaGB12"}, "url":"URL#4463762" }, { "@score":"1", "@id":"4463763", "info":{"authors":{"author":[{"@pid":"118/7066","text":"Dante Zanarini"},{"@pid":"50/2597","text":"Carlos Luna 0001"},{"@pid":"118/7027","text":"Luis Sierra"}]},"title":"Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions.","venue":"SBMF","pages":"210-225","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/sbmf/ZanariniLS12","doi":"10.1007/978-3-642-33296-8_16","ee":"https://doi.org/10.1007/978-3-642-33296-8_16","url":"https://dblp.org/rec/conf/sbmf/ZanariniLS12"}, "url":"URL#4463763" }, { "@score":"1", "@id":"4491952", "info":{"authors":{"author":[{"@pid":"10/3240","text":"Rohit Gheyi"},{"@pid":"39/2319","text":"David A. Naumann"}]},"title":"Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings","venue":["SBMF","Lecture Notes in Computer Science"],"volume":"7498","publisher":"Springer","year":"2012","type":"Editorship","key":"conf/sbmf/2012","doi":"10.1007/978-3-642-33296-8","ee":"https://doi.org/10.1007/978-3-642-33296-8","url":"https://dblp.org/rec/conf/sbmf/2012"}, "url":"URL#4491952" } ] } } } )