default search action

combined dblp search
author search
venue search
publication search

ask others

8th FormaliSE@ICSE 2020: Seoul, Korea

> 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/2020formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2020formalise
Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat:
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. ACM 2020, ISBN 978-1-4503-7071-4
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DuhaibyG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DuhaibyG20
Omar al Duhaiby, Jan Friso Groote:
Active Learning of Decomposable Systems. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0001NOST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0001NOST20
Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor:
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. 11-21
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Camara20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Camara20
Javier Cámara:
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. 22-33
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MunteanuPM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MunteanuPM20
Andrei Munteanu, Michele Pasqua, Massimo Merro:
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. 34-43
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RungeKTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RungeKTS20
Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. 44-54
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AskarpourMBBP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AskarpourMBBP20
Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione:
Mind the gap: Robotic Mission Planning Meets Software Engineering. 55-65
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CavezzaA020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CavezzaA020
Davide G. Cavezza, Dalal Alrajeh, András György:
Minimal Assumptions Refinement for Realizable Specifications. 66-76
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WeiglUCBV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WeiglUCBV20
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser:
Relational Test Tables: A Practical Specification Language for Evolution and Security. 77-86
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DayKMNP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DayKMNP20
Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
Rule-based Word Equation Solving. 87-97
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KulikBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KulikBT20
Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen:
Security Verification of Industrial Control Systems using Partial Model Checking. 98-108
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Chondamrongkul020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Chondamrongkul020
Nacha Chondamrongkul, Jing Sun, Ian Warren, Scott Uk-Jin Lee:
Semantic-based Architecture Smell Analysis. 109-118
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KulikBA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KulikBA20
Tomas Kulik, Jalil Boudjadar, Diego F. Aranha:
Towards Formally Verified Key Management for Industrial Control Systems. 119-129
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TorreLGEM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TorreLGEM20
Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi:
UML Consistency Rules: a Case Study with Open-Source UML Models. 130-140
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BellucciniNDP0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BellucciniNDP0T20
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi:
Verification of Privacy-Enhanced Collaborations. 141-152

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.