Editorials

Book Chapters

  1. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications,
    E. Bartocci, J. Deshmukh, A. Donze, G. Fainekos, O. Maler, D. Nickovic, and S. Sankaranarayanan,
    Lectures on Runtime Verification - Introductory and Advanced Topics, LNCS 10457, pp 128-168, Springer, 2018

Archived Journal Papers

  1. Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems (ACM DL Author-ize servicepdf, extended tech report),
    Adel Dokhanchi, Bardh Hoxha, and Georgios Fainekos,
    ACM Transactions on Embedded Computing Systems, V17, I2, 2018
  2. Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems (extended tech report),
    Bardh Hoxha, Adel Dokhanchi and Georgios Fainekos,
    International Journal on Software Tools for Technology Transfer, V20, I1, pp 79–93, 2018
  3. Automatic Parallelization of Multi-rate Block Diagrams of Control Systems on Multi-core Platforms (ACM DL Author-ize servicepdf),
    Cumhur Erkan Tuncali, Georgios Fainekos, and Yann-Hang Lee,
    ACM Transactions on Embedded Computing Systems, V16, I1, 2016
  4. On the Minimal Revision Problem of Specification Automata (extended tech report) ,
    Kangjin Kim, Georgios Fainekos and Sriram Sankaranarayanan,
    International Journal of Robotics Research, V34, N12, pp 1515-1535, 2015
  5. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems (ACM DL Author-ize servicepdf, preprint pdf),
    H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivancic, and A. Gupta,
    ACM Transactions on Embedded Computing Systems, V12, I S2, May 2013
  6. Temporal Logic-based Reactive Mission and Motion Planning (pdf),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    IEEE Transactions on Robotics, V 25, N 6, pp 1370 - 1381, 2009
  7. Robustness of temporal logic specifications for continuous-time signals (pdf),
    Georgios E. Fainekos and George J. Pappas,
    Theoretical Computer Science, Elsevier, V 410, N 42, pp 4262-4291, 2009.
  8. Temporal Logic Motion Planning for Dynamic Mobile Robots (pdf),
    Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit and George J. Pappas,
    Automatica, Elsevier, V 45, N 2, pp 343-352, 2009.
  9. Translating Structured English to Robot Controllers (pdf),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    Advanced Robotics, VSP/Brill Academic Publishers, V 22, N 12, pp 1343-1359, 2008.
  10. Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method (pdf),
    Georgios E. Fainekos and Kyriakos C. Giannakoglou,
    Inverse Problems in Engineering, Taylor & Francis, V 11, N 1, pp 21-38, 2003

Conference Papers with Proceedings (Peer-Reviewed)

  1. Optimal Multi-Valued LTL Planning for Systems with Access Right Levels (pdf),
    Mohammad Hekmatnejad and Georgios Fainekos
    American Control Conference (ACC), Milwaukee, WI, June 2018
  2. Deep Predictive Models for Collision Risk Assessment in Autonomous Driving (pdf),
    Mark Strickland, Georgios Fainekos, Heni Ben Amor
    IEEE International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 2018
  3. Experience Report: Application of Falsification Methods on the UxAS System (pdf),
    C. E. Tuncali, B. Hoxha, G. Ding, G. Fainekos S. Sankaranarayanan
    10th NASA Formal Methods (NFM), Newport News, VA, April 2018
  4. Local Descent for Temporal Logic Falsification of Cyber-Physical Systems (extended tech report),
    Shakiba Yaghoubi, and Georgios Fainekos
    7th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), Seoul, Korea, Oct. 2017
  5. Vacuity Aware Falsification for MTL Request-Response Specifications (pdf),
    Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
    IEEE International Conference on Automation Science and Engineering (CASE), Xian, China, Aug. 2017
  6. Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers (pdf),
    Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, and Georgios Fainekos
    IEEE International Conference on Automation Science and Engineering (CASE), Xian, China, Aug. 2017
  7. Temporal Logic Control under Incomplete or Conflicting Information (pdf),
    Georgios Fainekos and Herbert Glenn Tanner
    American Control Conference (ACC), Seattle, WA, May 2017
  8. Hybrid Approximate Gradient and Stochastic Descent for Falsification of Nonlinear Systems (pdf),
    Shakiba Yaghoubi, and Georgios Fainekos
    American Control Conference (ACC), Seattle, WA, May 2017
  9. Model-Based Falsification of an Artificial Pancreas Control System (pdf),
    S. Sankaranarayanan, S. A. Kumar, F. Cameron, B. W. Bequette, G. Fainekos and D. Maahs
    ACM SIGBED Review - Special Issue on Medical Cyber Physical Systems workshop (MedicalCPS'16), V14, N2, pp 24-33, 2017
  10. An Efficient Algorithm for Monitoring Practical TPTL Specifications (extended tech report),
    Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
    ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), Nov. 2016
  11. Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles (pdf),
    Cumhur Erkan Tuncali, Theodore P. Pavlic, and Georgios Fainekos
    IEEE Intelligent Transportation Systems Conference, Rio de Janeiro, Brazil, Nov. 2016
  12. Traffic Light Status Detection Using Movement Patterns of Vehicles (pdf),
    Joseph Campbell, Heni Ben Amor, Marcelo H. Ang Jr., and Georgios Fainekos
    IEEE Intelligent Transportation Systems Conference, Rio de Janeiro, Brazil, Nov. 2016
  13. Extended LTLvis Motion Planning Interface (extended tech report),
    Wei Wei, Kangjin Kim, and Georgios Fainekos
    IEEE International Conference on Systems, Man, and Cybernetics, Budapest, Hungary, Oct. 2016
  14. Modeling Concurrency and Reconfiguration in Vehicular Systems: A π-calculus Approach (pdf),
    J. Campbell, C. E. Tuncali, Peng Liu, Theodore P. Pavlic, Umit Ozguner, and Georgios Fainekos
    IEEE International Conference on Automation Science and Engineering, Fort Worth, Texas, August 2016
  15. Toward Modeling Concurrency and Reconfiguration in Vehicular Systems (pdf),
    Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic and Georgios Fainekos
    9th Interaction and Concurrency Experience (ICE), Heraklion, Greece, June 2016
  16. Planning in Dynamic Environments Through Temporal Logic Monitoring (pdf),
    Bardh Hoxha and Georgios Fainekos
    Workshops of the 30th AAAI Conference on Artificial Intelligence: Planning for Hybrid Systems, Phoenix, AZ, Feb. 2016
  17. Metric Interval Temporal Logic Specification Elicitation and Debugging (pdf),
    Adel Dokhanchi, Bardh Hoxha, and Georgios Fainekos
    13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, Texas, September 2015
  18. VISPEC: A graphical tool for elicitation of MTL requirements (extended tech report),
    Bardh Hoxha, Nikolaos Mavridis, and Georgios Fainekos
    IEEE/RSJ International Conference on Intelligent Robots and Systems, Hamburg, Germany, September 2015
  19. DisCoF plus: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems (pdf),
    K. Kim, J. Campbell, W. Duong, Y. Zhang, and G. Fainekos
    IEEE International Conference on Automation Science and Engineering, Gothenburg, Sweden, August 2015
  20. Automatic Parallelization of Simulink Models for Multi-core Architectures (pdf),
    C. E. Tuncali, G. Fainekos, and Y.-H. Lee
    12th IEEE International Conference on Embedded Software and Systems, New York, NY, August 2015
  21. Formal property verification in a conformance testing framework (pdf),
    Houssam Abbas, Hans Mittelmann and Georgios Fainekos,
    12th ACM-IEEE International Conference on Formal Methods and Models for System Design, Lausanne, Switzerland, October 2014
  22. DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range (pdf),
    Yu Zhang, Kangjin Kim and Georgios Fainekos,
    International Symposium on Distributed Autonomous Robotic Systems (DARS), Daejeon, Korea, Nov 2014
  23. Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems (pdf),
    B. Hoxha, H. Bach, H. Abbas, A. Dokhanchi, Y. Kobayashi and G. Fainekos,
    International Workshop on Design and Implementation of Formal Tools and Systems, Lausanne, Switzerland, Oct 2014
  24. On-Line Monitoring for Temporal Logic Robustness (pdf, extended tech report),
    Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos,
    Runtime Verification, Toronto, Canada, September 2014
  25. Revision of Specification Automata under Quantitative Preferences (pdf, extended tech report),
    Kangjin Kim and Georgios Fainekos,
    IEEE International Conference on Robotics and Automation, Hong-Kong, June 2014
  26. Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems (pdf), (Finalist, Best Student Paper)
    Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Koichi Ueda,
    IEEE International Conference on CYBER Technology in Automation, Control, and Intelligent Systems, Hong Kong, China, June 2014
  27. Functional Gradient Descent Method for Metric Temporal Logic Specifications (pdf),
    Houssam Abbas, Andrew Winn, Georgios Fainekos and A. Agung Julius
    American Control Conference, Portland, OR, June 2014
  28. WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems (pdf, extended tech report),
    H. Abbas, B. Hoxha, G. Fainekos, J. V. Deshmukh, J. Kapinski, K. Ueda,
    ACM/IEEE International Conference on Cyber-Physical Systems, Berlin, Germany, April 2014
  29. Benchmarks for Temporal Logic Requirements for Automotive Systems (pdf),
    Bardh Hoxha, Houssam Abbas and Georgios Fainekos,
    Applied Verification for Continuous and Hybrid Systems, Berlin, Germany, April 2014
  30. Using S-TaLiRo on Industrial Size Automotive Models (pdf),
    Bardh Hoxha, Houssam Abbas and Georgios Fainekos,
    Applied Verification for Continuous and Hybrid Systems, Berlin, Germany, April 2014
  31. A Graphical Language for LTL Motion and Mission Planning (pdf),
    S. Srinivas, R. Kermani, K. Kim, Y. Kobayashi and G. Fainekos,
    IEEE International Conference on Robotics and Biomimetics, Shenzen, China, Dec. 2013
  32. Computing Descent Direction of MTL Robustness for Non-Linear Systems (pdf),
    Houssam Abbas and Georgios Fainekos,
    American Control Conference, Washington DC, USA, June 2013
  33. Minimal Specification Revision for Weighted Transition Systems (pdf),
    Kangjin Kim and Georgios Fainekos,
    IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 2013
  34. Querying Parametric Temporal Logic Properties on Embedded Systems (pdf),
    Hengyi Yang, Bardh Hoxha and Georgios Fainekos,
    Int. Conference on Testing Software and Systems, Aalborg, Denmark, Nov. 2012
  35. Approximate Solutions for the Minimal Revision Problem of Specification Automata (pdf),
    Kangjin Kim and Georgios Fainekos,
    IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura Algarve, Portugal, Oct. 2012
  36. Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System (pdf),
    Sriram Sankaranarayanan and Georgios Fainekos,
    10th Conference on Computational Methods in Systems Biology, London, UK, Oct. 2012
  37. Verification of Automotive Control Applications using S-TaLiRo (pdf),
    Georgios Fainekos, Sriram Sankaranarayanan, Koichi Ueda and Hakan Yazarel
    American Control Conference, Montreal, Canada, June 2012
  38. On the Revision Problem of Specification Automata (pdf),
    Kangjin Kim, Georgios Fainekos and Sriram Sankaranarayanan,
    IEEE Conference on Robotics and Automation, St. Paul, Minnesota, May 2012
  39. Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method (ACM DL Author-ize service pdf),
    Sriram Sankaranarayanan and Georgios Fainekos,
    ACM International Conference on Hybrid Systems: Computation and Control, Beijing, China, Apr. 2012
  40. Combining Time and Frequency Domain Specifications For Periodic Signals (pdf),
    Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos,
    In the Proceedings of Runtime Verification, San Francisco, California, Sep. 2011
  41. Linear Hybrid System Falsification Through Local Search (pdf, extended tech report),
    Houssam Abbas and Georgios Fainekos,
    In the Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, Oct. 2011
  42. Computing Schedules for Time-Triggered Control using Genetic Algorithms (pdf),
    Truong Nghiem and Georgios E. Fainekos,
    In the Proceedings of the 18th IFAC World Congress, Milan, Italy, Aug. 2011
  43. Revising Temporal Logic Specifications for Motion Planning (pdf),
    Georgios E. Fainekos,
    In the Proceedings of the 2011 International Conference on Robotics and Automation, Shanghai, China, May 2011
  44. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (pdf),
    Y. S. R. Annapureddy, C. Liu, G. E. Fainekos and S. Sankaranarayanan,
    In the Proc. of Tools and algorithms for the construction and analysis of systems, Saarbrucken, Germany, March 2011
  45. Ant Colonies for Temporal Logic Falsification of Hybrid Systems (pdf),
    Yashwanth S. R. Annapureddy and Georgios E. Fainekos,
    In the Proceedings of the 36th Annual Conference of IEEE Industrial Electronics, Glendale, AZ, Nov. 2010
  46. Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Systems (ACM DL Author-ize service pdf, Preprint pdf),
    T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivancic, A. Gupta and G. Pappas,
    Hybrid Systems: Computation and Control, Stockholm, Sweden, Apr. 2010
  47. Robustness of Model-based Simulations (pdf),
    Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta,
    IEEE Real-Time Systems Symposium, Washington DC, Dec. 2009
  48. MTL Robust Testing and Verification for LPV Systems (pdf),
    Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 2009 American Control Conference, St. Louis, Missouri, June 2009
  49. Partial Order Techniques for the Analysis and Synthesis of Hybrid and Embedded Systems (pdf),
    D. Del Vecchio, E. A. Lee, J.-F. Raskin, G. J. Pappas, G. E. Fainekos, D. Caveney and L. Caminiti,
    In the Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans, Louisiana, December 2007
  50. Robust Sampling for MITL Specifications (pdf),
    Georgios E. Fainekos and George J. Pappas,
    In the 5th Inter. Conference on Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 2007
  51. From Structured English to Robot Motion (pdf),
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, San Diego, CA, October 2007
  52. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (pdf),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    In Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  53. Robust test generation and coverage for hybrid systems (pdf),
    A. A. Julius, G. E. Fainekos, M. Anand, I. Lee and G. J. Pappas,
    In Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  54. Where's Waldo? Sensor-Based Temporal Logic Motion Planning (pdf), (Finalist, Best Student Paper)
    Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 2007 International Conference on Robotics and Automation, Rome, Italy, April 2007
  55. Translating temporal logic to controller specifications (pdf),
    Georgios E. Fainekos, Savvas G. Loizou and George J. Pappas,
    In the Proceedings of the 45th IEEE Conference on Decision and Control, San Diego, USA, December 2006
  56. Temporal logic verification using simulation (pdf),
    Georgios E. Fainekos, Antoine Girard and George J. Pappas,
    In the 4th Inter. Conference on Formal Modelling and Analysis of Timed Systems, Paris, France, September 2006
  57. Robustness of Temporal Logic Specifications (pdf, extended tech report),
    Georgios E. Fainekos and George J. Pappas,
    In the Workshop on Formal Approaches to Testing and Runtime Verification, Seattle, USA, August 2006
  58. Hybrid Controllers for Path Planning: A Temporal Logic Approach (pdf),
    Georgios E. Fainekos, Hadas Kress-Gazit and George J. Pappas,
    In the Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, December 2005
  59. Temporal logic motion planning for mobile robots (pdf),
    Georgios E. Fainekos, Hadas Kress-Gazit, and George J. Pappas,
    In the Proceedings of the 2005 International Conference on Robotics and Automation, Barcelona, Spain, April 2005
  60. Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles (pdf, extended tech report),
    Selcuk Bayraktar, Georgios E. Fainekos and George J. Pappas,
    In the Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, December 2004

Invited papers (Not peer reviewed)

  1. Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification (pdf),
    Fraser Cameron, Georgios Fainekos, David M. Maahs, and Sriram Sankaranarayanan
    Runtime Verification, LNCS 9333, pp 1-15, Springer, 2015
  2. Requirements driven falsification with coverage metrics (pdf),
    A. Dokhanchi, A. Zutshi, R. T. Sriniva, S. Sankaranarayanan, and G. Fainekos
    Embedded Software, Amsterdam, The Netherlands, Oct. 2015
  3. A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients (pdf),
    S. Sankaranarayanan, C. Miller, R. Raghunathan, H. Ravanbakhsh and G. Fainekos,
    In the Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, Oct. 2012
  4. Convergence Proofs for Simulated Annealing Falsification of Safety Properties (pdf),
    Houssam Abbas and Georgios Fainekos,
    In the Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, Oct. 2012
  5. Towards modeling and analysis of cyber-physical medical systems (ACM DL Author-ize service pdf),
    A. Banerjee, S. K. S. Gupta, G. Fainekos and G. Varsamopoulos,
    Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, Barcelona, Spain, Oct. 2011

Patents

  1. Patent pending: U.S. Patent Application No 12/708,651, Publication No US 2010/0299651 A1 (published Nov. 25, 2010) (Fainekos et al., "Robust Testing for Discrete-Time and Continuous-Time System Models")

Thesis

  1. Robustness of Temporal Logic Specifications,
    Georgios E. Fainekos,
    PhD Thesis, University of Pennsylvania, August 2008
  2. Ant Colony Optimization: Applications to discrete and continuous problems,
    Georgios E. Fainekos,
    Diploma Thesis, NTUA, September 2001 (in Greek)

Unpublished Technical Reports

  1. Towards composition of conformant systems,
    Houssam Abbas, and Georgios Fainekos,
    Technical Report arXiv:1511.05273, 2015
  2. An Introduction to Multi-Valued Model Checking (pdf),
    Georgios E. Fainekos,
    Technical Report MS-CIS-05-16, Department of CIS, University of Pennsylvania, September 2005

Selected presentations

  1. Temporal Logic Planning for Mobile Robots: What happens when missions cannot be satisfied?,
    University of Maryland, College Park, Feb. 2018
  2. Specification guided testing and verification for Cyber-Physical Systems,
    7th Halmstad Summer School on Testing, Halmstad, Sweden, June 2017
  3. Temporal Logic Testing and Verification for Cyber-Physical Systems,
    University of Tokyo, Tokyo, Japan, June 2014
  4. Graphical Interfaces and Automated User Feedback for Temporal Logic Motion Planning,
    KTH, Stockholm, Sweden, Mar. 2014
  5. Robust Testing and Testing Robustness for Cyber-Physical Systems,
    University of California at Los Angeles, Jun. 2011
  6. Robustness of Model-based Simulations,
    IEEE Real-Time Systems Symposium, Washington DC, Dec. 2009
  7. Robustness of Temporal Logic Specifications,
    PhD thesis defense, University of Pennsylvania, June 23, 2008
  8. Robust Sampling for MITL Specifications,
    Formal Modelling and Analysis of Timed Systems, Salzburg, Austria, October 2007
  9. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications,
    Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  10. Robust test generation and coverage for hybrid systems,
    Hybrid Systems: Computation and Control, Pisa, Italy, April 2007
  11. Translating temporal logic to controller specifications,
    IEEE Conference on Decision and Control, San Diego, California, December 2006
  12. Robustness of Temporal Logic Specifications (and an application to verification using simulation),
    Verimag, Grenoble, September 2006
  13. An Introduction to Multi-Valued Model Checking,
    In-depth examination, Committee: Rajeev Alur (Chair), Insup Lee and George Pappas, June 2005
  14. Temporal Logic Motion Planning for Mobile Robots,
    International Conference on Robotics and Automation, Barcelona, April 2005
  15. Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles,
    IEEE Conference on Decision and Control, Bahamas, December 2004

Selected posters

  1. Conformance Testing as Falsification for Cyber-Physical Systems,
    H. Abbas, B. Hoxha, G. Fainekos, J. V. Deshmukh, J. Kapinski, K. Ueda,
    ACM/IEEE International Conference on Cyber-Physical Systems, Berlin, Germany, April 2014
  2. Robustness-Guided Temporal Logic Testing for Stochastic Hybrid Systems,
    Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Koichi Ueda,
    ACM/IEEE Hybrid Systems: Computation and Control, Berlin, Germany, April 2014
  3. Temporal Logic Motion Planning for Mobile Robots, (Best poster award)
    Georgios E. Fainekos, Hadas Kress-Gazit, and George J. Pappas
    Graduate Research Symposium at University of Pennsylvania, March 2005
Home :: Research :: Publications :: Miscellaneous
Admin: G. Fainekos // Design: O. Fainekos // Copyright @ Georgios Fainekos // Last update@2018.02.08