Falk - PDFSEARCH.IO - Document Search Engine

Falk
Results: 1100

#	Item
1	arXiv:1810.07630v2 [cs.IT] 18 OctProperties of Constacyclic Codes Under the Schur Product Brett Hemenway Falk∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-18 20:17:09 Algebra Coding theory Abstract algebra Mathematics Finite fields Linear code Cyclic code Generating function Goppa code Rank Generator matrix Krull dimension
2	Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Finite automata Machine learning Artificial intelligence Dana Angluin Finite-state machine Active learning Theoretical computer science Formal languages Learning Model checking Cellular automata Induction of regular languages
3	Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Real-time computing Scheduling Technology Computer architecture System software Embedded operating systems Automotive software OSEK Worst-case execution time Real-time operating system Uppaal Model Checker Model checking
4	RALib: A LearnLib extension for inferring EFSMs Sofia Cassel Falk Howar Bengt Jonsson Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Formal languages Finite-state machine Algorithm Regular expression Mathematics Machine learning Computer programming Philosophy of mathematics
5	Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Software testing Software engineering Computing Software development Symbolic execution Random testing Unit testing Code coverage Test automation Algorithm Manual testing Concolic testing
6	Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Computing Software engineering Formal methods Software Theoretical computer science Simulation software Visual programming languages Numerical software Simulink SIGNAL Autopilot Formal verification
7	Automated Generation of Requirements-based Test Cases for an Adaptive Cruise Control System Adina Aniculaesei Falk Howar Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Software testing Software engineering Test suite Test case Code coverage Test automation Software requirements NuSMV Requirement Reliability engineering
8	Learning-Based Testing the Sliding Window Behavior of TCP Implementations Paul Fiter˘au-Bro¸stean?1 and Falk Howar2 1 Institute for Computing and Information Sciences, Radboud University, Nijmegen, Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Transmission Control Protocol Constructible universe Algorithm Sliding window protocol Mathematics Dimension reduction Computing Philosophy of mathematics
9	JDart: A Dynamic Symbolic Analysis Framework? Kasper Luckow1 , Marko Dimjašević2 , Dimitra Giannakopoulou3 , Falk Howar4 , Malte Isberner5 , Temesghen Kahsai1,3 , Zvonimir Rakamarić2 , and Vishwanath Raman6 1 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Theoretical computer science Software testing Software engineering Computing Constraint programming Automated theorem proving Concolic testing Symbolic execution Satisfiability modulo theories Java Pathfinder Solver KeY
10	Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Finite-state machine Image segmentation Machine learning Cellular automata Finite automata Automata theory Cognition Cognitive science Artificial intelligence

UPDATE