Publications Search Tool

@inproceedings{7497822bb,

title = {Ontology Instance Migration: Facilitating Ontology Co-evolution: the next step toward increased ontology adoption (Position paper)},

author = {Mark Fischer and Juergen Dingle and Maged Elaasar},

year  = {2015},

date = {2015-01-01},

booktitle = {7th International Conference on Knowledge Engineering and Ontology Development (KEOD'15)},

pages = {441-446},

publisher = {SciTePress},

address = {Lisbon, Portugal},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2015FindingAFb,

title = {Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report},

author = {Gehan M K Selim and James R Cordy and Juergen Dingel and Levi Lúcio and Bentley J Oakes},

url = {ceur-ws.org/Vol-1500},

issn = {1613-0073},

year  = {2015},

date = {2015-01-01},

booktitle = {4th Workshop on the Analysis of Model Transformations (AMT'15)},

volume = {CEUR},

number = {1500},

pages = {24-34},

address = {Ottawa, Canada. September 28, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Famelis:2015:MAP:2993000.2993009b,

title = {Migrating Automotive Product Lines: A Case Study},

author = {Michalis Famelis and Levi Lúcio and Gehan M K Selim and Alessio Sandro and Rick Salay and Marsha Chechik and James R Cordy and Juergen Dingel and Hans Vangheluwe and Ramesh S.},

url = {http://dx.doi.org/10.1007/978-3-319-21155-8_7},

doi = {10.1007/978-3-319-21155-8_7},

isbn = {978-3-319-21154-1},

year  = {2015},

date = {2015-01-01},

booktitle = {8th International Conference on Theory and Practice of Model Transformations (ICMT'15)},

pages = {82-97},

publisher = {Springer},

address = {L'Aquila, Italy. July 20-21, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Waez2015c,

title = {A Model for Industrial Real-Time Systems},

author = {Md Tawhid Bin Waez and Andrzej Wąsowski and Juergen Dingel and Karen Rudie},

url = {http://dx.doi.org/10.1007/978-3-662-46081-8_9},

doi = {10.1007/978-3-662-46081-8_9},

isbn = {978-3-662-46081-8},

year  = {2015},

date = {2015-01-01},

booktitle = {16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15)},

pages = {153-171},

publisher = {Springer},

address = {Mumbai, India. January 12-14, 2015},

abstract = {Introducing automated formal methods for large industrial real-time systems is an important research challenge. We propose timed process automata (TPA) for modeling and analysis of time-critical systems which can be open, hierarchical, and dynamic. The model offers two essential features for large industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) an automated state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating control processes which can activate other processes. We show how to automatically establish safety and reachability properties of TPA by reduction to solving timed games. To mitigate the state-space explosion problem, an automated state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Waez2015bb,

title = {Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report},

author = {Md Tawhid Bin Waez and Andrzej Wąsowski and Juergen Dingel and Karen Rudie},

url = {http://dx.doi.org/10.1007/978-3-319-15317-9_10},

doi = {10.1007/978-3-319-15317-9_10},

isbn = {978-3-319-15317-9},

year  = {2015},

date = {2015-01-01},

booktitle = {11th International Symposium on Formal Aspects of Component Software (FACS'14)},

pages = {162-180},

publisher = {Springer},

address = {Bertinoro, Italy. September 10-12, 2014},

abstract = {Task-level reconfiguration techniques in automotive applications aim to reallocate tasks to computation cores during failures to guarantee that the desired functionality is still delivered. We consider a class of mixed-criticality asymmetric multi-core systems inspired by our collaboration with a leading automotive manufacturing company, for which we automatically synthesize task-level reconfiguration services to reduce the number of processing cores and decrease the cost without weakening fault-tolerance. We admit the following types of faults: safety violations by tasks, permanent core failures, and temporary core failures. We use timed games to synthesize the controllers. The services suspend and reinstate the periodic executions of the non-critical tasks to ensure enough processing capacity for the critical tasks by maintaining lookup tables, which keep track of processing capacity. We present a methodology to synthesize the services and use a case study to show that suitable abstractions can dramatically improve the scalability of timed games-based tools for solving industrial problems.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{7497822b,

title = {Ontology Instance Migration: Facilitating Ontology Co-evolution: the next step toward increased ontology adoption (Position paper)},

author = {Mark Fischer and Juergen Dingle and Maged Elaasar},

year  = {2015},

date = {2015-01-01},

booktitle = {7th International Conference on Knowledge Engineering and Ontology Development (KEOD'15)},

pages = {441-446},

publisher = {SciTePress},

address = {Lisbon, Portugal},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Selim2015FindingAF,

title = {Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report},

author = {Gehan M K Selim and James R Cordy and Juergen Dingel and Levi Lúcio and Bentley J Oakes},

url = {ceur-ws.org/Vol-1500},

issn = {1613-0073},

year  = {2015},

date = {2015-01-01},

booktitle = {4th Workshop on the Analysis of Model Transformations (AMT'15)},

volume = {CEUR},

number = {1500},

pages = {24-34},

address = {Ottawa, Canada. September 28, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Famelis:2015:MAP:2993000.2993009,

title = {Migrating Automotive Product Lines: A Case Study},

author = {Michalis Famelis and Levi Lúcio and Gehan M K Selim and Alessio Sandro and Rick Salay and Marsha Chechik and James R Cordy and Juergen Dingel and Hans Vangheluwe and Ramesh S.},

url = {http://dx.doi.org/10.1007/978-3-319-21155-8_7},

doi = {10.1007/978-3-319-21155-8_7},

isbn = {978-3-319-21154-1},

year  = {2015},

date = {2015-01-01},

booktitle = {8th International Conference on Theory and Practice of Model Transformations (ICMT'15)},

pages = {82-97},

publisher = {Springer},

address = {L'Aquila, Italy. July 20-21, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Waez2015,

title = {A Model for Industrial Real-Time Systems},

author = {Md Tawhid Bin Waez and Andrzej Wąsowski and Juergen Dingel and Karen Rudie},

url = {http://dx.doi.org/10.1007/978-3-662-46081-8_9},

doi = {10.1007/978-3-662-46081-8_9},

isbn = {978-3-662-46081-8},

year  = {2015},

date = {2015-01-01},

booktitle = {16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15)},

pages = {153-171},

publisher = {Springer},

address = {Mumbai, India. January 12-14, 2015},

abstract = {Introducing automated formal methods for large industrial real-time systems is an important research challenge. We propose timed process automata (TPA) for modeling and analysis of time-critical systems which can be open, hierarchical, and dynamic. The model offers two essential features for large industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) an automated state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating control processes which can activate other processes. We show how to automatically establish safety and reachability properties of TPA by reduction to solving timed games. To mitigate the state-space explosion problem, an automated state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Waez2015b,

title = {Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report},

author = {Md Tawhid Bin Waez and Andrzej Wąsowski and Juergen Dingel and Karen Rudie},

url = {http://dx.doi.org/10.1007/978-3-319-15317-9_10},

doi = {10.1007/978-3-319-15317-9_10},

isbn = {978-3-319-15317-9},

year  = {2015},

date = {2015-01-01},

booktitle = {11th International Symposium on Formal Aspects of Component Software (FACS'14)},

pages = {162-180},

publisher = {Springer},

address = {Bertinoro, Italy. September 10-12, 2014},

abstract = {Task-level reconfiguration techniques in automotive applications aim to reallocate tasks to computation cores during failures to guarantee that the desired functionality is still delivered. We consider a class of mixed-criticality asymmetric multi-core systems inspired by our collaboration with a leading automotive manufacturing company, for which we automatically synthesize task-level reconfiguration services to reduce the number of processing cores and decrease the cost without weakening fault-tolerance. We admit the following types of faults: safety violations by tasks, permanent core failures, and temporary core failures. We use timed games to synthesize the controllers. The services suspend and reinstate the periodic executions of the non-critical tasks to ensure enough processing capacity for the critical tasks by maintaining lookup tables, which keep track of processing capacity. We present a methodology to synthesize the services and use a case study to show that suitable abstractions can dramatically improve the scalability of timed games-based tools for solving industrial problems.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}