Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019
Montreal, QC, Canada
Toggle navigation
Attending
Venue: Fairmont The Queen Elizabeth Hotel
Accommodation
Registration
Registration Desk Hours
Resume Database
Visas and Travel Authorizations
Travel Support
Childcare
Montréal
Code of Conduct
Diversity and Inclusion Plan
Logo
Sponsorship
Sponsors and Supporters
Sponsorship Opportunities
Logo
Exhibits
Program
ICSE Program
Your Program
Week Overview
Industry Program
Keynotes
Technical Briefings
Tutorials
Social Events
Awards
Community Meetings
Proceedings
Photos and Videos
Filter by Day
Fri 24 May
Sat 25 May
Sun 26 May
Mon 27 May
Tue 28 May
Wed 29 May
Thu 30 May
Fri 31 May
Tracks
ICSE 2019
Plenary
Technical Track
Journal-First Papers
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
ACM Student Research Competition
Technical Briefings
Industry Program
Artifact Evaluation
Posters
Workshops
Doctoral Symposium
New Faculty Symposium
Student Mentoring Workshop
Faculty Mentorship Lunch
Co-Located Events
ROSE Festival
Most Influential Paper ICSE N-10
Tutorials
Student Volunteers
Practice Speaker Room
Submitting to ICSE2019: Q&A
Resources
Community Meetings
Papers
Co-hosted Conferences
FormaliSE
ICGSE
ICGSE
ICGSE
Main
ICGSE
Research Papers
ICGSE
Journal-First Paper Presentations
ICGSE
Experience Reports
ICGSE
Industry Talks
ICGSE
Doctoral Symposium
ICGSE
JSS Special Issue
ICPC
ICPC
ICPC
Presentations
ICPC
Technical Research
ICPC
Tools Demo
ICPC
Replications
ICPC
Negative Results
ICSSP
MOBILESoft
MSR
MSR
MSR
Technical Papers
MSR
Mining Challenge
MSR
Data Showcase
MSR
Keynote
MSR
Education
MSR
MSR Awards
MSR
MIP Award
MSR
FOSS Award
MSR
Plenary
MSR
Paper Presentations
OSS
OSS
OSS
CROSSMINER
OSS
Invited Speakers
OSS
Panel
OSS
Papers
TechDebt
Co-hosted Symposia
SEAMS
SEAMS
SEAMS
Organization
ICSE 2019 Committees
Organizing Committee
Track Committees
Technical Track
Program Board
Program Committee
Journal-First Papers
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
ACM Student Research Competition
Artifact Evaluation
Posters
Workshops
Doctoral Symposium
New Faculty Symposium
Most Influential Paper ICSE N-10
Contributors
People Index
Co-hosted Conferences
FormaliSE
Organizing Committee
Program Chairs
Program Committee
ICGSE
Organizing Committee
Industry Liaisons
ICGSE 2019 Research Papers
ICGSE 2019 Experience Reports
ICPC
Organization Committee
Steering Committee
ICPC 2019 Technical Research
ICPC 2019 Tools Demo
ICPC 2019 Replications
ICPC 2019 Negative Results
ICSSP
Organizing Committee
Program Committee
Steering Committee
MOBILESoft
Organizing Committee
Program Committee
MSR
Organizing Committee
MSR 2019 Technical Papers
MSR 2019 Mining Challenge
MSR 2019 Data Showcase
MSR 2019 Education
MSR 2019 MSR Awards
MSR 2019 MIP Award
MSR 2019 FOSS Award
OSS
Organizing Committee
Program Committee
TechDebt
Organizing Committee
Co-hosted Symposia
SEAMS
Organizing Committee
Program Committee
Artifact Program Committee
Doctoral Projects Program Committee
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2019
(
series
) /
Fairmont The Queen Elizabeth Hotel
/
Room information: Sainte-Catherine
Venue
Fairmont The Queen Elizabeth Hotel
Room name
Sainte-Catherine
Floor
0
Room number
17
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:15 - 09:30
Opening/Ouverture
ICSSP
at
Sainte-Catherine
Chair(s):
Stanley Sutton
Independent Researcher
09:15
15m
Day opening
Welcome
ICSSP
09:30 - 10:10
Doctoral Track
ICSSP
at
Sainte-Catherine
Chair(s):
Paul Clarke
Dublin City University & Lero, The Irish Software Research Centre
09:30
20m
Doctoral symposium paper
Key Features Recommendation to Improve Bug Reporting
ICSSP
Md. Rejaul Karim
09:50
20m
Doctoral symposium paper
Towards a Knowledge Warehouse and Expert System for the Automation of SDLC Tasks
ICSSP
Ritu Kapur
Indian Institute of Technology, Ropar, India.
10:10 - 10:30
Agile Processes (I)
ICSSP
at
Sainte-Catherine
Chair(s):
Stanley Sutton
Independent Researcher
10:10
20m
Short-paper
SPI is Dead, isn't it? Clear the Stage for Continuous Learning!
ICSSP
Marco Kuhrmann
University of Passau
,
Jürgen Münch
Reutlingen University
11:00 - 12:30
Agile Processes (II)
ICSSP
at
Sainte-Catherine
Chair(s):
Stanley Sutton
Independent Researcher
11:00
30m
Full-paper
Success Factors for Effective Process Metrics Operationalization in Agile Software Development: A Multiple Case Study
ICSSP
Prabhat Ram
,
Pilar Rodriguez
University of Oulu
,
Markku Oivo
,
Silverio Martínez-Fernández
UPC-BarcelonaTech
11:30
30m
Full-paper
TWINS – This Workflow Is Not Scrum: Agile Process Adaptation for Open Source Software Projects
ICSSP
Paul Robinson
Sony
,
Sarah Beecham
Lero - The Irish Software Research Centre and University of Limerick
12:00
30m
Full-paper
Behavior-Driven Dynamics in Agile Development: The Effect of Fast Feedback on Teams
ICSSP
Fabian Kortum
,
Jil Klünder
Leibniz Universität Hannover
,
Kurt Schneider
14:00 - 15:30
Models, Ontologies, and Architecture
ICSSP
at
Sainte-Catherine
Chair(s):
Marco Kuhrmann
University of Passau
14:00
30m
Full-paper
On the Benefits of Using Dedicated Models in Validation Processes for Behavioral Specifications
ICSSP
Marian Daun
,
Jennifer Brings
,
Lisa Krajinski
,
Thorsten Weyer
14:30
30m
Full-paper
An Ontology-Driven Approach to Automating the Process of Integrating Security Software Systems
ICSSP
Chadni Islam
,
Muhammad Ali Babar
,
Surya Nepal
15:00
30m
Full-paper
Recover and RELAX: Concern-Oriented Software Architecture Recovery for Systems Development and Maintenance
ICSSP
Daniel Link
,
Pooyan Behnamghader
University of Southern California, USA
,
Ramin Moazeni
Santa Clara University
,
Barry Boehm
University of Southern California
16:00 - 17:30
Mining and Comparisons
ICSSP
at
Sainte-Catherine
Chair(s):
Mark Dowson
Independent Researcher
16:00
30m
Full-paper
How do startups develop Internet-of-things systems - A multiple exploratory case study
ICSSP
Anh Nguyen Duc
University College of Southeast Norway
,
Muhammad Khalid Khan
,
Tor Lønnestad
,
Sohaib Shahid Bajwa
,
Xiaofeng Wang
Free University of Bozen-Bolzano
,
Pekka Abrahamsson
University of Jyväskylä
16:30
30m
Full-paper
Evaluating Coding Behavior in Software Development Processes: A Process Mining Approach
ICSSP
Pasquale Ardimento
,
Mario Luca Bernardi
Giustino Fortunato University
,
Marta Cimitile
,
Fabrizio Maria Maggi
Link to publication
DOI
17:00
30m
Full-paper
Using Constraint Mining to Analyze Software Development Processes
ICSSP
Thomas Krismayer
Christian Doppler Lab. MEVSS, Johannes Kepler University Linz
,
Christoph Mayr-Dorn
Johannes Kepler University Linz
,
Johann Tuder
,
Rick Rabiser
Christian Doppler Lab. MEVSS, Johannes Kepler University Linz
,
Paul Grünbacher
Johannes Kepler University Linz, Austria
File Attached
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:30 - 10:30
Keynote
ICSSP
at
Sainte-Catherine
Chair(s):
Stanley Sutton
Independent Researcher
09:30
60m
Talk
Keynote: Philippe Kruchten--The End of Agile as We Know It
ICSSP
Philippe Kruchten
University of British Columbia
11:00 - 12:15
Hybrid Processes and Teams
ICSSP
at
Sainte-Catherine
Chair(s):
Regina Hebig
Chalmers University of Technology & University of Gothenburg
11:00
30m
Full-paper
What are Hybrid Development Methods Made Of? An Evidence-based Characterization
ICSSP
Paolo Tell
IT University of Copenhagen
,
Jil Klünder
Leibniz Universität Hannover
,
Steffen Küpper
Technische Universität Clausthal, Institute for Applied Software Systems Engineering
,
David Raffo
Portland State University
,
Stephen MacDonell
Auckland University of Technology
,
Jürgen Münch
Reutlingen University
,
Dietmar Pfahl
University of Tartu
,
Oliver Linssen
,
Marco Kuhrmann
University of Passau
11:30
20m
Short-paper
Towards Unified Software Project Monitoring for Organizations using Hybrid Processes and Tools
ICSSP
Eray Tüzün
Bilkent University
,
Çağdaş Üsfekes
,
Yagup Macit
,
Görkem Giray
Independent Researcher
11:50
20m
Short-paper
Functional Organization of Software Groups Considered Harmful
ICSSP
Rob Fuller
14:00 - 15:30
Reviews Papers
ICSSP
at
Sainte-Catherine
Chair(s):
Eray Tüzün
Bilkent University
14:00
30m
Full-paper
Software Quality Models: A Systematic Mapping Study
ICSSP
Padmalata Nistala
,
Kesav Vithal Nori
,
Raghu Reddy
IIT Hyderabad
14:30
30m
Full-paper
A Mapping Study on Product Owners in Industry: Identifying Future Research Directions
ICSSP
Carolin Unger-Windeler
,
Jil Klünder
Leibniz Universität Hannover
,
Kurt Schneider
15:00
30m
Full-paper
The Quest for Productivity in Software Engineering: A Practitioners Systematic Literature Review
ICSSP
Carlos Henrique Duarte
BNDES
16:00 - 17:10
Incremental and Continuous Development
ICSSP
at
Sainte-Catherine
Chair(s):
Ove Armbrust
Intel
16:00
30m
Short-paper
Towards an Agile Concern-Driven Development Process
ICSSP
Omar Alam
Trent University
16:30
20m
Short-paper
Continuous Integration in Validation of Modern, Complex, Embedded Systems.
ICSSP
Mateusz Kowzan
,
Patrycja Pietrzak
16:50
20m
Short-paper
Process-Driven Incremental Effort Estimation
ICSSP
Kan Qi
University of Southern California
,
Barry Boehm
University of Southern California
17:10 - 17:30
Closing/Clôture
ICSSP
at
Sainte-Catherine
Chair(s):
Stanley Sutton
Independent Researcher
17:10
20m
Talk
Farewell and Forward
ICSSP
18:00 - 20:00
ICSSP Steering Committee
Community Meetings
at
Sainte-Catherine
20:00 - 22:00
ISSPA Board
Community Meetings
at
Sainte-Catherine
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
08:40 - 10:30
Session 1
FormaliSE
at
Sainte-Catherine
Chair(s):
Matteo Rossi
Politecnico di Milano
08:40
10m
Day opening
Welcome by the Chairs
FormaliSE
C:
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
08:50
25m
Full-paper
Epistemic Model Checking of Distributed Commit Protocols with Byzantine faults
FormaliSE
Omar Bataineh
NTU
,
Mark Reynolds
The Univeristy of Western Australia
09:15
25m
Full-paper
Clock Reduction in Timed Automata while Preserving Design Parameters
FormaliSE
Beyazit Yalcinkaya
Middle East Technical University
,
Ebru Aydin Gol
Middle East Technical University
09:40
25m
Full-paper
Rigorous Design and Deployment of IoT Applications
FormaliSE
Ajay Krishna
Inria Grenoble, France
,
Michel Le Pallec
Nokia Bell Labs
,
Radu Mateescu
INRIA
,
Ludovic Noirie
Nokia Bell Labs
,
Gwen Salaün
University of Grenoble Alpes
10:05
25m
Full-paper
Static Analysis for Worst-Case Battery Utilization
FormaliSE
Dmitry Ivanov
TomTom
,
Sibylle Schupp
11:00 - 12:30
Session 2
FormaliSE
at
Sainte-Catherine
Chair(s):
Nancy Day
University of Waterloo, Canada
11:00
65m
Talk
Keynote presentation: The Benefits of (having doubts about) Formal Methods
FormaliSE
Jeffrey Joyce
Critical System Labs Inc.
12:05
25m
Full-paper
FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches - Using Language Engineering to Develop a Multi-Paradigm Specification Environment for NuSMV
FormaliSE
Daniel Ratiu
,
Marco Gario
Siemens Corporate Technology
,
Hannes Schoenhaar
Siemens Corporate Technology
16:00 - 18:00
Session 4
FormaliSE
at
Sainte-Catherine
Chair(s):
Stéphanie Challita
Inria, France
16:00
25m
Full-paper
Modular Synthesis of Verified Verifiers of Computation with STV Algorithms
FormaliSE
Milad K. Ghale
The Australian National University
,
Dirk Pattinson
Australian National University
,
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
16:25
15m
Short-paper
A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns
FormaliSE
Erick Raelijohn
University of Montreal
,
Michalis Famelis
Université de Montréal
,
Houari Sahraoui
Université de Montréal
16:40
25m
Full-paper
A Proof-Producing Translator for Verilog Development in HOL
FormaliSE
Andreas Lööw
Chalmers University of Technology
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
17:05
25m
Full-paper
On the Formalization of Importance Measures using HOL Theorem Proving
FormaliSE
Waqar Ahmad
Carnegie Mellon University
,
Shahid Ali Murtza
National University of Sciences and Technology
,
Osman Hasan
Concordia University, Canada
,
Sofiene Tahar
Concordia University
17:30
30m
Day closing
Discussion/closing
FormaliSE
C:
Nico Plat
Thanos
Tue 28 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 17:30
SEmotion
Workshops
at
Sainte-Catherine
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sainte-Catherine
ICSSP
Opening/Ouverture
ICSSP
Doctoral Track
ICSSP
Agile Processes (I)
ICSSP
ICSSP
Agile Processes (II)
ICSSP
ICSSP
Models, Ontologies, and Architecture
ICSSP
ICSSP
Mining and Comparisons
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
Sainte-Catherine
ICSSP
Keynote
ICSSP
ICSSP
Hybrid Processes and Teams
ICSSP
ICSSP
Reviews Papers
ICSSP
ICSSP
Incremental and Continuous Development
ICSSP
Closing/Clôture
ICSSP
Community Meetings
ICSSP Steering Committee
Community Meetings
ISSPA Board
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sainte-Catherine
FormaliSE
Session 1
FormaliSE
Session 2
FormaliSE
Session 4
Tue 28 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sainte-Catherine
Workshops
SEmotion
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Sainte-Catherine
ICSSP
Welcome
09:15 - 09:30
ICSSP
Key Features Recommendation to Improve Bug Reporting
09:30 - 09:50
ICSSP
Towards a Knowledge Warehouse and Expert System for the Automation of S ...
09:50 - 10:10
ICSSP
SPI is Dead, isn't it? Clear the Stage for Continuous Learning!
10:10 - 10:30
ICSSP
Success Factors for Effective Process Metrics Operationalization in Agi ...
11:00 - 11:30
ICSSP
TWINS – This Workflow Is Not Scrum: Agile Process Adaptation for Open S ...
11:30 - 12:00
ICSSP
Behavior-Driven Dynamics in Agile Development: The Effect of Fast Feedb ...
12:00 - 12:30
ICSSP
On the Benefits of Using Dedicated Models in Validation Processes for B ...
14:00 - 14:30
ICSSP
An Ontology-Driven Approach to Automating the Process of Integrating Se ...
14:30 - 15:00
ICSSP
Recover and RELAX: Concern-Oriented Software Architecture Recovery for ...
15:00 - 15:30
ICSSP
How do startups develop Internet-of-things systems - A multiple explora ...
16:00 - 16:30
ICSSP
Evaluating Coding Behavior in Software Development Processes: A Process ...
16:30 - 17:00
ICSSP
Using Constraint Mining to Analyze Software Development Processes
17:00 - 17:30
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Sainte-Catherine
ICSSP
Keynote: Philippe Kruchten--The End of Agile as We Know It
09:30 - 10:30
ICSSP
What are Hybrid Development Methods Made Of? An Evidence-based Characte ...
11:00 - 11:30
ICSSP
Towards Unified Software Project Monitoring for Organizations using Hyb ...
11:30 - 11:50
ICSSP
Functional Organization of Software Groups Considered Harmful
11:50 - 12:10
ICSSP
Software Quality Models: A Systematic Mapping Study
14:00 - 14:30
ICSSP
A Mapping Study on Product Owners in Industry: Identifying Future Resea ...
14:30 - 15:00
ICSSP
The Quest for Productivity in Software Engineering: A Practitioners Sys ...
15:00 - 15:30
ICSSP
Towards an Agile Concern-Driven Development Process
16:00 - 16:30
ICSSP
Continuous Integration in Validation of Modern, Complex, Embedded Systems.
16:30 - 16:50
ICSSP
Process-Driven Incremental Effort Estimation
16:50 - 17:10
ICSSP
Farewell and Forward
17:10 - 17:30
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Sainte-Catherine
FormaliSE
Welcome by the Chairs
08:40 - 08:50
FormaliSE
Epistemic Model Checking of Distributed Commit Protocols with Byzantin ...
08:50 - 09:15
FormaliSE
Clock Reduction in Timed Automata while Preserving Design Parameters
09:15 - 09:40
FormaliSE
Rigorous Design and Deployment of IoT Applications
09:40 - 10:05
FormaliSE
Static Analysis for Worst-Case Battery Utilization
10:05 - 10:30
FormaliSE
Keynote presentation: The Benefits of (having doubts about) Formal Methods
11:00 - 12:05
FormaliSE
FASTEN: An Open Extensible Framework to Experiment with Formal Specific ...
12:05 - 12:30
FormaliSE
Modular Synthesis of Verified Verifiers of Computation with STV Algorithms
16:00 - 16:25
FormaliSE
A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns
16:25 - 16:40
FormaliSE
A Proof-Producing Translator for Verilog Development in HOL
16:40 - 17:05
FormaliSE
On the Formalization of Importance Measures using HOL Theorem Proving
17:05 - 17:30
FormaliSE
Discussion/closing
17:30 - 18:00
x
Sun 22 Dec 07:01