The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Reactive with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1949-1986 (19) 1987-1989 (41) 1990 (35) 1991 (44) 1992 (48) 1993 (74) 1994 (70) 1995 (109) 1996 (93) 1997 (173) 1998 (156) 1999 (161) 2000 (198) 2001 (177) 2002 (200) 2003 (260) 2004 (331) 2005 (385) 2006 (408) 2007 (411) 2008 (414) 2009 (371) 2010 (365) 2011 (189) 2012 (252) 2013 (297) 2014 (251) 2015 (275) 2016 (282) 2017 (325) 2018 (361) 2019 (368) 2020 (384) 2021 (340) 2022 (338) 2023 (339) 2024 (72)
Publication types (Num. hits)
article(2988) book(13) data(2) incollection(80) inproceedings(5355) phdthesis(164) proceedings(14)
Venues (Conferences, Journals, ...)
CoRR(460) AlgoSyn(157) ICRA(154) IROS(148) IEEE Access(119) Comput. Chem. Eng.(82) IEEE Trans. Ind. Electron.(74) IECON(64) IEEE Trans. Smart Grid(61) Sensors(53) REBLS@SPLASH(46) J. Comput. Phys.(43) CONCUR(39) AAMAS(38) CAV(37) CDC(37) More (+10 of total 2430)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3449 occurrences of 1810 keywords

Results
Found 8616 publication records. Showing 8616 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
93Noriaki Yoshiura Decision Procedures for Several Properties of Reactive System Specifications. Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Specification Description, Temporal Logic, Reactive System
84Frédéric Boussinot, Laurent Hazard Reactive scripts. Search on Bibsonomy RTCSA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF broadcast event-driven interpreter, responsive systems, reactive script interpretor, complex behaviors, current interpretor reaction, associated methods, nonblocking order, method execution, SL synchronous language, ROM Reactive Object Model, Reactive-C language, parallel programming, objects, real time programming
81Bouchaib Bounabat, Rahal Romadi, Salah Labhalla Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents. Search on Bibsonomy PRIMA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Reactive agent, verification, formal methods, specification, Reactive systems
73Martin Adelantado, Frédéric Boniol, D. Pinault A simulation environment for designing distributed reactive/deliberative time-constrained applications. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF distributed reactive/deliberative time-constrained applications design, deliberative systems, terminal state, logical time notion, man-machine interface handlers, time critical applications, Sun4 IPX workstation, X-Window graphical interface, French Ministry of Defense, simulator, real-time systems, graphical user interfaces, distributed processing, requirements, programming, programming environments, timing, computer games, program compilers, digital simulation, reactive systems, timing constraints, distributed real-time systems, simulation environment, application generators, reactive programming, Unix operating system, initial state
67Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne Towards direct execution of esterel programs on reactive processors. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures
65Peera Liewlom, Thanawin Rakthanmanon, Kitsana Waiyamai Prediction of Enzyme Class by Using Reactive Motifs Generated from Binding and Catalytic Sites. Search on Bibsonomy ADMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, amino acid substitution group, binding site
64Noriaki Yoshiura Finding the Causes of Unrealizability of Reactive System Formal Specifications. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
62D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
62Dilza Szwarcman, Bruno Feijó, Mónica Costa A Framework for Networked Reactive Character. Search on Bibsonomy SIBGRAPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF networked reactive characters, distributed reactive characters, innovative concepts, shared state management, behavioral accuracy, visual soundness, open architecture toolkit, Bamboo, reactive environments, smooth animations, virtual reality, computer network, autonomy, clones, dead reckoning
56Riccardo Pucella Reactive Programming in Standard ML. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Reactive systems, Standard ML, Reactive programming
54Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. Search on Bibsonomy IEA/AIE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF teleo-reactive programs, parallel actions, teleo-reactive program compilation, autonomous agents, control architecture
53Rik Eshuis, Juliane Dehnert Reactive Petri Nets for Workflow Modeling. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
51Günter Schmidt How to Apply fuzzy Logic to Reactive Production Scheduling. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
51Brian J. Garner, G. J. Ridley Application of Neural Network Process Models in Reactive Scheduling. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
51Migar M. C. Tam, Doris H. L. Choi, Walter W. C. Chung, T. C. Edwin Cheng, P. P. K. Chiu A Predictive and Reactive Scheduling Tool Kit for Repetitive Manufacturing. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
51Stephen F. Smith, Ora Lassila Configurable Systems for Reactive Production Management. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
51Klaus Fischer 0001 Knowledge-based Reactive Scheduling in a Flexible Manufacturing System. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
51Elizabeth Szelke, G. Márkus Reactive Scheduling - An Intelligent Supervisor Function. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
51Jürgen Dorn, Roger Kerr, Gabi Thalhammer Reactive Scheduling in a Fuzzy-Temporal Framework. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
50A. P. Sakis Meliopoulos, Murad A. Asad, George J. Cokkinides Issues for Reactive Power and Voltage Control Pricing in a Deregulated Environment. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Reactive Power, Induction Motor Loads, Voltage Support, Reactive Power Pricing
49Neil Sculthorpe, Henrik Nilsson Safe functional reactive programming through dependent types. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
49Robert J. Hall 0001 Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Formal Methods, Reactive Systems, Electronic Mail
48Jamie D. Weber, Thomas J. Overbye, Peter W. Sauer, Christopher L. DeMarco A Simulation Based Approach to Pricing Reactive Power. Search on Bibsonomy HICSS (3) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
48Jean-Pierre Talpin Reactive Types. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
48Beng-Hong Lim, Anant Agarwal Reactive Synchronization Algorithms for Multiprocessors. Search on Bibsonomy ASPLOS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45Dov M. Gabbay, Sérgio Marcelino Modal Logics of Reactive Frames. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reactive graphs, reactive frames, (bi)modal logic, Kripke semantics
43Wenjin Dai, Qingsheng Lin, Yongtao Dai New Research on Harmonics and Reactive Currents Detecting and Its Suppression with ANN in Single-Phase Circuit. Search on Bibsonomy ISICA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reactive current, SAPF, simulation, ANN, detecting, harmonic
43Ronald A. Metoyer, Jessica K. Hodgins Reactive pedestrian path following from examples. Search on Bibsonomy Vis. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Pedestrian simulation, Animation, Reactive control
43Marc Geilen, Twan Basten Reactive process networks. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing
43Dana N. Xu, Siau-Cheng Khoo Compiling real time functional reactive programming. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF partial evaluation, reactive system, tupling
42Elizabeth Szelke, Roger M. Kerr (eds.) Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993 Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1994 DBLP  BibTeX  RDF
42Prasad Raja, Luis Ruiz, Jean Hernandez, Guevara Noubir, Marc Riese Scheduling for Absolute Temporal Consistency. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
42Katia P. Sycara, Kazuo Miyashita Adaptive Schedule Repair. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
42Paddy Jordan, Jim Browne, Mary Browne Production Activity Control for Small Manufacturing Enterprises. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
42Roger M. Kerr, Elizabeth Szelke Open Discussion - A Summary. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
42Hubert Mulkens Revisiting the Johnson Algorithm for Flow-Shop Scheduling with Genetic Algorithms. Search on Bibsonomy Knowledge-Based Reactive Scheduling The full citation details ... 1993 DBLP  BibTeX  RDF
42Hisashi Sugiura, Herbert Janssen, Christian Goerick Instant prediction for reactive motions with planning. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, Paula-Lavinia Patranjan Reactive Rules on the Web. Search on Bibsonomy Reasoning Web The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng Security in Persistently Reactive Systems. Search on Bibsonomy EUC Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Simon Gauvin, Trevor J. Smedley Concrete Programming with Reactive Objects. Search on Bibsonomy HCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Christoph Schaffer, Herbert Praehofer On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation. Search on Bibsonomy EUROCAST The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
42Diana F. Gordon Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
40Xin Li 0020, Marian Boldt, Reinhard von Hanxleden Mapping esterel onto a multi-threaded embedded processor. Search on Bibsonomy ASPLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF low-power processing, concurrency, reactive systems, multi-threading, esterel
39Kenny Qili Zhu, Kar-Loon Ong A reactive method for real time dynamic vehicle routing problem. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF real time dynamic vehicle routing problem, concurrent agent-based reactive vehicle routing system, generic concurrent infrastructure, incremental local optimization heuristic, reactive method, real-time systems, optimisation, transportation, heuristic programming, vehicles
39Stefan D. Bruda Preorder Relations. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic Reactive noninterference. Search on Bibsonomy CCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF web applications, information flow, web browsers, noninterference, reactive programming
38Xuexia Zhang, Weirong Chen Multi-objective Oriented Search Algorithm for Multi-objective Reactive Power Optimization. Search on Bibsonomy ICIC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MOOSA, multi-objective reactive power optimization, Pareto front, Pareto-optimal solutions
38Jonathan Evans, Pedro Patrón, Ben Smith, David M. Lane Design and evaluation of a reactive and deliberative collision avoidance and escape architecture for autonomous robots. Search on Bibsonomy Auton. Robots The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Deliberative, Planning, Obstacle avoidance, Reactive, Autonomous underwater vehicle, Unstructured environments, Robot architecture
38Kitsana Waiyamai, Peera Liewlom, Thanapat Kangkachit, Thanawin Rakthanmanon Concept Lattice-Based Mutation Control for Reactive Motifs Discovery. Search on Bibsonomy PAKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, concept lattice, binding site
38Stijn Van de Vonder, Erik Demeulemeester, Willy Herroelen A classification of predictive-reactive project scheduling procedures. Search on Bibsonomy J. Sched. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Proactive-reactive project scheduling, Time uncertainty, Timely project completion, Stability
38Edward Robinson, Timothy Ellis, Alastair Channon Neuroevolution of Agents Capable of Reactive and Deliberative Behaviours in Novel and Dynamic Environments. Search on Bibsonomy ECAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Reactive and Deliberative Systems, Novel and Dynamic Environments, Neural Networks, Artificial Life, Incremental Evolution
38Nabendu Chaki, Rituparna Chaki ORRP: Optimal Reactive Routing Protocol for Mobile Ad-Hoc Networks. Search on Bibsonomy CISIM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Loop-free routing, Mobile ad hoc network, Routing protocol, Shortest Path algorithms, Reactive Routing
38Robert de Simone, Charles André Towards a "Synchronous Reactive" UML profile? Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, Embedded systems, Real-time, Synchronous, Reactive
38Louis Mandel, Marc Pouzet ReactiveML: a reactive extension to ML. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semantics, functional programming, reactive programming
38Kaiyu Wan, Vasu S. Alagar, Joey Paquet Real Time Reactive Programming in Lucid Enriched with Contexts. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Real-time reactive programming, contexts, formal verification, intensional programming
38Josep Carmona 0001, Jordi Cortadella Input/Output Compatibility of Reactive Systems. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
38Basant Rajan, R. K. Shyamasundar Multiclock Esterel: A Reactive Framework for Asynchronous Design. Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel
38Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng Specification-Based Testing for Real-Time Reactive Systems. Search on Bibsonomy TOOLS (34) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF complexity, information theory, software measurement, Real-time reactive systems
38Olivier F. Roux, Vlad Rusu, Franck Cassez Hybrid Verifications of Reactive Programs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Model checking, Real time, Hybrid system, Asynchronism, Reactive system
38Santiago Grijalva, Peter W. Sauer Reactive Power Considerations in Linear ATC Computation. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Linear ATC, distribution factors, reactive power
38Berthier A. Ribeiro-Neto, Guilherme T. de Assis Reactive Ranking for Cooperative Databases. Search on Bibsonomy SCCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reactive ranking, cooperative databases, vague query, AutoClass II system, Bayesian probabilistic classification engine, Web browser interface, query tasks, information retrieval, query processing, relevance feedback, interactive mechanism
38Frédéric Boniol, Martin Adelantado Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. Search on Bibsonomy WDAG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency
38Ralph-Johan Back Refinement Calculus, Part II: Parallel and Reactive Programs. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
37Jonathan Edwards Coherent reaction. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming
37David Harel, Yaki Setty Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. Search on Bibsonomy FMSB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Dov M. Gabbay Introducing Reactive Kripke Semantics and Arc Accessibility. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Xiangpeng Jing, Dipankar Raychaudhuri Spectrum Co-existence of IEEE 802.11b and 802.16a Networks Using Reactive and Proactive Etiquette Policies. Search on Bibsonomy Mob. Networks Appl. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Spectrum etiquette protocol, CSCC, Co-existence, Cognitive radio, Dynamic spectrum access
37Mohammed Berrada, Bouchaib Bounabat, Mostafa Harti Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation. Search on Bibsonomy IAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Lei Yang 0012, Morteza Biglari-Abhari, Zoran A. Salcic A Power-Efficient Processor Core for Reactive Embedded Applications. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas Self-tuning Reactive Distributed Trees for Counting and Balancing. Search on Bibsonomy OPODIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Mariano Cilia, Michael Haupt, Mira Mezini, Alejandro P. Buchmann The Convergence of AOP and Active Databases: Towards Reactive Middleware. Search on Bibsonomy GPCE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Sergio Rampino, Dimitris Skouteris, Antonio Laganà, Ernesto Garcia A Comparison of the Isotope Effect for the N + N2 Reaction Calculated on Two Potential Energy Surfaces. Search on Bibsonomy ICCSA (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reactive scattering, quantum dynamics and kinetics, nitrogen exchange reaction, reactive resonances, isotope effect
34Tomas Petricek 0001, Don Syme Collecting hollywood's garbage: avoiding space-leaks in composite events. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF inversion of control, garbage collection, duality, event-driven, reactive programming, combinator libraries
34Xin Li 0020, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden An Esterel processor with full preemption support and its worst case reaction time analysis. Search on Bibsonomy CASES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reaction time analysis, reactive processing, WCET, synchronous languages, Esterel
34Karl R. P. H. Leung Extending Statecharts with ad lib and multi-thread features. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
34Joakim Eriksson Real-Time and Active Databases: A Survey. Search on Bibsonomy ARTDB The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reactive mechanisms, real-time systems, predictability, Active databases, timeliness, real-time databases
33Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.) From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Lenore D. Zuck, Kenneth L. McMillan Invisible Invariants Are Neither. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33James Glimm, Hyun-Kyung Lim, Martin J. Bishop 0001, Soojin Kim From Automated MRI Scan to Finite Elements. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Emanuela Merelli, Anita Wasilewska Topological Interpretation of Interactive Computation. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Alexios Lekidis, Panagiotis Katsaros Model-Based Energy Characterization of IoT System Design Aspects. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Rance Cleaveland Scott Smolka and Me. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Abouzar Kaboudian, Hector Augusto Velasco-Perez, Shahriar Iravanian, Yohannes Shiferaw, Elizabeth M. Cherry, Flavio H. Fenton A Comprehensive Comparison of GPU Implementations of Cardiac Electrophysiology Models. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Gerard J. Holzmann Formalizing Requirements Is \Diamond \Box Hard. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Milan Ceska 0002, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Alessandro Maggi, Rocco De Nicola, Joseph Sifakis A Logic-Inspired Approach to Reconfigurable System Modelling. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Teng Zhang, Ramneet Kaur, Insup Lee 0001, Oleg Sokolsky Runtime Verification of Parametric Properties Using SMEDL. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Doron Peled, Simon Iosti, Saddek Bensalem Control Synthesis Through Deep Learning. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller Conformal Predictions for Hybrid System State Classification. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen The Cost of Monitoring Alone. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Klaus Havelund, Natarajan Shankar A Refinement Proof for a Garbage Collector. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Abhishek Murthy, Himel Das, Md. Ariful Islam Robustness of Neural Networks to Parameter Quantization. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Bernhard Steffen, Marc Jasper Generating Hard Benchmark Problems for Weak Bisimulation. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Manfred Broy, Bengt Jonsson 0001, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.) Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33George Din TTCN-3. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Zhen Ru Dai UML 2.0 Testing Profile. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Machiel van der Bijl, Fabien Peureux I/O-automata Based Testing. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Kirsten Berkenkötter, Raimund Kirner Real-Time and Hybrid Systems Testing. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Henrik Björklund State Verification. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33 Part V. Standardized Test Notation and Execution Architecture. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 8616 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license