Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

2nd FormaliSE@ICSE 2014: Hyderabad, India

> 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
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/icse/2014formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2014formalise
Stefania Gnesi, Nico Plat:
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. ACM 2014, ISBN 978-1-4503-2853-1

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/icse/Nori14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Nori14
Aditya V. Nori:
Software reliability via machine learning (invited talk). 1-2

Integration of Formal Methods in Software Engineering I

- view
  authority control:
- export record
  dblp key:
  - conf/icse/BollinR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BollinR14
Andreas Bollin, Dominik Rauner-Reithmayer:
Formal specification comprehension: the art of reading and writing z. 3-9

Integration of Formal Methods in Software Engineering II

- view
  authority control:
- export record
  dblp key:
  - conf/icse/BaresiKR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BaresiKR14
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi:
Flexible modular formalization of UML sequence diagrams. 10-16
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SayarB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SayarB14
Imen Sayar, Mohamed Tahar Bhiri:
From an abstract specification in event-b toward an UML/OCL model. 17-23
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KusakabeLOA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KusakabeLOA14
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki:
Generating supportive hypotheses in introducing formal methods using a software processes improvement model. 24-30

Analysis and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/icse/BeekV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BeekV14
Maurice H. ter Beek, Erik P. de Vink:
Using mCRL2 for the analysis of software product lines. 31-37
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NanjundappaS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NanjundappaS14
Mahesh Nanjundappa, Sandeep K. Shukla:
Compiling polychronous programs into conditional partial orders for ASIP synthesis. 38-44

Verification and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/icse/NeemaSLPAS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NeemaSLPAS14
Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits:
Formalization of software models for cyber-physical systems. 45-51
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BiatekWHRL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BiatekWHRL14
Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry:
Analysis and testing of PLEXIL plans. 52-58

a service of

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.