callback( { "result":{ "query":":facetid:toc:\"db/conf/models/modevva2016.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"62.34" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"8", "@dc":"8", "@oc":"8", "@id":"43403237", "text":":facetid:toc:db/conf/models/modevva2016.bht" } }, "hits":{ "@total":"8", "@computed":"8", "@sent":"8", "@first":"0", "hit":[{ "@score":"1", "@id":"3315907", "info":{"authors":{"author":[{"@pid":"159/3610","text":"Opeyemi Adesina"},{"@pid":"93/5293","text":"Stéphane S. Somé"},{"@pid":"l/TimothyLethbridge","text":"Timothy Lethbridge"}]},"title":"Modeling State Diagrams with And-Cross Transitions.","venue":"MoDeVVa@MoDELS","pages":"46-53","year":"2016","type":"Conference and Workshop Papers","access":"open","key":"conf/models/AdesinaSL16","ee":"https://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_6.pdf","url":"https://dblp.org/rec/conf/models/AdesinaSL16"}, "url":"URL#3315907" }, { "@score":"1", "@id":"3315910", "info":{"authors":{"author":[{"@pid":"189/8691","text":"Faisal Alhwikem"},{"@pid":"p/RichardFPaige","text":"Richard F. Paige"},{"@pid":"189/8693","text":"Louis Rose"},{"@pid":"18/724","text":"Rob Alexander"}]},"title":"A Systematic Approach for Designing Mutation Operators for MDE Languages.","venue":"MoDeVVa@MoDELS","pages":"54-59","year":"2016","type":"Conference and Workshop Papers","access":"open","key":"conf/models/AlhwikemPRA16","ee":"https://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_7.pdf","url":"https://dblp.org/rec/conf/models/AlhwikemPRA16"}, "url":"URL#3315910" }, { "@score":"1", "@id":"3315916", "info":{"authors":{"author":{"@pid":"18/1312","text":"J. Christian Attiogbé"}},"title":"Mapping Component Models on Distributed Architectures: Correctness Checking.","venue":"MoDeVVa@MoDELS","pages":"1-9","year":"2016","type":"Conference and Workshop Papers","access":"open","key":"conf/models/Attiogbe16","ee":"https://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_1.pdf","url":"https://dblp.org/rec/conf/models/Attiogbe16"}, "url":"URL#3315916" }, { "@score":"1", "@id":"3315954", "info":{"authors":{"author":[{"@pid":"169/9581","text":"Christian Dernehl"},{"@pid":"159/7176","text":"Jan Kühn"},{"@pid":"k/StefanKowalewski","text":"Stefan Kowalewski"}]},"title":"Abstract Interpretation for Block Diagrams - Two Case Studies.","venue":"MoDeVVa@MoDELS","pages":"20-29","year":"2016","type":"Conference and Workshop Papers","access":"open","key":"conf/models/DernehlKK16","ee":"https://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_3.pdf","url":"https://dblp.org/rec/conf/models/DernehlKK16"}, "url":"URL#3315954" }, { "@score":"1", "@id":"3316034", "info":{"authors":{"author":[{"@pid":"54/11061","text":"Nils Przigoda"},{"@pid":"145/0339","text":"Frank Hilken"},{"@pid":"117/6783","text":"Judith Peters"},{"@pid":"98/1744","text":"Robert Wille"},{"@pid":"g/MartinGogolla","text":"Martin Gogolla"},{"@pid":"d/RolfDrechsler","text":"Rolf Drechsler"}]},"title":"Integrating an SMT-Based ModelFinder into USE.","venue":"MoDeVVa@MoDELS","pages":"40-45","year":"2016","type":"Conference and Workshop Papers","access":"open","key":"conf/models/PrzigodaHPWGD16","ee":"https://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_5.pdf","url":"https://dblp.org/rec/conf/models/PrzigodaHPWGD16"}, "url":"URL#3316034" }, { "@score":"1", "@id":"3316051", "info":{"authors":{"author":[{"@pid":"39/5044","text":"Harald Störrle"},{"@pid":"58/2631","text":"Alexander Knapp"}]},"title":"Discovering Timing Feature Interactions with Timed UML 2 Interactions.","venue":"MoDeVVa@MoDELS","pages":"10-19","year":"2016","type":"Conference and Workshop Papers","access":"open","key":"conf/models/StorrleK16","ee":"https://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_2.pdf","url":"https://dblp.org/rec/conf/models/StorrleK16"}, "url":"URL#3316051" }, { "@score":"1", "@id":"3316065", "info":{"authors":{"author":[{"@pid":"119/1642","text":"Faiez Zalila"},{"@pid":"04/2378","text":"Xavier Crégut"},{"@pid":"39/4371","text":"Marc Pantel"}]},"title":"A DSL to Feedback Formal Verification Results.","venue":"MoDeVVa@MoDELS","pages":"30-39","year":"2016","type":"Conference and Workshop Papers","access":"open","key":"conf/models/ZalilaCP16","ee":"https://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_4.pdf","url":"https://dblp.org/rec/conf/models/ZalilaCP16"}, "url":"URL#3316065" }, { "@score":"1", "@id":"3360323", "info":{"authors":{"author":[{"@pid":"82/11109","text":"Michalis Famelis"},{"@pid":"60/4196","text":"Daniel Ratiu"},{"@pid":"80/8767","text":"Gehan M. K. Selim"}]},"title":"Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016.","venue":["MoDeVVa@MoDELS","CEUR Workshop Proceedings"],"volume":"1713","publisher":"CEUR-WS.org","year":"2016","type":"Editorship","access":"open","key":"conf/models/2016modevva","ee":"https://ceur-ws.org/Vol-1713","url":"https://dblp.org/rec/conf/models/2016modevva"}, "url":"URL#3360323" } ] } } } )