default search action

combined dblp search
author search
venue search
publication search

ask others

1st FormaliSE@ICSE 2013: San Francisco, CA, 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
- export record
  dblp key:
  - conf/icse/2013formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2013formalise
1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6292-4

Keynote

- view
  authority control:
- export record
  dblp key:
  - conf/icse/Wassyng13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Wassyng13
Alan Wassyng:
Though this be madness, yet there is method in it? (Keynote). 1-7

Specification

- view
  authority control:
- export record
  dblp key:
  - conf/icse/Bollin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Bollin13
Andreas Bollin:
Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem. 8-14

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/icse/AgarwalK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AgarwalK13
Siddharth Agarwal, Amey Karkare:
Functional SMT solving with Z3 and racket. 15-21
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MadhukarMSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MadhukarMSV13
Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh:
Trace based reachability verification for statecharts. 22-28
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NijjarBB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NijjarBB13
Jaideep Nijjar, Ivan Bocic, Tevfik Bultan:
An integrated data model verifier with property templates. 29-35

Application of Formal Methods

- view
  authority control:
- export record
  dblp key:
  - conf/icse/GmehlichGLIJM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GmehlichGLIJM13
Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara:
Towards a formalism-based toolkit for automotive applications. 36-42
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AtleeBDFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AtleeBDFS13
Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker:
Recommendations for improving the usability of formal methods for product lines. 43-49
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GandhiSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GandhiSW13
Robin A. Gandhi, Harvey P. Siy, Yan Wu:
Lightweight formal models of software weaknesses. 50-56

Timed Systems

- view
  authority control:
- export record
  dblp key:
  - conf/icse/GothelG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GothelG13
Thomas Göthel, Sabine Glesner:
Automatic validation of infinite real-time systems. 57-63
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CordyLST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CordyLST13
Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez:
A framework for the rigorous design of highly adaptive timed systems. 64-70

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.