callback( { "result":{ "query":":facetid:toc:\"db/conf/adaEurope/adaEurope2016.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"66.18" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"14", "@dc":"14", "@oc":"14", "@id":"43364934", "text":":facetid:toc:db/conf/adaEurope/adaEurope2016.bht" } }, "hits":{ "@total":"14", "@computed":"14", "@sent":"14", "@first":"0", "hit":[{ "@score":"1", "@id":"3200141", "info":{"authors":{"author":[{"@pid":"154/4495","text":"Laura Baracchi"},{"@pid":"00/2643","text":"Silvia Mazzini"},{"@pid":"45/6407","text":"Stefano Puri"},{"@pid":"81/2051","text":"Tullio Vardanega"}]},"title":"Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.","venue":"Ada-Europe","pages":"113-128","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/BaracchiMPV16","doi":"10.1007/978-3-319-39083-3_8","ee":"https://doi.org/10.1007/978-3-319-39083-3_8","url":"https://dblp.org/rec/conf/adaEurope/BaracchiMPV16"}, "url":"URL#3200141" }, { "@score":"1", "@id":"3200142", "info":{"authors":{"author":{"@pid":"b/AlanBurns","text":"Alan Burns 0001"}},"title":"Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems.","venue":"Ada-Europe","pages":"3-11","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/Burns16","doi":"10.1007/978-3-319-39083-3_1","ee":"https://doi.org/10.1007/978-3-319-39083-3_1","url":"https://dblp.org/rec/conf/adaEurope/Burns16"}, "url":"URL#3200142" }, { "@score":"1", "@id":"3200143", "info":{"authors":{"author":[{"@pid":"133/4399","text":"Wafa Gabsi"},{"@pid":"91/3351","text":"Bechir Zalila"},{"@pid":"58/6741","text":"Mohamed Jmaiel"}]},"title":"Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance.","venue":"Ada-Europe","pages":"129-144","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/GabsiZJ16","doi":"10.1007/978-3-319-39083-3_9","ee":"https://doi.org/10.1007/978-3-319-39083-3_9","url":"https://dblp.org/rec/conf/adaEurope/GabsiZJ16"}, "url":"URL#3200143" }, { "@score":"1", "@id":"3200144", "info":{"authors":{"author":{"@pid":"33/8524","text":"Andrew V. Jones"}},"title":"Addressing the Regression Test Problem with Change Impact Analysis for Ada.","venue":"Ada-Europe","pages":"61-77","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/Jones16","doi":"10.1007/978-3-319-39083-3_5","ee":"https://doi.org/10.1007/978-3-319-39083-3_5","url":"https://dblp.org/rec/conf/adaEurope/Jones16"}, "url":"URL#3200144" }, { "@score":"1", "@id":"3200145", "info":{"authors":{"author":[{"@pid":"160/8101","text":"Mohsen Laali"},{"@pid":"70/4981","text":"Huai Liu"},{"@pid":"05/4792","text":"Margaret Hamilton 0001"},{"@pid":"65/3176","text":"Maria Spichkova"},{"@pid":"s/HeinzWSchmidt","text":"Heinz W. Schmidt"}]},"title":"Test Case Prioritization Using Online Fault Detection Information.","venue":"Ada-Europe","pages":"78-93","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/LaaliLHSS16","doi":"10.1007/978-3-319-39083-3_6","ee":"https://doi.org/10.1007/978-3-319-39083-3_6","url":"https://dblp.org/rec/conf/adaEurope/LaaliLHSS16"}, "url":"URL#3200145" }, { "@score":"1", "@id":"3200146", "info":{"authors":{"author":{"@pid":"42/2787","text":"Franco Mazzanti"}},"title":"An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine.","venue":"Ada-Europe","pages":"94-109","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/Mazzanti16","doi":"10.1007/978-3-319-39083-3_7","ee":"https://doi.org/10.1007/978-3-319-39083-3_7","url":"https://dblp.org/rec/conf/adaEurope/Mazzanti16"}, "url":"URL#3200146" }, { "@score":"1", "@id":"3200147", "info":{"authors":{"author":[{"@pid":"173/3438-1","text":"HaiTao Mei 0001"},{"@pid":"05/7454","text":"Ian Gray"},{"@pid":"w/AndyJWellings","text":"Andy J. Wellings"}]},"title":"Real-Time Stream Processing in Java.","venue":"Ada-Europe","pages":"44-57","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/MeiGW16","doi":"10.1007/978-3-319-39083-3_4","ee":"https://doi.org/10.1007/978-3-319-39083-3_4","url":"https://dblp.org/rec/conf/adaEurope/MeiGW16"}, "url":"URL#3200147" }, { "@score":"1", "@id":"3200148", "info":{"authors":{"author":[{"@pid":"23/1714","text":"Robert Mittermayr"},{"@pid":"97/354","text":"Johann Blieberger"}]},"title":"Kronecker Algebra for Static Analysis of Barriers in Ada.","venue":"Ada-Europe","pages":"145-159","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/MittermayrB16","doi":"10.1007/978-3-319-39083-3_10","ee":"https://doi.org/10.1007/978-3-319-39083-3_10","url":"https://dblp.org/rec/conf/adaEurope/MittermayrB16"}, "url":"URL#3200148" }, { "@score":"1", "@id":"3200149", "info":{"authors":{"author":[{"@pid":"11/9033","text":"Morteza Mohaqeqi"},{"@pid":"135/1033","text":"Jakaria Abdullah"},{"@pid":"y/WangYi","text":"Wang Yi 0001"}]},"title":"Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model.","venue":"Ada-Europe","pages":"15-29","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/MohaqeqiAY16","doi":"10.1007/978-3-319-39083-3_2","ee":"https://doi.org/10.1007/978-3-319-39083-3_2","url":"https://dblp.org/rec/conf/adaEurope/MohaqeqiAY16"}, "url":"URL#3200149" }, { "@score":"1", "@id":"3200150", "info":{"authors":{"author":[{"@pid":"85/10487","text":"Héctor Pérez 0001"},{"@pid":"18/4394","text":"J. Javier Gutiérrez"},{"@pid":"05/6843","text":"Michael González Harbour"},{"@pid":"76/614","text":"J. Carlos Palencia"}]},"title":"The Polling Effect on the Schedulability of Distributed Real-Time Systems.","venue":"Ada-Europe","pages":"179-194","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/PerezGHP16","doi":"10.1007/978-3-319-39083-3_12","ee":"https://doi.org/10.1007/978-3-319-39083-3_12","url":"https://dblp.org/rec/conf/adaEurope/PerezGHP16"}, "url":"URL#3200150" }, { "@score":"1", "@id":"3200151", "info":{"authors":{"author":[{"@pid":"37/2975","text":"Jorge Real"},{"@pid":"68/3373","text":"Sergio Sáez"},{"@pid":"93/4108","text":"Alfons Crespo"}]},"title":"Combining Time-Triggered Plans with Priority Scheduled Task Sets.","venue":"Ada-Europe","pages":"195-212","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/RealSC16","doi":"10.1007/978-3-319-39083-3_13","ee":"https://doi.org/10.1007/978-3-319-39083-3_13","url":"https://dblp.org/rec/conf/adaEurope/RealSC16"}, "url":"URL#3200151" }, { "@score":"1", "@id":"3200152", "info":{"authors":{"author":[{"@pid":"97/9649","text":"Abhilash Thekkilakattil"},{"@pid":"180/4957","text":"Kaiqian Zhu"},{"@pid":"180/4958","text":"Yonggao Nie"},{"@pid":"72/922","text":"Radu Dobrin"},{"@pid":"67/907","text":"Sasikumar Punnekkat"}]},"title":"An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling.","venue":"Ada-Europe","pages":"163-178","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/ThekkilakattilZ16","doi":"10.1007/978-3-319-39083-3_11","ee":"https://doi.org/10.1007/978-3-319-39083-3_11","url":"https://dblp.org/rec/conf/adaEurope/ThekkilakattilZ16"}, "url":"URL#3200152" }, { "@score":"1", "@id":"3200153", "info":{"authors":{"author":{"@pid":"132/5317","text":"Martin Wittiger"}},"title":"Eliminating Data Race Warnings Using CSP.","venue":"Ada-Europe","pages":"30-43","year":"2016","type":"Conference and Workshop Papers","access":"closed","key":"conf/adaEurope/Wittiger16","doi":"10.1007/978-3-319-39083-3_3","ee":"https://doi.org/10.1007/978-3-319-39083-3_3","url":"https://dblp.org/rec/conf/adaEurope/Wittiger16"}, "url":"URL#3200153" }, { "@score":"1", "@id":"3358529", "info":{"authors":{"author":[{"@pid":"31/4402","text":"Marko Bertogna"},{"@pid":"86/5196","text":"Luís Miguel Pinho"},{"@pid":"21/595","text":"Eduardo Quiñones"}]},"title":"Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings","venue":["Ada-Europe","Lecture Notes in Computer Science"],"volume":"9695","publisher":"Springer","year":"2016","type":"Editorship","key":"conf/adaEurope/2016","doi":"10.1007/978-3-319-39083-3","ee":"https://doi.org/10.1007/978-3-319-39083-3","url":"https://dblp.org/rec/conf/adaEurope/2016"}, "url":"URL#3358529" } ] } } } )