|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 266 occurrences of 175 keywords
|
|
|
Results
Found 2058 publication records. Showing 2058 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Franz J. Rammig |
Cyber Biosphere for Future Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings, pp. 245-255, 2008, Springer, 978-3-540-87784-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Biologically Inspired Techniques, Artificial Hormone Systems, Artificial Immune Systems, Ant Colony Algorithms |
24 | Zhong Xu, Xue Liu 0001, Guoqing Zhang, Wenbo He, Guanzhong Dai, Weihuan Shu |
A Certificateless Signature Scheme for Mobile Wireless Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China, pp. 489-494, 2008, IEEE Computer Society, 978-0-7695-3173-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Janos Sztipanovits |
Composition of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA, pp. 3-6, 2007, IEEE Computer Society, 0-7695-2772-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Ferdous Ahmed Sohel, Gour C. Karmakar, Laurence S. Dooley |
Bezier Curve-Based Character Descriptor Considering Shape Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 11-13 July 2007, Melbourne, Australia, pp. 212-216, 2007, IEEE Computer Society, 0-7695-2841-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
curvature, shape descriptor, control points, Bezier curves, corner points |
24 | Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
Finally Tagless, Partially Evaluated. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 222-238, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Ryo Kurazume, Yukihiro Tobata, Yumi Iwashita, Tsutomu Hasegawa |
3D laser measurement system for large scale architectures using multiple mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: Sixth International Conference on 3-D Digital Imaging and Modeling, 3DIM 2007, 21-23 August 2007, Montreal, Quebec, Canada, pp. 91-98, 2007, IEEE Computer Society, 0-7695-2939-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Min-Jen Tsai, Chen-Sheng Wang |
Adaptive Real-Time Computation Coordination for the Web Services Based Computing Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, pp. 562-567, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Bojiao Sun, Donghua Zhou |
A Rotated Image Matching Method Based on CISD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I, pp. 1346-1352, 2007, Springer, 978-3-540-72382-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Yeong-Sun Song, Hong-Gyoo Sohn, Choung-Hwan Park |
An Efficient 3-D Positioning Method from Satellite Synthetic Aperture Radar Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part III, pp. 533-540, 2006, Springer, 3-540-46542-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Peep Küngas, Mihhail Matskin |
Symbolic Negotiation in Linear Logic with Coalition Formation. ![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. 298-305, 2006, IEEE Computer Society, 0-7695-2748-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Tobias Löw, Thomas Streicher |
Universality Results for Models in Locally Boolean Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 456-470, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Peep Küngas, Mihhail Matskin |
Symbolic negotiation revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 432-434, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
symbolic reasoning, negotiation, cooperative problem solving, partial deduction |
24 | Masahito Hasegawa |
Relational Parametricity and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 72-81, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Søren B. Lassen |
Eager Normal Form Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 345-354, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Min-Jen Tsai, Chen-Sheng Wang, Po-Yu Yang, Chien-Yu Yang |
A Collaborated Computing System by Web Services Based P2P Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected papers) ![In: Computer Supported Cooperative Work in Design II, 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers, pp. 194-204, 2005, Springer, 3-540-32969-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Tang-Kai Yin |
A characteristic-point-based fuzzy inference system aimed to minimize the number of fuzzy rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 12(2), pp. 250-273, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Irena Spasic, Goran Nenadic, Sophia Ananiadou |
Learning to Classify Biomedical Terms Through Literature Mining and Genetic Algorithms.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2004, 5th International Conference, Exeter, UK, August 25-27, 2004, Proceedings, pp. 345-351, 2004, Springer, 3-540-22881-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Lin-Jung Wu, Hsien-Sheng Hsiao |
Using a Knowledge-Based Management to Design a Web-Based Creative Problem Solving System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web-Based Learning - ICWL 2004, Third International Conference, Beijing, China, August 8-11, 2004, Proceedings, pp. 225-232, 2004, Springer, 3-540-22542-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Masahito Hasegawa |
Semantics of Linear Continuation-Passing in Call-by-Name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 229-243, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Hong-jun Zhang, Qing-Hua Li, Wei Zhang |
Commitment in Cooperative Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings, pp. 993-996, 2004, Springer, 3-540-23564-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Aldo Roveri, Carla-Fabiana Chiasserini, Mauro Femminella, Tommaso Melodia, Giacomo Morabito, Michele Rossi, Ilenia Tinnirello |
The RAMON Module: Architecture Framework and Performance Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoS-IP ![In: Quality of Service in Multiservice IP Networks, Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings, pp. 471-484, 2003, Springer, 3-540-00604-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Khalid Al-Begain |
Performance Models for 2.5/3G Mobile Systems and Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS Tutorials ![In: Performance Tools and Applications to Networked Systems, Revised Tutorial Lectures [from MASCOTS 2003], pp. 143-167, 2003, Springer, 3-540-21945-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Elzbieta Pekalska, Robert P. W. Duin, Marina Skurichina |
A Discussion on the Classifier Projection Space for Classifier Combining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiple Classifier Systems ![In: Multiple Classifier Systems, Third International Workshop, MCS 2002, Cagliari, Italy, June 24-26, 2002, Proceedings, pp. 137-148, 2002, Springer, 3-540-43818-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Oleg Kiselyov |
Macros That Compose: Systematic Macro Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, pp. 202-217, 2002, Springer, 3-540-44284-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Vitaly Telerman |
Using Constraint Solvers in CAD/CAM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 446-456, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Ralph Matthes |
Parigot's Second Order lambda-mu-Calculus and Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 329-343, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Olivier Danvy |
Many Happy Returns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 1, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Ichiro Ogata |
Cut Elimination for Classical Proofs as Continuation Passing Style Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings, pp. 61-78, 1998, Springer, 3-540-65388-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996., pp. 13-24, 1996, ACM, 0-89791-770-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Pascal Fradet |
Compilation of Head and Strong Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 211-224, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Olivier Danvy |
Back to Direct Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 130-150, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Direct style transformation, continuation-passing style transformation, Scheme, calculus |
24 | Andrew W. Appel, Trevor Jim |
Continuation-Passing, Closure-Passing Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 293-302, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML |
21 | K. H. (Kane) Kim |
Desirable Advances in Cyber-Physical System Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC/UMC ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, SUTC 2010 and IEEE International Workshop on Ubiquitous and Mobile Computing, UMC 2010, 7-9 June 2010, Newport Beach, California, USA, pp. 2-4, 2010, IEEE Computer Society, 978-0-7695-4049-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
TUP, high-level programming, network-based, security, fault tolerance, software engineering, embedded, TMO, timeliness, Cyber-physical system, CPS, global time |
21 | Matthew Might |
Logic-flow analysis of higher-order programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 185-198, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
LFA, abstract counting, abstract garbage collection, environment analysis, gamma-CFA first-order logic, logic-flow analysis, static analysis, theorem proving, lambda calculus, CPS |
21 | Matthew Might, Olin Shivers |
Improving flow analyses via GammaCFA: abstract garbage collection and counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 13-25, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining |
21 | Peng Li, Steve Zdancewic |
Advanced control flow in Java card programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 165-174, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
trampolined style, smart card, continuation, control flow, Java card, CPS |
21 | Abhijit Jain |
Veterans and internet use: implications for career preparation and development support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2004 SIGMIS Conference on Computer Personnel Research: Careers, Culture, and Ethics in a Networked Environment, 2004, Tucson, AZ, USA, April 22-24, 2004, pp. 97-102, 2004, ACM, 1-58113-847-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
veterans, CPS, internet use |
20 | Kenichi Asai, Arisa Kitani |
Functional derivation of a virtual machine for delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 87-98, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization |
20 | Aleksander Wojdyga |
Short Proofs of Strong Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 613-623, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
permutative reductions, lambda calculus, system F, CPS-translation, strong normalization |
20 | Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano |
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 478-492, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
domain-free type system, undecidability, existential type, CPS-translation |
20 | Waled Alshabi, Srinivasan Ramaswamy, Mhamed Itmi, Habib Abdulrab |
A cooperative problem-solving process in hierarchical organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 1025-1030, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
CPS-process, skills' search, cooperation, organization |
20 | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |
A functional correspondence between evaluators and abstract machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 8-19, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion |
20 | Zhihao Lu, Rui Wang 0024, Yong Guan |
Formal verification of discrete event model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAV-CPS/IoT@ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 3-4, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Jun Sun 0001, Zijiang Yang 0006 |
ObjSim: efficient testing of cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAV-CPS/IoT@ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 1-2, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Daniele Antonioli, Hamid Reza Ghaeini, Sridhar Adepu, Martín Ochoa, Nils Ole Tippenhauer |
Gamifying ICS Security Training and Research: Design, Implementation, and Results of S3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 93-102, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ioannis Agadakos, Chien-Ying Chen, Matteo Campanelli, Prashant Anantharaman, Monowar Hasan, Bogdan Copos, Tancrède Lepoint, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist |
Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 37-48, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Amarjit Datta, Mohammad Ashiqur Rahman |
Cyber Threat Analysis Framework for the Wind Energy Based Power System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 81-92, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Herson Esquivel-Vargas, Marco Caselli, Andreas Peter |
Automatic Deployment of Specification-based Intrusion Detection in the BACnet Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 25-36, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin Green 0001, Marina Krotofil, Ali Abbasi 0002 |
On the Significance of Process Comprehension for Conducting Targeted ICS Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 57-67, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Neetesh Saxena, Victor Chukwuka, Leilei Xiong, Santiago Grijalva |
CPSA: A Cyber-Physical Security Assessment Tool for Situational Awareness in Smart Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 69-79, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Chen Markman, Avishai Wool, Alvaro A. Cárdenas |
A New Burst-DFA model for SCADA Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 1-12, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Muhammad Azmi Umer, Aditya Mathur, Khurum Nazir Junejo, Sridhar Adepu |
Integrating Design and Data Centric Approaches to Generate Invariants for Distributed Attack Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 131-136, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Bhavani Thuraisingham, Rakesh B. Bobba, Awais Rashid (eds.) |
Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![ACM, 978-1-4503-5394-6 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Minghao Ruan, Muaz Ahmad, Yongqiang Wang 0001 |
Secure and Privacy-Preserving Average Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 123-129, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin Green 0001, Daniel Prince, Jerry S. Busby, David Hutchison 0001 |
"How Long is a Piece of String": : Defining Key Phases andObserved Challenges within ICS Risk Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 103-109, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Carmen Cheh, Ken Keefe, Brett Feddersen, Binbin Chen 0001, William G. Temple, William H. Sanders |
Developing Models for Physical Attacks in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 49-55, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Junia Valente, Alvaro A. Cárdenas |
Remote Proofs of Video Freshness for Public Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 111-122, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta |
From System Specification to Anomaly Detection (and back). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017, pp. 13-24, 2017, ACM, 978-1-4503-5394-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Xiong Zhao, Lianyu Zheng, Maoyuan Shi, Xuexin Zhang, Yuehong Zhang |
Unified modelling for continuous-discrete hybrid adaptive machining CPS of large thin-walled parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Prod. Res. ![In: Int. J. Prod. Res. 62(9), pp. 3099-3119, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | David Juárez-Varón, René Ernesto Esquivel Gaón, Ana Mengual-Recuerda, Camilo Vera-Sepúlveda |
Neurotechnologies Applied to Society's Perception of Cyber-Physical Systems (CPS) in Smart Cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Semantic Web Inf. Syst. ![In: Int. J. Semantic Web Inf. Syst. 20(1), pp. 1-32, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Tomoya Yamaguchi 0001, Bardh Hoxha, Dejan Nickovic |
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 26(1), pp. 79-99, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Yong-Jun Shin, Donghwan Shin 0001, Doo-Hwan Bae |
Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 23(1), pp. 13:1-13:29, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Yi Hu, Jinhang Zuo, Alanis Zhao, Bob Iannucci, Carlee Joe-Wong |
CoRAST: Towards Foundation Model-Powered Correlated Data Analysis in Resource-Constrained CPS and IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18451, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Ankit Agrawal 0002, Philipp Zech, Michael Vierhauser |
Coupled Requirements-driven Testing of CPS: From Simulation To Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16287, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | M. Teresa Higuera-Toledano, José L. Risco-Martín, Patricia Arroba, José L. Ayala |
Green Adaptation of Real-Time Web Services for Industrial CPS within a Cloud Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.16387, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Gaurav Shinde, Rohan Mohapatra, Pooja Krishan, Harish Garg, Srikanth Prabhu, Sanchari Das, Mohammad Masum, Saptarshi Sengupta |
The State of Lithium-Ion Battery Health Prognostics in the CPS Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.19816, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith |
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Cyber Phys. Syst. ![In: ACM Trans. Cyber Phys. Syst. 8(1), pp. 3:1-3:27, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Junyi Liu, Yifu Tang, Haimeng Zhao, Xieheng Wang, Fangyu Li, Jingyi Zhang |
CPS Attack Detection under Limited Local Information in Cyber Security: An Ensemble Multi-Node Multi-Class Classification Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 20(2), pp. 33:1-33:27, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Ying Ju, Mingjie Yang, Chinmay Chakraborty, Lei Liu 0031, Qingqi Pei, Ming Xiao 0001, Keping Yu |
Reliability-Security Tradeoff Analysis in mmWave Ad Hoc-based CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 20(2), pp. 28:1-28:23, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Kashif Naseer Qureshi, Garret O'Keeffe, Shane O'Farrell, Graham Costelloe |
Cybersecurity Standards and Policies for CPS in IoE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cybersecurity Vigilance and Security Engineering of Internet of Everything ![In: Cybersecurity Vigilance and Security Engineering of Internet of Everything - Technology, Communications and Computing, pp. 177-192, 2024, Springer, 978-3-031-45161-4. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Zixuan Ding, Qi Xie |
Provably secure and lightweight three-factor authentication scheme for industrial medical CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 79, pp. 103656, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bo Wang 0024, Jiayao Hou, Fei Wei, Fei Yu, Weiming Zheng |
MDM-CPS: A few-shot sample approach for source camera identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 229(Part A), pp. 120315, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | R. Subhashini, G. R. Hemalakshmi, R. Rajalakshmi, Chuang Chen |
Improving sleeping quality and health under CPS: An analysis based on EEG data and support vector machine algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 45(5), pp. 8703-8716, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bhushana Samyuel Neelam, Benjamin A. Shimray |
Improved network performance in CPS communication with distributed IPC mechanisms of recursive internetworking architecture (RINA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Internet Protoc. Technol. ![In: Int. J. Internet Protoc. Technol. 16(1), pp. 68-74, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Zhiyuan Kuang, Yajuan Song, Jie Wu, Qiuying Fu, Qi Shu, Fangli Qiao, Zhenya Song |
A Hybrid ENSO Prediction System Based on the FIO-CPS and XGBoost Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(7), pp. 1728, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jiun-Wei Guo, Hsiao-Ching She, Meng-Jun Chen, Pei-Yi Tsai |
Can CPS better prepare 8th graders for problem-solving in electromagnetism and bridging the gap between high- and low-achievers than IPS? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Support. Collab. Learn. ![In: Int. J. Comput. Support. Collab. Learn. 18(4), pp. 489-512, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Hua Wu 0004, Ziling Shao, Fuhao Yang, Guang Cheng 0001, Xiaoyan Hu, Jing Ren 0002, Wei Wang 0171 |
PD-CPS: A practical scheme for detecting covert port scans in high-speed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 231, pp. 109825, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Manohar Sai Burra, Soumyadev Maity |
A Distributed and Decentralized Certificateless Framework for Reliable Shared Data Auditing for FOG-CPS Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 42595-42618, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ziaur Rahman 0003, Xun Yi, Ibrahim Khalil |
Blockchain-Based AI-Enabled Industry 4.0 CPS Protection Against Advanced Persistent Threat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 10(8, April 15), pp. 6769-6778, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Zenepe Satka, Saad Mubeen, Mohammad Ashjaei, John Lundbäck |
Towards Modelling 5G Communication in Software Architectures of Vehicular CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiPiEC Journal ![In: WiPiEC Journal 9(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Xuanzhao Lu, Qimin Xu, Xiaolin Wang, Meihan Lin, Cailian Chen, Zhiguo Shi 0001, Xinping Guan |
Full-Loop AoI-Based Joint Design of Control and Deterministic Transmission for Industrial CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 19(11), pp. 10727-10738, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yangyang Bao, Weidong Qiu, Xiaochun Cheng |
Privacy-preserving and fine-grained data sharing for resource-constrained healthcare CPS devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 40(6), July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli |
Runtime System Support for CPS Software Rejuvenation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Emerg. Top. Comput. ![In: IEEE Trans. Emerg. Top. Comput. 11(3), pp. 594-604, July - September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yuan Fei, Huibiao Zhu, Jiaqi Yin |
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Evol. Process. ![In: J. Softw. Evol. Process. 35(7), July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ahmad Zainudin, Rubina Akter, Dong-Seong Kim 0002, Jae-Min Lee |
Federated Learning Inspired Low-Complexity Intrusion Detection and Classification Technique for SDN-Based Industrial CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 20(3), pp. 2442-2459, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yigit Tuncel, Toygun Basaklar, Dina Carpenter-Graffy, Ümit Y. Ogras |
A Self-Sustained CPS Design for Reliable Wildfire Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(5s), pp. 135:1-135:23, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia |
Towards Building Verifiable CPS using Lingua Franca. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(5s), pp. 155:1-155:24, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shoma Abe, Jun Ogawa, Yosuke Watanabe, MD Nahin Islam Shiblee, Masaru Kawakami, Hidemitsu Furukawa |
MORI-A CPS: 3D printed soft actuators with 4D assembly simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Life Robotics ![In: Artif. Life Robotics 28(3), pp. 609-617, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Anand Agrawal, Praneeta Maganti, Rajib Ranjan Maiti |
Cyber Physical Aquaponic System (CyPhA): a CPS Testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.05132, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Armin Moin, Atta Badii, Stephan Günnemann, Moharram Challenger |
AI-Enabled Software and System Architecture Frameworks: Focusing on smart Cyber-Physical Systems (CPS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.05239, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Srijeet Halder, Kereshmeh Afsari, Alireza Shojaei |
Natural Interaction Modalities for Human-CPS Interaction in Construction Progress Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.05988, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jaekwon Lee, Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand |
Fuzzing for CPS Mutation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07949, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Satoshi Kura 0001 |
Higher-Order Weakest Precondition Transformers via a CPS Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09997, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma 0003, Dikai Liu, Jianxiong Yin, Simon See |
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.00055, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Christian Pilato, Francesca Palumbo |
CPS Workshop 2023 Proceedings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.14578, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Henrik S. Steude, Lukas Moddemann, Alexander Diedrich, Jonas Ehrhardt, Oliver Niggemann |
Diagnosis driven Anomaly Detection for CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.15924, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Hua Qin, Weimin Chen, Ni Li, Tao Wang, Hao Chen, Gelan Yang, Yang Peng |
CPS: Cross-interface network Partitioning and Scheduling towards QoS-aware data flow delivery in multimedia IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 217, pp. 103698, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Arda Goknil, Phu Hong Nguyen, Sagar Sen, Dimitra Politaki, Harris Niavis, Karl John Pedersen, Abdillah Suyuthi, Abhilash Anand, Amina Ziegenbein |
A Systematic Review of Data Quality in CPS and IoT for Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 55(14s), pp. 327:1-327:38, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Samarjit Chakraborty, Somesh Jha, Soheil Samii, Philipp Mundhenk |
Introduction to the Special Issue on Automotive CPS Safety & Security: Part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Cyber Phys. Syst. ![In: ACM Trans. Cyber Phys. Syst. 7(1), pp. 1:1-1:6, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Tong Yu, Qingxiang Wu |
HarDNet-CPS: Colorectal polyp segmentation based on Harmonic Densely United Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 85, pp. 104953, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2058 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|