Difference between revisions of "MBT Reading Group"

From CERES
Jump to: navigation, search
Line 1: Line 1:
 
== Current Papers ==
 
== Current Papers ==
* ''' February 6, 2017 at 11.00am:''' Tool demo on [http://dl.acm.org/citation.cfm?id=587053 Isolating Cause-effect Chains from Computer Programs]
+
* ''' March 1, 2017 at 3.00 pm:''' [https://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2017-VaMoS-Lity.pdf Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-Line Analysis]
** Moderator: Sebastian
+
** Moderator: Mahsa
  
 
== Upcoming Papers ==
 
== Upcoming Papers ==
Line 10: Line 10:
 
* [http://ieeexplore.ieee.org/document/5119/?arnumber=5119 A Modal Process Logic]
 
* [http://ieeexplore.ieee.org/document/5119/?arnumber=5119 A Modal Process Logic]
 
* [http://link.springer.com/chapter/10.1007/978-3-642-24372-1_20 Parametric Modal Transition Systems]
 
* [http://link.springer.com/chapter/10.1007/978-3-642-24372-1_20 Parametric Modal Transition Systems]
* [https://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2017-VaMoS-Lity.pdf Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-Line Analysis]
 
  
 
== Previous Papers ==
 
== Previous Papers ==
* ''' January 30, 2017 at 1.30pm:'''  [http://dl.acm.org/citation.cfm?id=587053 Isolating Cause-effect Chains from Computer Programs]
+
* ''' February 13, 2017 at 11.00 am:''' Demo of [http://dl.acm.org/citation.cfm?id=587053 Isolating Cause-effect Chains from Computer Programs]
 +
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 +
** Moderator: Sebastian
 +
* ''' January 30, 2017 at 1.30 pm:'''  [http://dl.acm.org/citation.cfm?id=587053 Isolating Cause-effect Chains from Computer Programs]
 
** Attendees: Masoumeh, Mohammad, Sebastian
 
** Attendees: Masoumeh, Mohammad, Sebastian
 
** Moderator: Sebastian
 
** Moderator: Sebastian
* ''' November 21, 2016 at 1.30pm:'''  [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6227211 A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each]
+
* ''' November 21, 2016 at 1.30 pm:'''  [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6227211 A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each]
 
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 
** Moderator: Sebastian
 
** Moderator: Sebastian
* ''' November 8, 2016 at 1.30pm:''' [http://dl.acm.org/citation.cfm?id=2483783 Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis]
+
* ''' November 8, 2016 at 1.30 pm:''' [http://dl.acm.org/citation.cfm?id=2483783 Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis]
 
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 
** Moderator: Masoumeh
 
** Moderator: Masoumeh
* ''' October 24, 2016 at 1.30pm:''' [http://dl.acm.org/citation.cfm?id=2483783 Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis]
+
* ''' October 24, 2016 at 1.30 pm:''' [http://dl.acm.org/citation.cfm?id=2483783 Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis]
 
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 
** Moderator: Masoumeh
 
** Moderator: Masoumeh

Revision as of 12:30, 13 February 2017

Current Papers

Upcoming Papers

Previous Papers