Jeffrey Kramer

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 3

Top Topics

Finite Automata

Top Venues

Publications

Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Debasish Ray Chawdhuri, Jeffrey Kramer, Spencer Judge
Acceptable Privacy for XAND Blockchain. IoTSMS (2019)
Pedro Rodrigues, Emil Constantine Lupu, Jeffrey Kramer
Compositional Reliability Analysis for Probabilistic Component Automata. MiSE@ICSE (2015)
Jeffrey Kramer, Abraham Kandel
On accurate localization and uncertain sensors. Int. J. Intell. Syst. 27 (5) (2012)
Michael Lindemuth, Robin R. Murphy, Eric Steimle, William Armitage, Karen L. Dreger, Tim Elliot, Michael Hall, Dmitry Kalyadin, Jeffrey Kramer, Mayur Palankar, Kevin S. Pratt, Chandler Griffin
Sea Robot-Assisted Inspection. IEEE Robotics Autom. Mag. 18 (2) (2011)
Jeffrey Kramer, Abraham Kandel
Robust Small Robot Localization From Highly Uncertain Sensors. IEEE Trans. Syst. Man Cybern. Part C 41 (4) (2011)
Jeffrey Kramer
Abstraction and Modelling: A Complementary Partnership. TFM (2009)
Jeffrey Kramer, Abraham Kandel
Fuzzy approaches to driven Kalman filtering for small robot localization. ICAR (2009)
Innes Jelly, Ian Gorton, Helmar Burkhart, Karsten M. Decker, Alan D. Fekete, John M. Potter, Hassan Gomaa, Jeffrey Kramer, Douglas C. Schmidt, John A. Stankovic
Software engineering for parallel and distributed systems. IEEE Concurrency 5 (3) (1997)