Formal Modeling and Verification of Cyber-Physical Systems
暂无分享,去创建一个
[1] Joerg Bormann. Complete Functional Verification , 2009 .
[2] Stephen H. Fairclough,et al. A research agenda for physiological computing , 2004, Interact. Comput..
[3] E. Lutz,et al. Experimental verification of Landauer’s principle linking information and thermodynamics , 2012, Nature.
[4] Bonhye Koo,et al. Evaluation of anodic TA2O5 as the dielectric layer for EWOD devices , 2012, 2012 IEEE 25th International Conference on Micro Electro Mechanical Systems (MEMS).
[5] Sami Haddadin,et al. Towards Safe Robots - Approaching Asimov's 1st Law , 2013, Springer Tracts in Advanced Robotics.
[6] Alin Albu-Schäffer,et al. Modular state-based behavior control for safe human-robot interaction: A lightweight control architecture for a lightweight robot , 2011, 2011 IEEE International Conference on Robotics and Automation.
[7] Görschwin Fey,et al. Equivalence Checking on System Level using Stepwise Induction , 2014, MBMV.
[8] Martin A. Brooke,et al. Progress in Chip-Scale Photonic Sensing , 2009, IEEE Transactions on Biomedical Circuits and Systems.
[9] Cesare Tinelli,et al. Handbook of Satisfiability , 2021, Handbook of Satisfiability.
[10] Thorsten Joachims,et al. Contextually guided semantic labeling and search for three-dimensional point clouds , 2013, Int. J. Robotics Res..
[11] Anne Elisabeth Haxthausen,et al. Modelling and Verification of Relay Interlocking Systems , 2008, Monterey Workshop.
[12] J. Weizenbaum. From Computer Power and Human Reason From Judgment to Calculation , 2007 .
[13] Antoine Girard,et al. Reachability Analysis of Hybrid Systems Using Support Functions , 2009, CAV.
[14] Alex Groce,et al. From scripts to specifications: the evolution of a flight software testing effort , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[15] J. Crandall,et al. Dynamic injury tolerances for long bones of the female upper extremity , 1999, Journal of anatomy.
[16] Elsa Andrea Kirchner,et al. Velocity-Based Multiple Change-Point Inference for Unsupervised Segmentation of Human Movement Behavior , 2014, 2014 22nd International Conference on Pattern Recognition.
[17] P. Ramadge,et al. Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems , 1993, IEEE Trans. Autom. Control..
[18] Alessandro De Luca,et al. Compliance Control for an Anthropomorphic Robot with Elastic Joints: Theory and Experiments , 2005 .
[19] Wolfgang Kuehn,et al. Rigorously computed orbits of dynamical systems without the wrapping effect , 1998, Computing.
[20] Moshe Y. Vardi. From Church and Prior to PSL , 2008, 25 Years of Model Checking.
[21] Bernd Becker,et al. Equivalence checking of partial designs using dependency quantified Boolean formulae , 2013, 2013 IEEE 31st International Conference on Computer Design (ICCD).
[22] Vijay Srinivasan,et al. Development of a digital microfluidic platform for point of care testing. , 2008, Lab on a chip.
[23] Sylvain Joyeux,et al. Robot development: from components to systems , 2011 .
[24] Aaron R. Bradley,et al. SAT-Based Model Checking without Unrolling , 2011, VMCAI.
[25] Niccolò Battezzati,et al. Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications , 2014 .
[26] Klaus Schneider,et al. The Synchronous Programming Language Quartz , 2009 .
[27] D. Viano,et al. Role of impact velocity and chest compression in thoracic injury. , 1983, Aviation, space, and environmental medicine.
[28] A. Guiseppi-Elie,et al. Design of a subcutaneous implantable biochip for monitoring of glucose and lactate , 2005, IEEE Sensors Journal.
[29] M. Hallett,et al. What is the Bereitschaftspotential? , 2006, Clinical Neurophysiology.
[30] Tracy Larrabee,et al. Test pattern generation using Boolean satisfiability , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[31] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[32] Nur A. Touba. X-canceling MISR — An X-tolerant methodology for compacting output responses with unknowns using a MISR , 2007, 2007 IEEE International Test Conference.
[33] Kent L. Beck,et al. Test-driven Development - by example , 2002, The Addison-Wesley signature series.
[34] Gerd Herzog,et al. VIsual TRAnslator: Linking perceptions and natural language descriptions , 1994, Artificial Intelligence Review.
[35] Oussama Khatib,et al. Inertial Properties in Robotic Manipulation: An Object-Level Framework , 1995, Int. J. Robotics Res..
[36] Koen Claessen. A Coverage Analysis for Safety Property Lists , 2007, Formal Methods in Computer Aided Design (FMCAD'07).
[37] Thomas R. Kurfess,et al. Robotics And Automation Handbook , 2019 .
[38] Alin Albu-Schäffer,et al. An Analytical Method for the Planning of Robust Assembly Tasks of Complex Shaped Planar Parts , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[39] Christoph Scholl,et al. Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns , 2013, IEEE Transactions on Computers.
[40] Robert Wille,et al. Verifying consistency between activity diagrams and their corresponding OCL contracts , 2014, Proceedings of the 2014 Forum on Specification and Design Languages (FDL).
[41] Kurt Antreich,et al. Accelerated Fault Simulation and Fault Grading in Combinational Circuits , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[42] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[43] Koushik Sen,et al. Rule-Based Runtime Verification , 2004, VMCAI.
[44] H. Kazerooni,et al. Biomechanical design of the Berkeley lower extremity exoskeleton (BLEEX) , 2006, IEEE/ASME Transactions on Mechatronics.
[45] Jun Tani,et al. On-line Imitative Interaction with a Humanoid Robot Using a Dynamic Neural Network Model of a Mirror System , 2004, Adapt. Behav..
[46] Gérard Berry,et al. The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.
[47] Vladimir J. Lumelsky,et al. Real-time collision avoidance in teleoperated whole-sensitive robot arm manipulators , 1993, IEEE Trans. Syst. Man Cybern..
[48] Rolf Drechsler,et al. Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques , 2007, FDL.
[49] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[50] Jan Peleska,et al. Industrial-Strength Model-Based Testing - State of the Art and Current Challenges , 2013, MBT.
[51] Albert R. Meyer,et al. Word problems requiring exponential time(Preliminary Report) , 1973, STOC.
[52] Klaus Schneider,et al. From synchronous programs to symbolic representations of hybrid systems , 2010, HSCC '10.
[53] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[54] Oliver Birbach,et al. An Entertainment Robot for Playing Interactive Ball Games , 2013, RoboCup.
[55] Elizabeth M. Rudnick,et al. On potential fault detection in sequential circuits , 1996, Proceedings International Test Conference 1996. Test and Design Validity.
[56] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[57] Stephan Merz,et al. Model Checking , 2000 .
[58] David Z. Pan,et al. A High-Performance Droplet Routing Algorithm for Digital Microfluidic Biochips , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[59] Robert Platt,et al. Multiple-priority impedance control , 2011, 2011 IEEE International Conference on Robotics and Automation.
[60] Jan Christian Albiez,et al. A Multimodal Brain-arm Interface for Operation of Complex Robotic Systems and Upper Limb Motor Recovery , 2011, BIODEVICES.
[61] Peter Stone,et al. Transfer Learning for Reinforcement Learning Domains: A Survey , 2009, J. Mach. Learn. Res..
[62] Antoine Girard,et al. Verification of Safety and Liveness Properties of Metric Transition Systems , 2012, TECS.
[63] Yao-Wen Chang,et al. Cross-contamination aware design methodology for pin-constrained digital microfluidic biochips , 2010, Design Automation Conference.
[64] Wolfram Burgard,et al. Safety Evaluation of Physical Human-Robot Interaction via Crash-Testing , 2008 .
[65] Frank Kirchner,et al. Introducing particle swarm optimization into a genetic algorithm to evolve robot controllers , 2014, GECCO.
[66] B. Libet,et al. Time of conscious intention to act in relation to onset of cerebral activity (readiness-potential). The unconscious initiation of a freely voluntary act. , 1983, Brain : a journal of neurology.
[67] Elsa Andrea Kirchner,et al. Multimodal Movement Prediction - Towards an Individual Assistance of Patients , 2014, PloS one.
[68] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[69] Helmut Veith,et al. iDQ: Instantiation-Based DQBF Solving , 2014, POS@SAT.
[70] Michael Kirkedal Thomsen. A functional language for describing reversible logic , 2012, Proceeding of the 2012 Forum on Specification and Design Languages.
[71] Stefan Kopp,et al. Embodied Gesture Processing: Motor-Based Integration of Perception and Action in Social Artificial Agents , 2010, Cognitive Computation.
[72] Sharad Malik,et al. Conflict driven learning in a quantified Boolean Satisfiability solver , 2002, ICCAD 2002.
[73] Pieter Abbeel,et al. Superhuman performance of surgical tasks by robots using iterative learning from human-guided demonstrations , 2010, 2010 IEEE International Conference on Robotics and Automation.
[74] John J. Craig,et al. A systematic method of hybrid position/force control of a manipulator , 1979, COMPSAC.
[75] Eric Eaton,et al. Active Task Selection for Lifelong Machine Learning , 2013, AAAI.
[76] Christian Ott,et al. Unified Impedance and Admittance Control , 2010, 2010 IEEE International Conference on Robotics and Automation.
[77] Bernd Becker,et al. Proving QBF-hardness in Bounded Model Checking for Incomplete Designs , 2013, 2013 14th International Workshop on Microprocessor Test and Verification.
[78] Enrico Giunchiglia,et al. sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning , 2010, SAT.
[79] Athena Vakali,et al. Contextual object category recognition for RGB-D scene labeling , 2014, Robotics Auton. Syst..
[80] Charles André,et al. Syntax and Semantics of the Clock Constraint Specification Language (CCSL) , 2009 .
[81] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[82] Marco Roveri,et al. Kratos - A Software Model Checker for SystemC , 2011, CAV.
[83] Edward J. McCluskey,et al. Which concurrent error detection scheme to choose ? , 2000, Proceedings International Test Conference 2000 (IEEE Cat. No.00CH37159).
[84] Narayanan Vijaykrishnan,et al. Priority Scheduling in Digital Microfluidics-Based Biochips , 2006, Proceedings of the Design Automation & Test in Europe Conference.
[85] Udo Frese,et al. Task level optimal control of a simulated ball batting robot , 2014, 2014 11th International Conference on Informatics in Control, Automation and Robotics (ICINCO).
[86] Ondrej Lhoták,et al. Adding trace matching with free variables to AspectJ , 2005, OOPSLA '05.
[87] Krishnendu Chakrabarty,et al. Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip , 2010, JETC.
[88] Marjan Sirjani,et al. An effective approach for model checking SystemC designs , 2008, 2008 8th International Conference on Application of Concurrency to System Design.
[89] Leopoldo Altamirano Robles,et al. Teaching a Robot to Perform Task through Imitation and On-line Feedback , 2011, CIARP.
[90] Robert Riener,et al. ARMin II - 7 DoF rehabilitation robot: mechanics and kinematics , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[91] Mingsong Chen,et al. Towards RTL test generation from SystemC TLM specifications , 2007, 2007 IEEE International High Level Design Validation and Test Workshop.
[92] Daniel Kroening,et al. Scoot: A Tool for the Analysis of SystemC Models , 2008, TACAS.
[93] N. Cheshire,et al. Initial Clinical Application of a Robotically Steerable Catheter System in Endovascular Aneurysm Repair , 2009, Journal of endovascular therapy : an official journal of the International Society of Endovascular Specialists.
[94] R. Fair,et al. Electrowetting-based actuation of droplets for integrated microfluidics. , 2002, Lab on a chip.
[95] Krishnendu Chakrabarty,et al. Droplet-trace-based array partitioning and a pin assignment algorithm for the automated design of digital microfluidic biochips , 2006, Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '06).
[96] Walter D. Pilkey,et al. Small Female Upper Extremity Interaction with a Deploying Side Air Bag , 1998 .
[97] Kazuhiro Kosuge,et al. Collision detection system for manipulator based on adaptive impedance control law , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).
[98] Krishnendu Chakrabarty,et al. Biochemistry Synthesis on a Cyberphysical Digital Microfluidics Platform Under Completion-Time Uncertainties in Fluidic Operations , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[99] Kai Hu,et al. Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[100] Antoine Girard,et al. Hybridization methods for the analysis of nonlinear systems , 2007, Acta Informatica.
[101] Elmar Nöth,et al. VERBMOBIL: the use of prosody in the linguistic components of a speech understanding system , 2000, IEEE Trans. Speech Audio Process..
[102] Lucas Bordeaux,et al. Propositional Satisfiability and Constraint Programming: A comparative survey , 2006, CSUR.
[103] Wensheng Xu,et al. A Robot Control System Based on Gesture Recognition Using Kinect , 2013 .
[104] Klaus Schneider,et al. A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems , 2015, MBMV.
[105] Ravi Balasubramanian,et al. The Human Hand as an Inspiration for Robot Hand Development , 2014, Springer Tracts in Advanced Robotics.
[106] Masahiro Fujita,et al. SAT-Based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions , 2012, 2012 IEEE 21st Asian Test Symposium.
[107] Howard Barringer,et al. Rule Systems for Run-time Monitoring: from Eagle to RuleR , 2010, J. Log. Comput..
[108] P. Sajda,et al. Cortically coupled computer vision for rapid image search , 2006, IEEE Transactions on Neural Systems and Rehabilitation Engineering.
[109] Görschwin Fey,et al. Analyzing an SET at Gate Level using a Conservative Approach , 2015 .
[110] A. W. Roscoe,et al. FDR3 - A Modern Refinement Checker for CSP , 2014, TACAS.
[111] Krishnendu Chakrabarty,et al. Broadcast electrode-addressing for pin-constrained multi-functional digital microfluidic biochips , 2008, 2008 45th ACM/IEEE Design Automation Conference.
[112] Yao-Wen Chang,et al. BioRoute: A Network-Flow-Based Routing Algorithm for the Synthesis of Digital Microfluidic Biochips , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[113] Haruhisa Kawasaki,et al. Dexterous anthropomorphic robot hand with distributed tactile sensor: Gifu hand II , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).
[114] Paulo F. Flores,et al. An exact solution to the minimum size test pattern problem , 2001, TODE.
[115] Grigore Rosu,et al. An overview of the MOP runtime verification framework , 2012, International Journal on Software Tools for Technology Transfer.
[116] Yasuhisa Hasegawa,et al. Intention-based walking support for paraplegia patients with Robot Suit HAL , 2007, Adv. Robotics.
[117] Michael S. Hsiao,et al. Testing, verification, and diagnosis in the presence of unknowns , 2000, Proceedings 18th IEEE VLSI Test Symposium.
[118] Bernd Becker,et al. Exact Logic and Fault Simulation in Presence of Unknowns , 2014, TODE.
[119] Moritz Tenorth,et al. KnowRob: A knowledge processing infrastructure for cognition-enabled robots , 2013, Int. J. Robotics Res..
[120] Peter Wohl,et al. Increasing Scan Compression by Using X-chains , 2008, 2008 IEEE International Test Conference.
[121] Krishnendu Chakrabarty,et al. Synchronization of washing operations with droplet routing for cross-contamination avoidance in digital microfluidic biochips , 2010, Design Automation Conference.
[122] Doron Drusinsky,et al. The Temporal Rover and the ATG Rover , 2000, SPIN.
[123] Qiang Yang,et al. Lifelong Machine Learning Systems: Beyond Learning Algorithms , 2013, AAAI Spring Symposium: Lifelong Machine Learning.
[124] Krishnendu Chakrabarty,et al. Cross-contamination avoidance for droplet routing in digital microfluidic biochips , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.
[125] Nicolas Halbwachs,et al. Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.
[126] Klaus Havelund,et al. Verify Your Runs , 2005, VSTTE.
[127] Fabrizio Ferrandi,et al. A Framework for the Functional Verification of SystemC Models , 2005, International Journal of Parallel Programming.
[128] Brett Browning,et al. A survey of robot learning from demonstration , 2009, Robotics Auton. Syst..
[129] Alin Albu-Schäffer,et al. Requirements for Safe Robots: Measurements, Analysis and New Insights , 2009, Int. J. Robotics Res..
[130] Thao Dang,et al. Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion , 2012, Reliab. Comput..
[131] Mark Mohammad Tehranipoor,et al. A Novel Faster-Than-at-Speed Transition-Delay Test Method Considering IR-Drop Effects , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[132] Volker Stolz,et al. Temporal Assertions using AspectJ , 2006, Electron. Notes Theor. Comput. Sci..
[133] H. Morgan,et al. Programmable large area digital microfluidic array with integrated droplet sensing for bioassays. , 2012, Lab on a chip.
[134] Bernd Becker,et al. Solving DQBF through quantifier elimination , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[135] István Babcsányi. Equivalence of Mealy and Moore Automata , 2000, Acta Cybern..
[136] G. De Maria,et al. Force/tactile sensor for robotic applications , 2012 .
[137] M. Coles. Modern mind-brain reading: psychophysiology, physiology, and cognition. , 1989, Psychophysiology.
[138] Oliver Birbach,et al. A precise tracking algorithm based on raw detector responses and a physical motion model , 2013, 2013 IEEE International Conference on Robotics and Automation.
[139] Rolf Drechsler,et al. Behavior Driven Development for circuit design and verification , 2012, 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT).
[140] Stefan Schaal,et al. Computational approaches to motor learning by imitation. , 2003, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.
[141] Thorsten Grotker,et al. System Design with SystemC , 2002 .
[142] Karl-Friedrich Böhringer,et al. Modeling and Controlling Parallel Tasks in Droplet-Based Microfluidic Systems , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[143] José A. De Doná,et al. Solution of the input-constrained LQR problem using dynamic programming , 2007, Syst. Control. Lett..
[144] Sami Haddadin,et al. Reaching desired states time-optimally from equilibrium and vice versa for visco-elastic joint robots with limited elastic deflection , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[145] Rolf Drechsler,et al. Using QBF to increase accuracy of SAT-based debugging , 2010, Proceedings of 2010 IEEE International Symposium on Circuits and Systems.
[146] Alin Albu-Schäffer,et al. Cartesian impedance control of redundant robots: recent results with the DLR-light-weight-arms , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).
[147] Yoji Yamada,et al. A failure-to-safety "Kyozon" system with simple contact detection and stop capabilities for safe human-autonomous robot coexistence , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.
[148] Paul Benoit,et al. Météor: A Successful Application of B in a Large Project , 1999, World Congress on Formal Methods.
[149] Paul Le Guernic,et al. Polychronous controller synthesis from MARTE CCSL timing specifications , 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
[150] Marcelo d'Amorim,et al. Event-based runtime verification of java programs , 2005, ACM SIGSOFT Softw. Eng. Notes.
[151] J. P. Danforth,et al. Impact Tolerance of the Skull and Face , 1968 .
[152] Joseph Weizenbaum,et al. ELIZA—a computer program for the study of natural language communication between man and machine , 1966, CACM.
[153] Leendert M. Huisman,et al. Symbolic implication in test generation , 1991, Proceedings of the European Conference on Design Automation..
[154] Tiziana Margaria,et al. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 , 2001, International Journal on Software Tools for Technology Transfer.
[155] Laurent Fribourg,et al. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems , 2012, FM.
[156] Dennis J. McFarland,et al. Brain–computer interfaces for communication and control , 2002, Clinical Neurophysiology.
[157] Jan Peters,et al. A Survey on Policy Search for Robotics , 2013, Found. Trends Robotics.
[158] Rolf Drechsler,et al. Checkers for SystemC designs , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
[159] Tsung-Wei Huang,et al. Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
[160] Sudhakar M. Reddy,et al. Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis , 2009, 2009 22nd International Conference on VLSI Design.
[161] Peter Muth,et al. A Nine-Valued Circuit Model for Test Generation , 1976, IEEE Transactions on Computers.
[162] Alan M. Nahum,et al. An Experimental Model for Closed Head Impact Injury , 1976 .
[163] David Luckham,et al. The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.
[164] Martin Fränzle,et al. HySAT: An efficient proof engine for bounded model checking of hybrid systems , 2007, Formal Methods Syst. Des..
[165] Bruno Castro da Silva,et al. Learning Parameterized Skills , 2012, ICML.
[166] Grigore Rosu,et al. Parametric Trace Slicing and Monitoring , 2009, TACAS.
[167] Mark R. Greenstreet. Verifying Safety Properties of Differential Equations , 1996, CAV.
[168] Bernard Harris,et al. Graph theory and its applications , 1970 .
[169] Kurt Keutzer,et al. Coverage Metrics for Functional Validation of Hardware Designs , 2001, IEEE Des. Test Comput..
[170] Prabhakar Goel,et al. An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits , 1981, IEEE Transactions on Computers.
[171] Jan Christian Albiez,et al. Towards Assistive Robotics for Home Rehabilitation , 2013, BIODEVICES.
[172] Alin Albu-Schäffer,et al. A Unified Passivity-based Control Framework for Position, Torque and Impedance Control of Flexible Joint Robots , 2007, Int. J. Robotics Res..
[173] Ernst G. Ulrich,et al. Concurrent simulation of nearly identical digital networks , 1973, Computer.
[174] Bernhard H Weigl,et al. Microfluidic technologies in clinical diagnostics. , 2002, Clinica chimica acta; international journal of clinical chemistry.
[175] Eugene Asarin,et al. Using Redundant Constraints for Refinement , 2010, ATVA.
[176] Moayad Fahim Ali,et al. Fault diagnosis and logic debugging using Boolean satisfiability , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[177] Robert Wille,et al. Verifying dynamic aspects of UML models , 2011, 2011 Design, Automation & Test in Europe.
[178] F. Freeman,et al. Evaluation of an adaptive automation system using three EEG indices with a visual tracking task , 1999, Biological Psychology.
[179] Rajeev Alur,et al. Formal verification of hybrid systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
[180] Oded Maler,et al. Algorithmic Verification of Continuous and Hybrid Systems , 2014, INFINITY.
[181] Bernd Becker,et al. Small-delay-fault ATPG with waveform accuracy , 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[182] Sophie Sakka,et al. Support changes during online human motion imitation by a humanoid robot using task specification , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[183] Krishnendu Chakrabarty,et al. Design Tools for Digital Microfluidic Biochips: Toward Functional Diversification and More Than Moore , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[184] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[185] Matthew M. Williamson,et al. Series elastic actuators , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.
[186] Bruno Castro da Silva,et al. Active Learning of Parameterized Skills , 2014, ICML.
[187] Berthold Bäuml,et al. Realtime perception for catching a flying ball with a mobile humanoid , 2011, 2011 IEEE International Conference on Robotics and Automation.
[188] Bernd Becker,et al. Checking equivalence for partial implementations , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[189] C. Kim,et al. Direct-Referencing Two-Dimensional-Array Digital Microfluidics Using Multilayer Printed Circuit Board , 2008, Journal of Microelectromechanical Systems.
[190] Bernd Becker,et al. Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs , 2010, SAT.
[191] Sofiène Tahar,et al. An Approach for the Verification of SystemC Designs Using AsmL , 2005, ATVA.
[192] Eric Bodden. MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration) , 2011, RV.
[193] Rolf Dieter Schraft,et al. Robot-Dummy Crash Tests for Robot Safety Assessment , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[194] Sirko Straube,et al. Online movement prediction in a robotic application scenario , 2013, 2013 6th International IEEE/EMBS Conference on Neural Engineering (NER).
[195] Michael R. Zinn,et al. A New Actuation Approach for Human Friendly Robot Design , 2004, Int. J. Robotics Res..
[196] Jeffrey D. Black. Best Practices in Radiation Hardening by Design: CMOS , 2012 .
[197] Klaus Havelund,et al. A Tutorial on Runtime Verification , 2013, Engineering Dependable Software Systems.
[198] Bernd Becker,et al. Extraction, Simulation and Test Generation for Interconnect Open Defects Based on Enhanced Aggressor-Victim Model , 2008, 2008 IEEE International Test Conference.
[199] Kristinn R. Thórisson,et al. Learning Problem Solving Skills from Demonstration: An Architectural Approach , 2011, AGI.
[200] V. R. Hodgson,et al. Comparison of Head Acceleration Injury Indices in Cadaver Skull Fracture , 1971 .
[201] Antoine Girard,et al. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs , 2006, HSCC.
[202] Alexander Fabisch,et al. Active contextual policy search , 2014, J. Mach. Learn. Res..
[203] Christophe Jacquet,et al. Semantic Adaptation Using CCSL Clock Constraints , 2011, MoDELS.
[204] C. Y. Warner,et al. Force/deflection and fracture characteristics of the temporo-parietal region of the human head , 1991 .
[205] Marco Roveri,et al. Verifying SystemC: A software model checking approach , 2010, Formal Methods in Computer Aided Design.
[206] Jonathan Streit,et al. SALT - Structured Assertion Language for Temporal Logic , 2006, ICFEM.
[207] Insup Lee,et al. Robust Test Generation and Coverage for Hybrid Systems , 2007, HSCC.
[208] Anneli Folkesson,et al. Numerical methods for engineers , 2007 .
[209] Bruce H. Krogh,et al. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.
[210] G. Pfurtscheller,et al. Prosthetic Control by an EEG-based Brain-Computer Interface (BCI) , 2001 .
[211] Xing Chen,et al. Continuous flow microfluidic device for cell separation, cell lysis and DNA purification. , 2007, Analytica chimica acta.
[212] E. Donchin,et al. Talking off the top of your head: toward a mental prosthesis utilizing event-related brain potentials. , 1988, Electroencephalography and clinical neurophysiology.
[213] W. Edwards,et al. Cortical and trabecular bone contribute strength to the osteopenic distal radius , 1994, Journal of orthopaedic research : official publication of the Orthopaedic Research Society.
[214] Oussama Khatib,et al. Synthesis of Whole-Body Behaviors through Hierarchical Control of Behavioral Primitives , 2005, Int. J. Humanoid Robotics.
[215] Goran Frehse,et al. Flowpipe approximation and clustering in space-time , 2013, HSCC '13.
[216] Robert Wille,et al. SyReC: A Programming Language for Synthesis of Reversible Circuits , 2010, FDL.
[217] Stefano Stramigioli,et al. Modeling and IPC Control of Interactive Mechanical Systems - A Coordinate-Free Approach , 2001 .
[218] Edward Petersen,et al. Single Event Effects in Aerospace , 2011 .
[219] Alex Groce,et al. Formal Analysis of Log Files , 2010, J. Aerosp. Comput. Inf. Commun..
[220] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[221] Ling Yin,et al. Correct Transformation from CCSL to Promela for verification , 2012 .
[222] Gérard Cornuéjols,et al. An algorithmic framework for convex mixed integer nonlinear programs , 2008, Discret. Optim..
[223] Barry K. Rosen,et al. Restricted symbolic evaluation is fast and useful , 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[224] Bernd Becker,et al. Provably optimal test cube generation using quantified boolean formula solving , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
[225] Robert Platt,et al. Optimal sampling-based planning for linear-quadratic kinodynamic systems , 2013, 2013 IEEE International Conference on Robotics and Automation.
[226] Robert Wille,et al. Automatic refinement checking for formal system models , 2014, Proceedings of the 2014 Forum on Specification and Design Languages (FDL).
[227] Martin Leucker,et al. Monitoring modulo theories , 2016, International Journal on Software Tools for Technology Transfer.
[228] Fei Su,et al. Architectural-level synthesis of digital microfluidics-based biochips , 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
[229] Robert Riener,et al. ARMin – Roboter für die Bewegungstherapie der oberen Extremitäten (ARMin – Robot for Movement Therapy of the Upper Extremities) , 2005, Autom..
[230] Marco Flagg. Dataflow principles applied to real-time multiprocessing , 1989, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.
[231] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[232] Jianghai Hu,et al. Stochastic Hybrid Systems , 2013 .
[233] Volker Stolz,et al. Runtime Verification of Concurrent Haskell Programs , 2005, RV@ETAPS.
[234] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[235] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[236] Robert Wille,et al. Exact routing for digital microfluidic biochips with temporary blockages , 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[237] Alan M. Nahum,et al. Impact tolerance and response of the human thorax II , 1971 .
[238] Amir Pnueli,et al. Distributed reactive systems are hard to synthesize , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
[239] Alex Groce,et al. Rule Systems for Runtime Verification: A Short Tutorial , 2009, RV.
[240] Grigore Rosu,et al. Monitoring programs using rewriting , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[241] Heinz Wörn,et al. An intelligent and autonomous endoscopic guidance system for minimally invasive surgery , 2011, 2011 IEEE International Conference on Robotics and Automation.
[242] G. S. Tseitin. On the Complexity of Derivation in Propositional Calculus , 1983 .
[243] Jan-Christoph Küster,et al. From Propositional to First-Order Monitoring , 2013, RV.
[244] Xin Chen,et al. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.
[245] Martin Leucker,et al. The Good, the Bad, and the Ugly, But How Ugly Is Ugly? , 2007, RV.
[246] Olivier Ponsini,et al. Verification of an industrial SystemC/TLM model using LOTOS and CADP , 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
[247] Olivier Bournez,et al. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.
[248] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[249] Bruno Siciliano,et al. Six-DOF impedance control based on angle/axis representations , 1999, IEEE Trans. Robotics Autom..
[250] Robert Wille,et al. Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL , 2014, 2014 19th International Conference on Engineering of Complex Computer Systems.
[251] Sebastian Thrun,et al. Lifelong robot learning , 1993, Robotics Auton. Syst..
[252] Matt Wynne,et al. The Cucumber Book: Behaviour-Driven Development for Testers and Developers , 2012 .
[253] Jan Christian Albiez,et al. A bio-inspired haptic interface for tele-robotics applications , 2009, 2008 IEEE International Conference on Robotics and Biomimetics.
[254] Robert Wille,et al. Circuit Line Minimization in the HDL-Based Synthesis of Reversible Logic , 2012, 2012 IEEE Computer Society Annual Symposium on VLSI.
[255] Klaus Havelund,et al. Data Automata in Scala , 2014, 2014 Theoretical Aspects of Software Engineering Conference.
[256] Bernd Becker,et al. X-masking during logic BIST and its impact on defect coverage , 2006, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
[257] Hong Liu,et al. Multisensory five-finger dexterous hand: The DLR/HIT Hand II , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[258] K. Chakrabarty,et al. Module placement for fault-tolerant microfluidics-based biochips , 2004, ACM Trans. Design Autom. Electr. Syst..
[259] Alessandro De Luca,et al. Collision Detection and Safe Reaction with the DLR-III Lightweight Manipulator Arm , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[260] Klaus Havelund,et al. Runtime Verification of C Programs , 2008, TestCom/FATES.
[261] Matthias Althoff,et al. Avoiding geometric intersection operations in reachability analysis of hybrid systems , 2012, HSCC '12.
[262] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[263] Pravin Varaiya,et al. Dynamics and Control of Trajectory Tubes , 2014 .
[264] Sarah J. Housman,et al. A Randomized Controlled Trial of Gravity-Supported, Computer-Enhanced Arm Exercise for Individuals With Severe Hemiparesis , 2009, Neurorehabilitation and neural repair.
[265] Florian Lonsing,et al. SAT-based methods for circuit synthesis , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
[266] Luigi Carro,et al. Evaluating Different Solutions to Design Fault Tolerant Systems with SRAM-based FPGAs , 2007, J. Electron. Test..
[267] Ingo Lütkebohle,et al. Generic middleware support for coordinating robot software components: The Task-State-Pattern , 2011 .
[268] David E. Rydeheard,et al. MarQ: Monitoring at Runtime with QEA , 2015, TACAS.
[269] Robert de Simone,et al. Modeling time(s) , 2007, MODELS'07.
[270] E. Kraft,et al. A quaternion-based unscented Kalman filter for orientation tracking , 2003, Sixth International Conference of Information Fusion, 2003. Proceedings of the.
[271] Hans-Joachim Wunderlich,et al. Accurate X-Propagation for Test Applications by SAT-Based Reasoning , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[272] Alessandro Cimatti,et al. HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction , 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.
[273] Jean Berthier,et al. Microdrops and digital microfluidics , 2008 .
[274] Yoji Yamada,et al. Human-robot contact in the safeguarding space , 1997 .
[275] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[276] Anne Elisabeth Haxthausen,et al. Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor , 2014, ICFEM.
[277] Hideo Fujiwara,et al. On the Acceleration of Test Generation Algorithms , 1983, IEEE Transactions on Computers.
[278] Mohamed Ibrahim,et al. Error recovery in digital microfluidics for personalized medicine , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[279] Samuel Mimram,et al. HySon: Set-based simulation of hybrid systems , 2012, 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP).
[280] Ho-Sub Yoon,et al. Vision-based arm gesture recognition for a long-range human–robot interaction , 2010, The Journal of Supercomputing.
[281] Robert Wille,et al. A unified formulation of behavioral semantics for SysML models , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
[282] Krishnendu Chakrabarty,et al. Digital microfluidic biochips: Recent research and emerging challenges , 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
[283] Fei Su,et al. Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips , 2005, Proceedings. 42nd Design Automation Conference, 2005..
[284] N.M. Jokerst,et al. Integrated Optical Sensor in a Digital Microfluidic Platform , 2008, IEEE Sensors Journal.
[285] Wang Yi,et al. Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.
[286] C. K. Kroell,et al. Impact Response of the Human Thorax , 1973 .
[287] Stefan Schaal,et al. Learning from Demonstration , 1996, NIPS.
[288] Krishnendu Chakrabarty,et al. Integrated droplet routing and defect tolerance in the synthesis of digital microfluidic biochips , 2008, JETC.
[289] Alin Albu-Schäffer,et al. Human-Like Adaptation of Force and Impedance in Stable and Unstable Interactions , 2011, IEEE Transactions on Robotics.
[290] Jürgen Schmidhuber,et al. A System for Robotic Heart Surgery that Learns to Tie Knots Using Recurrent Neural Networks , 2006 .
[291] Howard Barringer,et al. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors , 2012, FM.
[292] Dong Sam Ha,et al. AN EFFICIENT, FORWARD FAULT SIMULATION ALGORITHM BASED ON THE PARALLEL PATTERN SINGLE FAULT PROPAGAT , 1991, 1991, Proceedings. International Test Conference.
[293] Jan Peters,et al. Reinforcement learning in robotics: A survey , 2013, Int. J. Robotics Res..
[294] Goran Frehse,et al. PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.
[295] Alexander Fabisch,et al. Towards Learning of Generic Skills for Robotic Manipulation , 2014, KI - Künstliche Intelligenz.
[296] Tsung-Yi Ho,et al. Chip-level design and optimization for digital microfluidic biochips , 2011, 2011 IEEE 54th International Midwest Symposium on Circuits and Systems (MWSCAS).
[297] Robert K. Brayton,et al. Combinational test generation using satisfiability , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[298] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .
[299] Roberto Bagnara,et al. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems , 2006, Sci. Comput. Program..
[300] Joseph Cormier,et al. The tolerance of the nasal bone to blunt impact. , 2010, Annals of advances in automotive medicine. Association for the Advancement of Automotive Medicine. Annual Scientific Conference.
[301] Choonghwan Lee,et al. Towards Categorizing and Formalizing the JDK API , 2012 .
[302] Alan M. Nahum,et al. Facial impact response: a comparison of the Hybrid III dummy and human cadaver , 1988 .
[303] Rolf Drechsler,et al. ATPG Based on Boolean Satisfiability , 2012 .
[304] Martina Seidl,et al. SAT-Based Synthesis Methods for Safety Specs , 2014, VMCAI.
[305] Gerhard Goos,et al. Automated Technology for Verification and Analysis , 2004, Lecture Notes in Computer Science.
[306] Yao-Wen Chang,et al. ILP-based pin-count aware design methodology for microfluidic biochips , 2009, 2009 46th ACM/IEEE Design Automation Conference.
[307] Morgan Quigley,et al. ROS: an open-source Robot Operating System , 2009, ICRA 2009.
[308] Matthias Althoff,et al. Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets , 2013, HSCC '13.
[309] J. Wolpaw,et al. Brain-computer communication: unlocking the locked in. , 2001, Psychological bulletin.
[310] Colas Le Guernic. Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. (Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire) , 2009 .
[311] Marco Roveri,et al. Software Model Checking SystemC , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[312] R. Fair,et al. Electrowetting-based on-chip sample processing for integrated microfluidics , 2003, IEEE International Electron Devices Meeting 2003.
[313] Bernd Becker,et al. Using MaxBMC for Pareto-optimal circuit initialization , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[314] Sy-Yen Kuo,et al. Accurately Handle Don't-Care Conditions in High-Level Designs and Application for Reducing Initialized Registers , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[315] Olivier Raccurt,et al. Computer aided design of an EWOD microdevice , 2006 .
[316] O. Sinanoglu,et al. Toggle-masking scheme for x-filtering , 2012, 2012 17th IEEE European Test Symposium (ETS).
[317] Sachin S. Sapatnekar,et al. Handbook of Algorithms for Physical Design Automation , 2008 .
[318] Martin Gogolla,et al. Consistency, Independence and Consequences in UML and OCL Models , 2009, TAP@TOOLS.
[319] Bernd Becker,et al. Accurate QBF-based test pattern generation in presence of unknown values , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[320] J. Baranyi,et al. Error analysis in predictive modelling demonstrated on mould data. , 2014, International journal of food microbiology.
[321] Niko Wilbert,et al. Modular Toolkit for Data Processing (MDP): A Python Data Processing Framework , 2008, Frontiers Neuroinformatics.
[322] Yoram Koren,et al. The vector field histogram-fast obstacle avoidance for mobile robots , 1991, IEEE Trans. Robotics Autom..
[323] Matthias Althoff,et al. Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties , 2011 .
[324] Haris Dindo,et al. A probabilistic approach to learning a visually grounded language model through human-robot interaction , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[325] Rolf Drechsler,et al. A formal model for embedded brain reading , 2013, Ind. Robot.
[326] Pei-Hsin Ho,et al. Automatic Analysis of Hybrid Systems , 1996 .
[327] Jeong-Bong Lee,et al. Machine vision for digital microfluidics. , 2010, The Review of scientific instruments.
[328] Stefan Kopp,et al. Modeling the Semantic Coordination of Speech and Gesture under Cognitive and Linguistic Constraints , 2013, IVA.
[329] Alin Albu-Schäffer,et al. Dynamic whole-body mobile manipulation with a torque controlled humanoid robot via impedance control laws , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[330] Elsa Andrea Kirchner,et al. Embedded brain reading , 2014 .
[331] Chris Wilson,et al. Symbolic Simulation with Approximate Values , 2000, FMCAD.
[332] Dov M. Gabbay,et al. MetateM: An introduction , 1995, Formal Aspects of Computing.
[333] Michael Strohmayr,et al. Artificial Skin in Robotics , 2012 .
[334] Felix Klaedtke,et al. Policy Monitoring in First-Order Temporal Logic , 2010, CAV.
[335] P. Kampmann,et al. A Tactile Sensing System for Underwater Manipulators , 2012 .
[336] Koushik Sen,et al. Program monitoring with LTL in EAGLE , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
[337] Klaus Havelund,et al. Monitoring with Data Automata , 2014, ISoLA.
[338] Viktor Schuppan,et al. Linear Encodings of Bounded LTL Model Checking , 2006, Log. Methods Comput. Sci..
[339] Shinya Morinaga,et al. Collision Detection System for Manipulator Based on Adaptive Control Scheme , 2003 .
[340] J. Paul Roth,et al. Diagnosis of automata failures: a calculus and a method , 1966 .
[341] Mario Michael Krell,et al. pySPACE—a signal processing and classification environment in Python , 2013, Front. Neuroinform..
[342] Neville Hogan,et al. On the stability of manipulators performing contact tasks , 1988, IEEE J. Robotics Autom..
[343] Alin Albu-Schaffer,et al. Study on Soft-Tissue Injury in Robotics , 2011, IEEE Robotics & Automation Magazine.
[344] Luc Van Gool,et al. Real-time 3D hand gesture interaction with a robot for understanding directions from humans , 2011, 2011 RO-MAN.
[345] Jan Peleska,et al. Exhaustive Model-Based Equivalence Class Testing , 2013, ICTSS.
[346] Frank Kirchner,et al. Towards a fine-manipulation system with tactile feedback for deep-sea environments , 2015, Robotics Auton. Syst..
[347] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[348] Alessandro De Luca,et al. Actuator failure detection and isolation using generalized momenta , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).
[349] Fei Su,et al. Microfluidics-Based Biochips: Technology Issues, Implementation Platforms, and Design-Automation Challenges , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[350] Mahesh Viswanathan,et al. Runtime Assurance Based On Formal Specifications , 1999, PDPTA.
[351] Gordon Cheng,et al. Directions Toward Effective Utilization of Tactile Skin: A Review , 2013, IEEE Sensors Journal.
[352] William G. Griswold,et al. An Overview of AspectJ , 2001, ECOOP.
[353] Howard Barringer,et al. TraceContract: A Scala DSL for Trace Analysis , 2011, FM.
[354] Robert B. Doorenbos. Production Matching for Large Learning Systems , 1995 .
[355] S. Cho,et al. Creating, transporting, cutting, and merging liquid droplets by electrowetting-based actuation for digital microfluidic circuits , 2003 .
[356] Michael Nicolaidis. Time redundancy based soft-error tolerance to rescue nanometer technologies , 1999, Proceedings 17th IEEE VLSI Test Symposium (Cat. No.PR00146).
[357] Wolfgang Wahlster,et al. Mobile Speech-to-Speech Translation of Spontaneous Dialogs: An Overview of the Final Verbmobil System , 2000 .
[358] Jr-Lung Lin,et al. Integrated polymerase chain reaction chips utilizing digital microfluidics , 2006, Biomedical microdevices.
[359] Hans-Joachim Wunderlich,et al. On Determining the Real Output Xs by SAT-Based Reasoning , 2010, 2010 19th IEEE Asian Test Symposium.
[360] Malgorzata Goldhoorn,et al. Semantic Perception using Spatial Potential Fields , 2014 .
[361] Robert Wille,et al. Designing a RISC CPU in Reversible Logic , 2011, 2011 41st IEEE International Symposium on Multiple-Valued Logic.
[362] Giles Reger,et al. Automata based monitoring and mining of execution traces , 2014 .
[363] Sofiène Tahar,et al. Generating Finite State Machines from System C , 2006, Proceedings of the Design Automation & Test in Europe Conference.
[364] Jan Peleska,et al. Complete model-based equivalence class testing , 2014, International Journal on Software Tools for Technology Transfer.
[365] Bernd Becker,et al. Exact stuck-at fault classification in presence of unknowns , 2012, 2012 17th IEEE European Test Symposium (ETS).
[366] D. Roetenberg,et al. Xsens MVN: Full 6DOF Human Motion Tracking Using Miniature Inertial Sensors , 2009 .
[367] Antoine Girard,et al. Temporal Logic Verification Using Simulation , 2006, FORMATS.
[368] Frederic Py,et al. A deliberative architecture for AUV control , 2008, 2008 IEEE International Conference on Robotics and Automation.
[369] Giorgio Metta,et al. A Flexible and Robust Large Scale Capacitive Tactile System for Robots , 2013, IEEE Sensors Journal.
[370] Christoph Scholl,et al. Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions , 2009, MBMV.
[371] Yao-Wen Chang,et al. Placement of defect-tolerant digital microfluidic biochips using the T-tree formulation , 2007, JETC.
[372] Tsung-Wei Huang,et al. A network-flow based pin-count aware routing algorithm for broadcast electrode-addressing EWOD chips , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[373] Rolf Drechsler,et al. Analyzing Functional Coverage in Bounded Model Checking , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[374] Rolf Drechsler,et al. HW/SW co-verification of embedded systems using bounded model checking , 2006, GLSVLSI '06.
[375] D. Berckmans,et al. Biomechanics of frontal skull fracture. , 2007, Journal of neurotrauma.
[376] Krishnendu Chakrabarty,et al. Real-Time Error Recovery in Cyberphysical Digital-Microfluidic Biochips Using a Compact Dictionary , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[377] Robert Wille,et al. Determining relevant model elements for the verification of UML/OCL specifications , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[378] Tsung-Wei Huang,et al. A two-stage ILP-based droplet routing algorithm for pin-constrained digital microfluidic biochips , 2010, ISPD '10.
[379] Armin Biere,et al. Resolve and Expand , 2004, SAT.
[380] Bruce A. MacDonald,et al. Facial Expression Recognition for Human-Robot Interaction - A Prototype , 2008, RobVis.
[381] Charles L. Forgy,et al. Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .
[382] Martin Leucker,et al. A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..
[383] Toshiyuki Murakami,et al. An approach to collision detection and recovery motion in industrial robot , 1989, 15th Annual Conference of IEEE Industrial Electronics Society.
[384] Ahmed Bouajjani,et al. TReX: A Tool for Reachability Analysis of Complex Systems , 2001, CAV.
[385] Masahiro Fujita,et al. Debugging processors with advanced features by reprogramming LUTs on FPGA , 2013, 2013 International Conference on Field-Programmable Technology (FPT).
[386] G. R. Muller,et al. Brain oscillations control hand orthosis in a tetraplegic , 2000, Neuroscience Letters.
[387] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[388] Jean Goubault-Larrecq,et al. A Smell of Orchids , 2008, RV.
[389] Julien DeAntoni,et al. The Time Model of Logical Clocks Available in the OMG MARTE Profile , 2010, Synthesis of Embedded Software.
[390] D. C. Schneider,et al. Impact Studies of Facial Bones and Skull , 1972 .
[391] Roger Villemaire,et al. Runtime Enforcement of Web Service Message Contracts with Data , 2012, IEEE Transactions on Services Computing.
[392] R. Fair,et al. Droplet-based microfluidic lab-on-a-chip for glucose detection , 2004 .
[393] Alberto Griggio,et al. The MathSAT5 SMT Solver , 2013, TACAS.
[394] John Folkesson,et al. Search in the real world: Active visual object search based on spatial relations , 2011, 2011 IEEE International Conference on Robotics and Automation.
[395] J. Madsen,et al. Online synthesis for error recovery in digital microfluidic biochips with operation variability , 2012, 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS.
[396] F. Freeman,et al. A Closed-Loop System for Examining Psychophysiological Measures for Adaptive Task Allocation , 2000, The International journal of aviation psychology.
[397] David D. Woods,et al. Decomposing Automation : Apparent Simplicity , Real Complexity , 2003 .
[398] Yliès Falcone,et al. What can you verify and enforce at runtime? , 2012, International Journal on Software Tools for Technology Transfer.
[399] J. Baret,et al. Electrowetting: from basics to applications , 2005 .
[400] Alexandre Donzé,et al. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems , 2010, CAV.
[401] Antonio Bicchi,et al. On making robots understand safety: Embedding injury knowledge into control , 2012, Int. J. Robotics Res..
[402] Stephen A. Cook,et al. The complexity of theorem-proving procedures , 1971, STOC.
[403] F. Vernadat,et al. The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .
[404] Oliver Kroemer,et al. Learning sequential motor tasks , 2013, 2013 IEEE International Conference on Robotics and Automation.
[405] Alexandre Chapoutot,et al. Set-based Simulation for Design and Verification of Simulink Models , 2014 .
[406] Rolf Drechsler,et al. Behaviour Driven Development for Tests and Verification , 2014, TAP@STAF.
[407] Neville Hogan,et al. Impedance Control: An Approach to Manipulation: Part I—Theory , 1985 .
[408] Paul-Gerhard Plöger,et al. Facial Expression Recognition for Domestic Service Robots , 2011, RoboCup.