The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FASE"( http://dblp.L3S.de/Venues/FASE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/fase

Publication years (Num. hits)
1998 (24) 1999 (18) 2000 (28) 2001 (25) 2002 (26) 2003 (28) 2004 (29) 2005 (28) 2006 (32) 2007 (33) 2008 (32) 2009 (34) 2010 (27) 2011 (32) 2012 (35) 2013 (27) 2014 (30) 2015 (24) 2016 (26) 2017 (26) 2018 (20) 2019 (26)
Publication types (Num. hits)
inproceedings(588) proceedings(22)
Venues (Conferences, Journals, ...)
FASE(610)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 132 occurrences of 116 keywords

Results
Found 610 publication records. Showing 610 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jiaqi Qian, Min Zhang 0002, Yi Wang, Kazuhiro Ogata 0001 KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Himanshu Arora, Raghavan Komondoor, G. Ramalingam Checking Observational Purity of Procedures. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati SL2SF: Refactoring Simulink to Stateflow. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer Efficient Model Synchronization by Automatically Constructed Repair Processes. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Marie-Christine Jakobs CoVeriTest: Cooperative Verifier-Based Testing. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Golnaz Gharachorlu, Nick Sumner : Priority Aware Test Case Reduction. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi Software Assurance in an Uncertain World. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson Tool Support for Correctness-by-Construction. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Min Zhang 0002, Fu Song, Frédéric Mallet, Xiaohong Chen SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Reiner Hähnle, Wil M. P. van der Aalst (eds.) Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider Metric Temporal Graph Logic over Typed Attributed Graphs. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joonyoung Park, Alexander Jordan, Sukyoung Ryu Automatic Modeling of Opaque Code for JavaScript Static Analysis. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias Automatically Identifying Sufficient Object Builders from Module APIs. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philip Zweihoff, Stefan Naujokat, Bernhard Steffen Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hasan Ferit Eniser, Simos Gerasimou, Alper Sen 0001 DeepFault: Fault Localization for Deep Neural Networks. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro Optimal and Automated Deployment for Microservices. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chao Peng, Ajitha Rajan CLTestCheck: Measuring Test Effectiveness for GPU Kernels. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sven Schneider, Leen Lambers, Fernando Orejas A Logic-Based Incremental Approach to Graph Repair. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Li Huang, Eun-Young Kang 0001 Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Artur Boronat Offline Delta-Driven Model Transformation with Dependency Injection. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise A Data Flow Model with Frequency Arithmetic. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lawton Nichols, Mehmet Emre, Ben Hardekopf Structural and Nominal Cross-Language Clone Detection. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom Business Process Privacy Analysis in Pleak. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rolf Hennicker, Alexandre Madeira, Alexander Knapp A Hybrid Dynamic Logic for Event/Data-Based Systems. Search on Bibsonomy FASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aleksandar S. Dimovski Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi Supporting Verification-Driven Incremental Distributed Design of Components. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joonyoung Park, Kwangwon Sun, Sukyoung Ryu EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Márton Búr, Gábor Szilágyi, András Vörös 0001, Dániel Varró Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bo Chen 0008, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie CRETE: A Versatile Binary-Level Concolic Testing Framework. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau Controlling the Attack Surface of Object-Oriented Refactorings. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang 0017, Indranil Gupta, José Meseguer ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler Hierarchical Specification and Verification of Architectural Design Patterns. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles A. Sutton Summarizing Software API Usage Examples Using Clustering Techniques. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter A Formal Framework for Incremental Model Slicing. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Strüber 0001, Sven Peldszus, Jan Jürjens Taming Multi-Variability of Software Product Line Transformations. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandra Russo, Andy Schürr (eds.) Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yavuz Köroglu, Alper Sen 0001 TCM: Test Case Mutation to Improve Crash Detection in Android. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Landsberg, Youcheng Sun, Daniel Kroening Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall Fast Computation of Arbitrary Control Dependencies. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zinovy Diskin, Harald König, Mark Lawford Multiple Model Synchronization with Multiary Delta Lenses. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oszkár Semeráth, Dániel Varró Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rajesh Kumar 0012, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga Effective Analysis of Attack Trees: A Model-Driven Approach. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zinovy Diskin, Abel Gómez, Jordi Cabot Traceability Mappings as a Fundamental Instrument in Model Transformations. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jingyi Wang, Jun Sun 0001, Qixia Yuan, Jun Pang Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias Automated Workarounds from Java Program Specifications Based on SAT Solving. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chris Alvin, Brian Peterson, Supratik Mukhopadhyay StaticGen: Static Generation of UML Sequence Diagrams. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ripon Saha, Milos Gligoric Selective Bisection Debugging. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer Change and Delay Contracts for Hybrid System Component Verification. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristiano Werner Araújo, Ingrid Nunes, Daltro José Nunes On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitar Asenov, Balz Guenat, Peter Müller 0001, Martin Otth Precise Version Control of Trees with Line-Based Version Control Systems. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raymond Hu, Nobuko Yoshida Explicit Connection Actions in Multiparty Session Types. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jesús Sánchez Cuadrado Reusing Model Transformations Through Typing Requirements Models. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Steffen Zschaler, Francisco Durán GTS Families for the Flexible Composition of Graph Transformation Systems. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erhan Leblebici, Anthony Anjorin, Andy Schürr Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sven Schneider, Leen Lambers, Fernando Orejas Symbolic Model Generation for Graph Properties. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt A Unified and Formal Programming Model for Deltas and Traits. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Noomene Ben Henda, Björn Johansson 0006, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd OpenSAW: Open Security Analysis Workbench. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zheng Cheng, Massimo Tisi A Deductive Approach for Fault Localization in ATL Model Transformations. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vajih Montaghami, Derek Rayside Bordeaux: A Tool for Thinking Outside the Box. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae Slicing from Formal Semantics: Chisel. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erik Krogh Kristensen, Anders Møller Inference and Evolution of TypeScript Declaration Files. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse Family-Based Model Checking with mCRL2. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia Visual Configuration of Mobile Privacy Policies. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marieke Huisman, Julia Rubin (eds.) Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury Bucketing Failing Tests via Symbolic Analysis. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle Change-Preserving Model Repair. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aleksandar S. Dimovski, Andrzej Wasowski Variability-Specific Abstraction Refinement for Family-Based Model Checking. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcus Gerhold, Mariëlle Stoelinga Model-Based Testing of Probabilistic Systems. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lei Wang, Han Li, Xinchen Wang The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas Many-Valued Institutions for Constraint Specification. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oszkár Semeráth, András Vörös 0001, Dániel Varró Iterative and Incremental Model Generation by Logic Solvers. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo Automated Model Merge by Design Space Exploration. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Strüber 0001, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pauline Bolignano, Thomas Jensen, Vincent Siles Modeling and Abstraction of Memory Management in a Hypervisor. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Tevfik Bultan Automated Choreography Repair. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adrián Riesco, Kazuhiro Ogata 0001, Kokichi Futatsugi CafeInMaude: A CafeOBJ Interpreter in Maude. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Perdita Stevens, Andrzej Wasowski (eds.) Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sander de Putter, Anton Wijs Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oscar Nierstrasz The Death of Object-Oriented Programming. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Philipp Hoffmann Reduction Rules for Colored Workflow Nets. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Cezary Kaliszyk Towards Formal Proof Metrics. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina PVAIR: Partial Variable Assignment InterpolatoR. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine Integrated Environment for Verifying and Running Distributed Components. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raymond Hu, Nobuko Yoshida Hybrid Session Verification Through Endpoint API Generation. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ali Sajedi Badashian, Abram Hindle, Eleni Stroulia Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic Translation Validation for Clock Transformations in a Synchronous Compiler. Search on Bibsonomy FASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kenan Liu, Gustavo Pinto 0001, Yu David Liu Data-Oriented Characterization of Application-Level Energy Optimization. Search on Bibsonomy FASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 610 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license