|
|
Venues (Conferences, Journals, ...)
|
|
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 |
93 | Noriaki Yoshiura |
Decision Procedures for Several Properties of Reactive System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, pp. 154-173, 2003, Springer, 3-540-23635-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Specification Description, Temporal Logic, Reactive System |
84 | Frédéric Boussinot, Laurent Hazard |
Reactive scripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 270-277, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
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 |
81 | Bouchaib Bounabat, Rahal Romadi, Salah Labhalla |
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Approaches to Intelligent Agents, Second Pacific Rim International Workshop on Multi-Agents, PRIMA '99, Kyoto, Japan, December 2-3, 1999, Proceedings, pp. 197-210, 1999, Springer, 3-540-66823-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Reactive agent, verification, formal methods, specification, Reactive systems |
73 | Martin Adelantado, Frédéric Boniol, D. Pinault |
A simulation environment for designing distributed reactive/deliberative time-constrained applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 186-195, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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 |
67 | Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne |
Towards direct execution of esterel programs on reactive processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 240-248, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures |
65 | Peera Liewlom, Thanawin Rakthanmanon, Kitsana Waiyamai |
Prediction of Enzyme Class by Using Reactive Motifs Generated from Binding and Catalytic Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, Third International Conference, ADMA 2007, Harbin, China, August 6-8, 2007, Proceedings, pp. 442-453, 2007, Springer, 978-3-540-73870-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, amino acid substitution group, binding site |
64 | Noriaki Yoshiura |
Finding the Causes of Unrealizability of Reactive System Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 34-43, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
62 | D. 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](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 491-497, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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 |
62 | Dilza Szwarcman, Bruno Feijó, Mónica Costa |
A Framework for Networked Reactive Character. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 203-210, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
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 |
56 | Riccardo Pucella |
Reactive Programming in Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 48-57, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Reactive systems, Standard ML, Reactive programming |
54 | Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa |
A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings, pp. 541-550, 2008, Springer, 978-3-540-69045-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
teleo-reactive programs, parallel actions, teleo-reactive program compilation, autonomous agents, control architecture |
53 | Rik Eshuis, Juliane Dehnert |
Reactive Petri Nets for Workflow Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 296-315, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Günter Schmidt |
How to Apply fuzzy Logic to Reactive Production Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 57-68, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
51 | Brian J. Garner, G. J. Ridley |
Application of Neural Network Process Models in Reactive Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 19-28, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
51 | Migar 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](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 147-162, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
51 | Stephen F. Smith, Ora Lassila |
Configurable Systems for Reactive Production Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 93-106, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
51 | Klaus Fischer 0001 |
Knowledge-based Reactive Scheduling in a Flexible Manufacturing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 1-18, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
51 | Elizabeth Szelke, G. Márkus |
Reactive Scheduling - An Intelligent Supervisor Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 125-146, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
51 | Jürgen Dorn, Roger Kerr, Gabi Thalhammer |
Reactive Scheduling in a Fuzzy-Temporal Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 39-56, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
50 | A. P. Sakis Meliopoulos, Murad A. Asad, George J. Cokkinides |
Issues for Reactive Power and Voltage Control Pricing in a Deregulated Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Reactive Power, Induction Motor Loads, Voltage Support, Reactive Power Pricing |
49 | Neil Sculthorpe, Henrik Nilsson |
Safe functional reactive programming through dependent types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 23-34, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming |
49 | Robert J. Hall 0001 |
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSP ![In: Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA, pp. 13-23, 2000, ACM, 1-58113-262-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Formal Methods, Reactive Systems, Electronic Mail |
48 | Jamie D. Weber, Thomas J. Overbye, Peter W. Sauer, Christopher L. DeMarco |
A Simulation Based Approach to Pricing Reactive Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 96-103, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
48 | Jean-Pierre Talpin |
Reactive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 595-606, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
48 | Beng-Hong Lim, Anant Agarwal |
Reactive Synchronization Algorithms for Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VI Proceedings - Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 4-7, 1994., pp. 25-35, 1994, ACM Press, 0-89791-660-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
45 | Dov M. Gabbay, Sérgio Marcelino |
Modal Logics of Reactive Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 93(2-3), pp. 405-446, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reactive graphs, reactive frames, (bi)modal logic, Kripke semantics |
43 | Wenjin 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](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008 Proceedings, pp. 626-636, 2008, Springer, 978-3-540-92136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reactive current, SAPF, simulation, ANN, detecting, harmonic |
43 | Ronald A. Metoyer, Jessica K. Hodgins |
Reactive pedestrian path following from examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 20(10), pp. 635-649, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Pedestrian simulation, Animation, Reactive control |
43 | Marc Geilen, Twan Basten |
Reactive process networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 137-146, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing |
43 | Dana N. Xu, Siau-Cheng Khoo |
Compiling real time functional reactive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 83-93, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
partial evaluation, reactive system, tupling |
42 | Elizabeth 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](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![North-Holland, 0-444-81814-6 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
42 | Prasad Raja, Luis Ruiz, Jean Hernandez, Guevara Noubir, Marc Riese |
Scheduling for Absolute Temporal Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 81-92, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
42 | Katia P. Sycara, Kazuo Miyashita |
Adaptive Schedule Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 107-124, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
42 | Paddy Jordan, Jim Browne, Mary Browne |
Production Activity Control for Small Manufacturing Enterprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 29-38, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
42 | Roger M. Kerr, Elizabeth Szelke |
Open Discussion - A Summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 163-164, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
42 | Hubert Mulkens |
Revisiting the Johnson Algorithm for Flow-Shop Scheduling with Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowledge-Based Reactive Scheduling ![In: Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993, pp. 69-80, 1993, North-Holland, 0-444-81814-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
42 | Hisashi Sugiura, Herbert Janssen, Christian Goerick |
Instant prediction for reactive motions with planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 5475-5480, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, Paula-Lavinia Patranjan |
Reactive Rules on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures, pp. 183-239, 2007, Springer, 978-3-540-74613-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng |
Security in Persistently Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC Workshops ![In: Embedded and Ubiquitous Computing - EUC 2005 Workshops, EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings, pp. 874-883, 2005, Springer, 3-540-30803-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Simon Gauvin, Trevor J. Smedley |
Concrete Programming with Reactive Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA, pp. 74-76, 2002, IEEE Computer Society, 0-7695-1644-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Christoph Schaffer, Herbert Praehofer |
On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings, pp. 137-159, 1993, Springer, 3-540-57601-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
42 | Diana F. Gordon |
Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 358-367, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
40 | Xin Li 0020, Marian Boldt, Reinhard von Hanxleden |
Mapping esterel onto a multi-threaded embedded processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 303-314, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
low-power processing, concurrency, reactive systems, multi-threading, esterel |
39 | Kenny Qili Zhu, Kar-Loon Ong |
A reactive method for real time dynamic vehicle routing problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 176-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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 |
39 | Stefan D. Bruda |
Preorder Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![In: 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], pp. 117-149, 2004, Springer, 3-540-26278-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic |
Reactive noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009, pp. 79-90, 2009, ACM, 978-1-60558-894-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
web applications, information flow, web browsers, noninterference, reactive programming |
38 | Xuexia Zhang, Weirong Chen |
Multi-objective Oriented Search Algorithm for Multi-objective Reactive Power Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009, Proceedings, pp. 232-241, 2009, Springer, 978-3-642-04019-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MOOSA, multi-objective reactive power optimization, Pareto front, Pareto-optimal solutions |
38 | Jonathan 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](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 24(3), pp. 247-266, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Deliberative, Planning, Obstacle avoidance, Reactive, Autonomous underwater vehicle, Unstructured environments, Robot architecture |
38 | Kitsana Waiyamai, Peera Liewlom, Thanapat Kangkachit, Thanawin Rakthanmanon |
Concept Lattice-Based Mutation Control for Reactive Motifs Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 12th Pacific-Asia Conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 Proceedings, pp. 767-776, 2008, Springer, 978-3-540-68124-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, concept lattice, binding site |
38 | Stijn Van de Vonder, Erik Demeulemeester, Willy Herroelen |
A classification of predictive-reactive project scheduling procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 10(3), pp. 195-207, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Proactive-reactive project scheduling, Time uncertainty, Timely project completion, Stability |
38 | Edward Robinson, Timothy Ellis, Alastair Channon |
Neuroevolution of Agents Capable of Reactive and Deliberative Behaviours in Novel and Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings, pp. 345-354, 2007, Springer, 978-3-540-74912-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Reactive and Deliberative Systems, Novel and Dynamic Environments, Neural Networks, Artificial Life, Incremental Evolution |
38 | Nabendu Chaki, Rituparna Chaki |
ORRP: Optimal Reactive Routing Protocol for Mobile Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: 6th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2007, Elk, Poland, June 28-30, 2007, pp. 185-190, 2007, IEEE Computer Society, 0-7695-2894-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Loop-free routing, Mobile ad hoc network, Routing protocol, Shortest Path algorithms, Reactive Routing |
38 | Robert de Simone, Charles André |
Towards a "Synchronous Reactive" UML profile? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(2), pp. 146-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Embedded systems, Real-time, Synchronous, Reactive |
38 | Louis Mandel, Marc Pouzet |
ReactiveML: a reactive extension to ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 82-93, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
semantics, functional programming, reactive programming |
38 | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
Real Time Reactive Programming in Lucid Enriched with Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 387-402, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Real-time reactive programming, contexts, formal verification, intensional programming |
38 | Josep Carmona 0001, Jordi Cortadella |
Input/Output Compatibility of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, pp. 360-377, 2002, Springer, 3-540-00116-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory |
38 | Basant Rajan, R. K. Shyamasundar |
Multiclock Esterel: A Reactive Framework for Asynchronous Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 201-210, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel |
38 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Specification-Based Testing for Real-Time Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 25-36, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
complexity, information theory, software measurement, Real-time reactive systems |
38 | Olivier F. Roux, Vlad Rusu, Franck Cassez |
Hybrid Verifications of Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(4), pp. 448-471, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Model checking, Real time, Hybrid system, Asynchronism, Reactive system |
38 | Santiago Grijalva, Peter W. Sauer |
Reactive Power Considerations in Linear ATC Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Linear ATC, distribution factors, reactive power |
38 | Berthier A. Ribeiro-Neto, Guilherme T. de Assis |
Reactive Ranking for Cooperative Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 199-206, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
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 |
38 | Frédéric Boniol, Martin Adelantado |
Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993, Proceedings, pp. 294-308, 1993, Springer, 3-540-57271-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency |
38 | Ralph-Johan Back |
Refinement Calculus, Part II: Parallel and Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 67-93, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Jonathan Edwards |
Coherent reaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 925-932, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming |
37 | David Harel, Yaki Setty |
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 1-16, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Dov M. Gabbay |
Introducing Reactive Kripke Semantics and Arc Accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 292-341, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Xiangpeng Jing, Dipankar Raychaudhuri |
Spectrum Co-existence of IEEE 802.11b and 802.16a Networks Using Reactive and Proactive Etiquette Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 11(4), pp. 539-554, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Spectrum etiquette protocol, CSCC, Co-existence, Cognitive radio, Dynamic spectrum access |
37 | Mohammed Berrada, Bouchaib Bounabat, Mostafa Harti |
Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006, pp. 747-751, 2006, IEEE Computer Society, 0-7695-2748-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Lei Yang 0012, Morteza Biglari-Abhari, Zoran A. Salcic |
A Power-Efficient Processor Core for Reactive Embedded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings, pp. 131-142, 2005, Springer, 3-540-29643-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas |
Self-tuning Reactive Distributed Trees for Counting and Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 213-228, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Mariano Cilia, Michael Haupt, Mira Mezini, Alejandro P. Buchmann |
The Convergence of AOP and Active Databases: Towards Reactive Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, pp. 169-188, 2003, Springer, 3-540-20102-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Sergio 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](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 1081-1093, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reactive scattering, quantum dynamics and kinetics, nitrogen exchange reaction, reactive resonances, isotope effect |
34 | Tomas Petricek 0001, Don Syme |
Collecting hollywood's garbage: avoiding space-leaks in composite events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, pp. 53-62, 2010, ACM, 978-1-4503-0054-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
inversion of control, garbage collection, duality, event-driven, reactive programming, combinator libraries |
34 | Xin 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](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2005 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2005, San Francisco, California, USA, September 24-27, 2005, pp. 225-236, 2005, ACM, 1-59593-149-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reaction time analysis, reactive processing, WCET, synchronous languages, Esterel |
34 | Karl R. P. H. Leung |
Extending Statecharts with ad lib and multi-thread features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 330-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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 |
34 | Joakim Eriksson |
Real-Time and Active Databases: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTDB ![In: Active, Real-Time, and Temporal Database Systems, Second International Workshop, ARTDB-97, Como, Italy, September 8-9, 1997, Proceedings, pp. 1-23, 1997, Springer, 3-540-65649-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reactive mechanisms, real-time systems, predictability, Active databases, timeliness, real-time databases |
33 | Ezio 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](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![Springer, 978-3-030-31513-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Lenore D. Zuck, Kenneth L. McMillan |
Invisible Invariants Are Neither. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 57-72, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | James Glimm, Hyun-Kyung Lim, Martin J. Bishop 0001, Soojin Kim |
From Automated MRI Scan to Finite Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 35-48, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Emanuela Merelli, Anita Wasilewska |
Topological Interpretation of Interactive Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 205-224, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Alexios Lekidis, Panagiotis Katsaros |
Model-Based Energy Characterization of IoT System Design Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 165-180, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Rance Cleaveland |
Scott Smolka and Me. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 1-6, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Abouzar 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](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 9-34, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Gerard J. Holzmann |
Formalizing Requirements Is \Diamond \Box Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 51-56, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Milan 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](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 107-125, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Alessandro Maggi, Rocco De Nicola, Joseph Sifakis |
A Logic-Inspired Approach to Reconfigurable System Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 181-201, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Teng Zhang, Ramneet Kaur, Insup Lee 0001, Oleg Sokolsky |
Runtime Verification of Parametric Properties Using SMEDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 276-293, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Doron Peled, Simon Iosti, Saddek Bensalem |
Control Synthesis Through Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 242-255, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller |
Conformal Predictions for Hybrid System State Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 225-241, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
The Cost of Monitoring Alone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 259-275, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Klaus Havelund, Natarajan Shankar |
A Refinement Proof for a Garbage Collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 73-103, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Abhishek Murthy, Himel Das, Md. Ariful Islam |
Robustness of Neural Networks to Parameter Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 146-161, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Bernhard Steffen, Marc Jasper |
Generating Hard Benchmark Problems for Weak Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 126-145, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Manfred 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](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![Springer, 3-540-26278-4 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | George Din |
TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![In: 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], pp. 465-496, 2004, Springer, 3-540-26278-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Zhen Ru Dai |
UML 2.0 Testing Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![In: 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], pp. 497-521, 2004, Springer, 3-540-26278-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Machiel van der Bijl, Fabien Peureux |
I/O-automata Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![In: 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], pp. 173-200, 2004, Springer, 3-540-26278-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Kirsten Berkenkötter, Raimund Kirner |
Real-Time and Hybrid Systems Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![In: 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], pp. 355-387, 2004, Springer, 3-540-26278-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Henrik Björklund |
State Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![In: 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], pp. 69-86, 2004, Springer, 3-540-26278-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | |
Part V. Standardized Test Notation and Execution Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing of Reactive Systems ![In: 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], pp. 463-463, 2004, Springer, 3-540-26278-4. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|