The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ISoLA (2)"( http://dblp.L3S.de/Venues/ISoLA_(2) )

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

Publication years (Num. hits)
2010 (47) 2012 (36) 2014 (51) 2016 (63) 2018 (31)
Publication types (Num. hits)
inproceedings(223) proceedings(5)
Venues (Conferences, Journals, ...)
ISoLA (2)(228)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 228 publication records. Showing 228 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov Chasing Errors Using Biasing Automata. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dana Fisman, Hillel Kugler Temporal Reasoning on Incomplete Paths. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ziqing Luo, Stephen F. Siegel Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Axel Legay Statistical Model Checking the 2018 Edition! Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem Mitigating Security Risks Through Attack Strategies Exploration. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ankush Desai, Shaz Qadeer, Sanjit A. Seshia Programming Safe Robotics Systems: Challenges and Advances. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Jasper, Bernhard Steffen Synthesizing Subtle Bugs with Known Witnesses. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cyrille Jégourel, Jun Sun 0001, Jin Song Dong On the Sequential Massart Algorithm for Statistical Model Checking. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Puch, Martin Fränzle, Sebastian Gerwinn Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin Runtime and Memory Evaluation of Data Race Detection Tools. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georgios V. Pitsiladis, Petros S. Stefaneas Implementation of Privacy Calculus and Its Type Checking in Maude. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez Statistical Model Checking of Incomplete Stochastic Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Josef Strnadel Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier A Broader View on Verification: From Static to Runtime and Back (Track Summary). Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaohong Chen 0002, Grigore Rosu A Language-Independent Program Verification Framework. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Markus Schordan, Dirk Beyer 0001, Stephen F. Siegel Evaluating Tools for Software Verification (Track Introduction). Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anna-Lena Lamprecht Track Introduction - Doctoral Symposium 2018. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards Lightweight Statistical Model Checking in Nondeterministic Continuous Time. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Karlheinz Friedberger In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Matthias Dangl Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov Deductive Verification of Unmodified Linux Kernel Library Functions. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tiziana Margaria, Bernhard Steffen (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar RERS 2018: CTL, LTL, and Reachability. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fonenantsoa Maurica, David R. Cok, Julien Signoles Runtime Assertion Checking and Static Verification: Collaborative Partners. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster 0001 Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang 0001 OnTrack: The Railway Verification Toolset - Extended Abstract. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrea Rosà, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder Adaptable Runtime Monitoring for the Java Virtual Machine. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal Verification Techniques for Hybrid Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi Abstractions for Modeling Complex Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ed Seidewitz On a Unified View of Modeling and Programming Position Paper. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kahina Hacid Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerard Berry Formally Unifying Modeling and Design for Embedded Systems - A Personal View. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Prinz 0001, Birger Møller-Pedersen, Joachim Fischer Modelling and Testing of Real Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hillel Kugler Unifying Modelling and Programming: A Systems Biology Perspective. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tiziana Margaria, Bernhard Steffen (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Leucker, Malte Schmitz 0001, Danilo à Tellinghusen Runtime Verification for Interconnected Medical Devices. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas F. Rouquette Simplifying OMG MOF-Based Metamodeling. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kevin Baum What the Hack Is Wrong with Software Doping? Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabrizio Pastore, Leonardo Mariani Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Timothy C. Lethbridge, Vahdat Abdelzad, Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Opeyemi Adesina Merging Modeling and Programming Using Umple. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Basile, Felicita Di Giandomenico, Stefania Gnesi Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Malte Mauritz, Falk Howar, Andreas Rausch Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen Towards a Unified View of Modeling and Programming (Track Summary). Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen DIME: A Programming-Less Modeling Environment for Web Applications. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser Software that Meets Its Intent. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu User Profiles for Context-Aware Reconfiguration in Software Product Lines. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani Specifying and Verifying Advanced Control Features. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raphaël Khoury, Sylvain Hallé, Omar Waldmann Execution Trace Analysis Using LTL-FO ^+. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerardo Schneider On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami Runtime Verification for Stream Processing Applications. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anne Elisabeth Haxthausen, Peter H. Østergaard On the Use of Static Checking in the Verification of Interlocking Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Raúl Pardo, Gerardo Schneider On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu Introduction to the Track on Variability Modeling for Scalable Software Evolution. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns Facets of Software Doping. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Axel Legay On the Power of Statistical Model Checking. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bran Selic Programming ⊂ Modeling ⊂ Engineering. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hilding Elmqvist, Toivo Henningsson, Martin Otter Systems Modeling and Programming in a Unified Environment Based on Julia. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sean Kauffman, Rajeev Joshi, Klaus Havelund Towards a Logic for Inferring Properties of Event Streams. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maged Elaasar, Omar Badreddin Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard Model-Based Testing as a Service for IoT Platforms. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hugo Daniel Macedo, Alessandro Fantechi, Anne Elisabeth Haxthausen Compositional Verification of Multi-station Interlocking Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen ALEX: Mixed-Mode Learning of Web Applications at Ease. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Barbara Steffen, Steve Boßelmann, Axel Hessenkämper Effective and Efficient Customization Through Lean Trans-Departmental Configuration. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen Meta-Level Reuse for Mastering Domain Specialization. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers Challenges in Fault-Tolerant Distributed Runtime Verification. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Michael Lienhardt Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi Formal Methods and Safety Certification: Challenges in the Railways Domain. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Stanciulescu, Daniela Rabiser, Christoph Seidl A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Falk Howar, Karl Meinke, Andreas Rausch Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mark Schudeleit, Meng Zhang, Xiaofei Qi, Ferit Küçükay, Andreas Rausch Enhancement of an Adaptive HEV Operating Strategy Using Machine Learning Algorithms. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nils Wortmann, Malte Michel, Stefan Naujokat A Fully Model-Based Approach to Software Development for Industrial Centrifuges. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giles Reger, Klaus Havelund What Is a Trace? A Runtime Verification Perspective. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eldar Khalilov, Jordan A. Ross, Michal Antkiewicz, Markus Völter, Krzysztof Czarnecki Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini 0003, Michael Nieke, Vítor Rodrigues, Sven Schuster A Toolchain for Delta-Oriented Modeling of Software Product Lines. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini Variability-Based Design of Services for Smart Transportation Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anne Elisabeth Haxthausen, Jan Peleska 0001 On the Feasibility of a Unified Modelling and Programming Paradigm. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Klaus Havelund, Rahul Kumar Towards a Unified View of Modeling and Programming. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski Compliance, Functional Safety and Fault Detection by Formal Methods. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Harald Foidl, Michael Felderer Data Science Challenges to Improve Quality Assurance of Internet of Things Applications. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Yliès Falcone Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu Comparing AWS Deployments Using Model-Based Predictions. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Reiner Hähnle, Radu Muschevici Towards Incremental Validation of Railway Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fredrik Seehusen A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Markus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Noël Pouchet Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen Battery-Aware Scheduling of Mixed Criticality Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Samih Al-Areqi, Steffen Kriewald, Anna-Lena Lamprecht, Dominik Reusser, Markus Wrobel, Tiziana Margaria Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Leucker Challenges for the Dynamic Interconnection of Medical Devices. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 228 (100 per page; Change: )
Pages: [1][2][3][>>]
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