|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina | A Feature-Based Classification of Formal Verification Techniques for Software Models | Bericht Report | 2014 |
| 2 | | Bloem, Roderick ; Könighofer, Robert ; Seidl, Martina | SAT-Based Synthesis Methods for Safety Specs | Konferenzbeitrag Inproceedings  | 2014 |
| 3 | | Wieland, Konrad ; Langer, Philip ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti | Turning Conflicts into Collaboration | Artikel Article | Apr-2013 |
| 4 | | Langer, Philip ; Wimmer, Manuel ; Brosch, Petra ; Herrmannsdörfer, Markus ; Seidl, Martina ; Wieland, Konrad ; Kappel, Gertrude | A posteriori operation detection in evolving software models | Artikel Article | Feb-2013 |
| 5 | | Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines | Konferenzbeitrag Inproceedings | 1-Jan-2013 |
| 6 | | Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina | OCL meets CTL: Towards CTL-Extended OCL Model Checking | Konferenzbeitrag Inproceedings | 1-Jan-2013 |
| 7 | | Scholz, Marion ; Kaufmann, Petra ; Seidl, Martina | Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling | Konferenzbeitrag Inproceedings | 1-Jan-2013 |
| 8 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 9 | | Dubois, Cathrine ; Famelis, Michalis ; Gogolla, Martin ; Nobrega, Leonel ; Ober, Ileana ; Seidl, Martina ; Völter, Markus | Research Questions for Validation and Verification in the Context of Model-Based Engineering | Konferenzbeitrag Inproceedings | 2013 |
| 10 | | Artho, Cyrille ; Seidl, Martina ; Biere, Armin | Model-Based Testing for Verification Back-Ends | Konferenzbeitrag Inproceedings | 2013 |
| 11 | | Goultiaeva, Alexandra ; Seidl, Martina ; Biere, Armin | Bridging the gap between dual propagation and CNF-based QBF solving | Konferenzbeitrag Inproceedings | 2013 |
| 12 | | Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina | A Classification of Model Checking-Based Verification Approaches for Software Models | Konferenzbeitrag Inproceedings | 2013 |
| 13 | | Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena | Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 14 | | Kaufmann, Petra ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti | Conflict Visualization for Evolving UML Models | Artikel Article | 2012 |
| 15 | | Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel | Towards Semantics-Aware Merge Support in Optimistic Model Versioning | Konferenzbeitrag Inproceedings | 2012 |
| 16 | | Kaufmann, Petra ; Langer, Philip ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti | Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue | Konferenzbeitrag Inproceedings | 2012 |
| 17 | | Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin | Resolution-Based Certificate Extraction for QBF | Konferenzbeitrag Inproceedings | 2012 |
| 18 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2012 |
| 19 | | Kaufmann, Petra ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina | On Formalizing EMF Modeling Operations with Graph Transformations | Konferenzbeitrag Inproceedings | 2012 |
| 20 | | Seidl, Martina ; Lonsing, Florian ; Biere, Armin | qbf2epr: A Tool for Generating EPR Formulas from QBF | Konferenzbeitrag Inproceedings | 2012 |
