Johan Lidén Eddeland
Visar 11 publikationer
Multi-Requirement Testing Using Focused Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Multiple Objective Functions for Falsification of Cyber-Physical Systems
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Falsification of Signal-Based Specifications for Cyber-Physical Systems
Applying valued booleans in testing of cyber-physical systems
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata
Objective functions for falsification of signal temporal logic properties in cyber-physical systems
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.