default search action

combined dblp search
author search
venue search
publication search

ask others

7th FormaliSE@ICSE 2019: Montreal, QC, Canada

> 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/2019formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2019formalise
Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi:
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM 2019, ISBN 978-1-7281-3373-7
- view
  authority control:
- export record
  dblp key:
  - conf/icse/IvanovS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/IvanovS19
Dmitry Ivanov, Sibylle Schupp:
Static analysis for worst-case battery utilization. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YalcinkayaG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YalcinkayaG19
Beyazit Yalcinkaya, Ebru Aydin Gol:
Clock reduction in timed automata while preserving design parameters. 11-20
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0001P0NS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0001P0NS19
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün:
Rigorous design and deployment of IoT applications. 21-30
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TranMLYNXJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TranMLYNXJ19
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson:
Parallelizable reachability analysis algorithms for feed-forward neural networks. 31-40
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RatiuGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RatiuGS19
Daniel Ratiu, Marco Gario, Hannes Schoenhaar:
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. 41-50
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Al-BatainehR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Al-BatainehR19
Omar I. Al-Bataineh, Mark Reynolds:
Epistemic model checking of distributed commit protocols with byzantine faults. 51-60
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CordyLLC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CordyLLC19
Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet:
Towards sampling and simulation-based analysis of featured weighted automata. 61-64
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PedersenC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PedersenC19
Jan Bækgaard Pedersen, Kevin Chalmers:
Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP. 65-74
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LourencoFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LourencoFP19
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto:
A generalized program verification workflow based on loop elimination and SA form. 75-84
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhalePN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhalePN19
Milad K. Ghale, Dirk Pattinson, Michael Norrish:
Modular synthesis of verified verifiers of computation with STV algorithms. 85-94
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RaelijohnFS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RaelijohnFS19
Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui:
A vision for helping developers use APIs by leveraging temporal patterns. 95-98
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LoowM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LoowM19
Andreas Lööw, Magnus O. Myreen:
A proof-producing translator for verilog development in HOL. 99-108
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AhmadMHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AhmadMHT19
Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar:
On the formalization of importance measures using HOL theorem proving. 109-118

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.