Marie Farrell

@farrell_marie

Vrijeme pridruživanja: listopad 2011.
8 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @farrell_marie

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @farrell_marie

  1. proslijedio/la je Tweet
    5. pro 2019.

    Our own presenting a summary of the survey paper on Formal Specification and Verification of Autonomous Robotic Systems, The summary provides a guide to the larger survey paper. Thanks to Lina and Conor for their photography.

    1 reply 3 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    4. pro 2019.

    presenting a survey on formal specification and verification of autonomous robotic systems. Journal first at

    3 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    3. pro 2019.

    Our own Marie Farrell ( ) presenting experiences in studying and teaching Formal Methods, at the workshop The paper 'When the Student becomes the Teacher' is joint work with Hao Wu

    1 reply 1 proslijeđeni tweet 13 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    8. lis 2019.

    Busy busy Here's our own chairing a session at Formal Integrated Development Environments ()

    2 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Poništi
  5. 30. ruj 2019.

    My co-chairs and I from are almost ready for next week at . We are very excited to meet the authors and invited speakers!

    Come along to held in Porto: ➡️Invited speakers and Kristin Rosier ➡️Paper presentations ➡️Discussion panel exploring challenges of formally verifying autonomous systems
    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    22. ruj 2019.

    Last week our own presented her paper "Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages" Joint work with and (), plus and others from both labs

    1 reply 4 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    5. ruj 2019.

    A pre-print by several of our researchers: 'Modular Verification of Autonomous Space Robotics'

    Modular Verification of Autonomous Space Robotics ( ) by Marie Farrell and others (including myself) now available on arXiv!
    5 proslijeđenih tweetova 12 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    28. kol 2019.

    Our own attended the International Conference on Space Mission Challenges for Informational Technology () in California. Here is her postcard:

    1 reply 4 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    8. kol 2019.

    Our researcher, Marie Farrell, from attended the conference in California last week and presented a position paper on "Modular Verification of Autonomous Space Robotics". Read more and view the paper at:

    5 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
    Poništi
  10. 2. kol 2019.

    What an amazing week I've had representing and at the conference!!!! Even got to visit the JPL and saw a replica of the Mars Curiosity rover!

    6 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    26. srp 2019.

    Not long until SMC-IT next week in California! Researcher, Dr Marie Farrell, will be presenting a position paper on 'Heterogeneous Verification of Autonomous Space Robotics' at the mini-workshop on Assurance of Autonomy for Robotic Space Missions

    6 proslijeđenih tweetova 6 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    24. lip 2019.

    Marie got her PhD from and now is a Postdoctoral Researcher at . She uses and combines formal methods to reason about and provide certification evidence for robotics in hazardous environments. You can read more here:

    3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    23. lip 2019.

    The problems with shadow IT

    1 reply 2 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    14. velj 2019.

    Lovin' "THE GAME CHANGER" - Gary's Go-To Glue Gun !! . Packer's P-912 CORDLESS GLUE GUN . SUPER VERSATILE, the cordless design allows you to freely move in any direction . Powered by a STANDARD RYOBI 18V BATTERY . Need advice on the best glue for your application, get in touch !

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  15. 4. srp 2018.

    Hubert Cecil Booth

    Poništi
  16. proslijedio/la je Tweet
    10. srp 2014.

    Idea. Why doesn't everyone in Tipperary and Leitrim house-swap with someone from Clonliffe Road for the week of the Garth Brooks gigs?

    12 replies 113 proslijeđenih tweetova 121 korisnik označava da mu se sviđa
    Poništi

@farrell_marie još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·