default search action

combined dblp search
author search
venue search
publication search

ask others

4th FormaliSE@ICSE 2016: Austin, Texas, USA

> Home > Conferences and Workshops > FormaliSE
> Home > Conferences and Workshops > ICSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icse/2016formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2016formalise
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016. ACM 2016, ISBN 978-1-4503-4159-2
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Vito16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Vito16
Ben L. Di Vito:
Deductive evaluation: formal code analysis with low user burden. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RiveraBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RiveraBC16
Victor Rivera, Sukriti Bhattacharya, Néstor Cataño:
Undertaking the tokeneer challenge in event-b. 8-14
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HagiharaUTSY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HagiharaUTSY16
Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki:
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. 15-21
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MercaldoNSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MercaldoNSV16
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Download malware? no, thanks: how formal methods can block update attacks. 22-28
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Liu16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Liu16a
Shaoying Liu:
Validating formal specifications using testing-based specification animation. 29-35
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KatisGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KatisGW16
Andreas Katis, Andrew Gacek, Michael W. Whalen:
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. 36-41
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Al-MahfoudhGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Al-MahfoudhGS16
Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman:
Toward rigorous design of domain-specific distributed systems. 42-48

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.