2014.issre.net
Fast Abstracts | ISSRE 2014
http://www.2014.issre.net/fast-abstracts.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. Thursday, Nov. 6, 09:00 - 10:30 - Hotel RC - Aragonese Room. 1 Saeko Matsuura, Yoshitaka Aoki and Shinpei Ogata. Practical Behavioral Inconsistency Detection between Source Code and Specification using Model Checking. 2 Leonardo Mariani, Daniela Micucci and Fabrizio Pastore. Early Conflict Detection with Mined Models. 3 Jasmin Jahic and Thomas Kuhn. Analysis of functional software dependencies through supervised execution. 5 Oma...
2014.issre.net
News | ISSRE 2014
http://www.2014.issre.net/news.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. On Tue, 08/05/2014 - 13:25. On Tue, 08/05/2014 - 13:26. Please, note that room availability is ensured until September 5th. On Tue, 08/05/2014 - 13:30. The short paper submission deadline has expired, and no more short papers will be accepted. Only presentations submitted by August 15 will be considered for review. On Mon, 08/18/2014 - 04:29. Registration for ISSRE 2014 is now open! Visit http:/ issre.net/registration.
2014.issre.net
IWPD | ISSRE 2014
http://www.2014.issre.net/iwpd-program.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. IEEE International Workshop on Program Debugging. Hotel RC - Normanna Room. IWPD Welcome and Opening. Monday, Nov. 3, 09:15 - 09:30. Sudipto Ghosh, J. Jenny Li. Welcome Message. IWPD #1: Event Set and Trace Reduction. Monday, Nov. 3, 09:30 - 10:30. 1 Hanefi Mercan and Cemal Yilmaz. Pinpointing Failure Inducing Event Orderings. IWPD #2: Panel Discussion:. Program Debugging Research and Practice. Moderator: W. Eric Wong. 2 Benjami...
2014.issre.net
WOSD | ISSRE 2014
http://www.2014.issre.net/wosd-program.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. The Fourth Workshop on Open Systems Dependability. CC - Room B. WOSD #1: Evolution of Assurance. Tuesday, Nov. 4, 11:00 - 12:30. 1 Hillary Sillitto. Invited talk: The 21st Century Challange: Open Systems on a Closed Planet. 2 Shuichiro Yamamoto and Shuji Morisaki. An Evaluation of Assuring Test Case Sufficiency using A D-Case Pattern. WOSD #2: Management of Open Systems Dependability. Tuesday, Nov. 4, 14:00 - 15:30. Toward SIL E...
2014.issre.net
The 25th IEEE International Symposium on Software Reliability Engineering | ISSRE 2014
http://www.2014.issre.net/home.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. The 25th IEEE International Symposium on Software Reliability Engineering. On Fri, 10/10/2014 - 09:57. Special Section in the IEEE Transactions on Reliability. You can find the CfP here. The website of ISSRE 2015. 4 days of intese programs! 145 papers, 10 keynotes, 8 tutorials, and much more! On Tuesday, November 4. Welcome and opening remarks by. Prof Gaetano Manfredi,. Magnifico Rettore of the Federico II University of Naples.
2014.issre.net
Student Papers | ISSRE 2014
http://www.2014.issre.net/student-papers.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. Tuesday, Nov. 4, 16:00 - 18:00 - CC - Aula Magna. Session chair: Karthik Pattabiraman. 1 Satoko Kinoshita, Hiroki Takamura, Daichi Mizuguchi and Hidekazu Nishimura. Describing Software Specification by Combining SysML with the B method. 2 Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng and Wei Dong. A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. A Case Study of Linux. A Case Study of Linux.
2014.issre.net
Keynotes and invited talks | ISSRE 2014
http://www.2014.issre.net/keynotes.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. Keynotes and invited talks. The following keynotes and talks are planned during ISSRE 2014. Date and time may change. MAKING IT BIG(GER AND BIGGER): the challenge of dominating complexity in a transnational companies merging process. By Salvatore Scervo, Selex ES. Tuseday, Nov. 4, 9:30am - Hotel RC - Mirabilis Room. Assessment techniques, certification and [what else we need for] confidence in software. Open Systems Dependabilit...
2014.issre.net
Panels | ISSRE 2014
http://www.2014.issre.net/panels.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. Data Analytics for Software Engineering. Wednesday, Nov. 5, 9:00am - CC - Aula Magna. Wednesday, Nov. 5, 2:00pm - CC - Room A. Program Debugging Research and Practice. Monday, Nov. 3, 11:00am - Hotel RC - Normanna Room. From Research to Certification. Monday, Nov. 3, 5:00pm - Hotel RC - Santa Lucia Room. Formalism, Automation, and Tool Support for Assurance Cases. Wednesday, Nov. 5, 5:00pm - Hotel RC - Catalana Room. This panel ...
2014.issre.net
Tutorials | ISSRE 2014
http://www.2014.issre.net/tutorials.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. The following tutorials are planned for ISSRE 2014. Modern Web Applications' Reliability Engineering. Monday, Nov. 3, 9:00am - Hotel RC - Aragonese Room. More Reliable Software Faster and Cheaper: An Introduction to Software Reliability Engineering. By Laurie Williams and Mladen Vouk - Slides. Monday, Nov. 3, 2:00pm - Hotel RC - Aragonese Room. By Kishor S. Trivedi, Alberto Avritzer, and Daniel Sadoc Menasché. Earn the IEEE Reli...
2014.issre.net
Location | ISSRE 2014
http://www.2014.issre.net/location.html
Skip to main content. November 3-6, 2014. Industry Papers and Presentations. Naples, Italy - at the Royal Continental Hotel. Dates: November 3rd-6th, 2014. Room reservations: accommodation form. Naples has given a lot to Italy, Europe and the world: it exports hundreds its scientists, its intellectuals, its researchers, its artists, its filmmakers . With generosity, of course. But also by necessity. While he gets nothing, or very little, from the outside. Fernand Braudel, 1983. Railway station, take Metr...