The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martina Seidl" ( http://dblp.L3S.de/Authors/Martina_Seidl )

URL (Homepage):  http://fmv.jku.at/seidl/  Author page on DBLP  Author page in RDF  Community of Martina Seidl in ASPL-2

Publication years (Num. hits)
2003-2009 (17) 2010-2012 (24) 2013-2014 (21) 2015-2016 (21) 2017-2018 (18) 2019 (7)
Publication types (Num. hits)
article(36) book(2) incollection(1) inproceedings(64) phdthesis(1) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 4 keywords

Results
Found 109 publication records. Showing 108 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel A feature-based classification of formal verification techniques for software models. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Pulina, Martina Seidl The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl Local Search for Fast Matrix Multiplication. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl New ways to multiply 3 x 3-matrices. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Manuel Kauers, Martina Seidl, Doron Zeilberger On the maximal minimal cube lengths in distinct DNF tautologies. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl Local Search for Fast Matrix Multiplication. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl QRAT Polynomially Simulates ∀ \text -Exp+Res. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Martina Seidl Short proofs for some symmetric Quantified Boolean Formulas. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl Expansion-Based QBF Solving Without Recursion. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Manuel Kauers, Martina Seidl Short Proofs for Some Symmetric Quantified Boolean Formulas. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Manuel Kauers, Martina Seidl Symmetries of Quantified Boolean Formulas. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere Local Redundancy in SAT: Generalizations of Blocked Clauses. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florian Lonsing, Martina Seidl Parallel Solving of Quantified Boolean Formulas. Search on Bibsonomy Handbook of Parallel Constraint Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Martina Seidl Symmetries of Quantified Boolean Formulas. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Steffen Zschaler (eds.) Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers Search on Bibsonomy STAF Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl Expansion-Based QBF Solving Without Recursion. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The first reactive synthesis competition (SYNTCOMP 2014). Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martin Suda 0001, Martina Seidl, Hans Tompits, Armin Biere Blocked Clauses in First-Order Logic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere Local Redundancy in SAT: Generalizations of Blocked Clauses. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Martina Seidl, Armin Biere Solution Validation and Extraction for QBF Preprocessing. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martin Suda 0001, Martina Seidl, Hans Tompits, Armin Biere Blocked Clauses in First-Order Logic. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl A Little Blocked Literal Goes a Long Way. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere Skolem Function Continuation for Quantified Boolean Formulas. Search on Bibsonomy TAP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere PRuning Through Satisfaction. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Florian Lonsing, Martina Seidl, Allen Van Gelder The QBF Gallery: Behind the scenes. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Florian Lonsing, Uwe Egly, Martina Seidl Q-Resolution with Generalized Axioms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein 0001, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. Search on Bibsonomy SYNT@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Charles Jordan, Will Klieber, Martina Seidl Non-CNF QBF Solving with QCIR. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere Super-Blocked Clauses. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Florian Lonsing, Martina Seidl (eds.) Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Florian Lonsing, Uwe Egly, Martina Seidl Q-Resolution with Generalized Axioms. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Gabmeyer, Martina Seidl Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. Search on Bibsonomy TAP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Katalin Fazekas, Martina Seidl, Armin Biere A Duality-Aware Calculus for Quantified Boolean Formulas. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl Intra- and interdiagram consistency checking of behavioral multiview models. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere Clause Elimination for SAT and QSAT. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The Second Reactive Synthesis Competition (SYNTCOMP 2015). Search on Bibsonomy SYNT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The First Reactive Synthesis Competition (SYNTCOMP 2014). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Florian Lonsing, Martina Seidl, Allen Van Gelder The QBF Gallery: Behind the Scenes. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel UML @ Classroom - An Introduction to Object-Oriented Modeling Search on Bibsonomy 2015   DOI  RDF
1Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim (eds.) Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. Search on Bibsonomy MoDeVVa@MoDELS The full citation details ... 2015 DBLP  BibTeX  RDF
1Martina Seidl UML@Classroom: An Introduction to Object-Oriented Modeling. Search on Bibsonomy EduSymp@MoDELS The full citation details ... 2015 DBLP  BibTeX  RDF
1Marijn Heule, Martina Seidl, Armin Biere Blocked Literals Are Universal. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata Model-Based Testing of Stateful APIs with Modbat. Search on Bibsonomy ASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. Search on Bibsonomy JSAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. Search on Bibsonomy SLE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl Model Checking of CTL-Extended OCL Specifications. Search on Bibsonomy SLE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Robert Könighofer Partial witnesses from preprocessed quantified Boolean formulas. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marijn Heule, Martina Seidl, Armin Biere A Unified Proof System for QBF Preprocessing. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Nikolai Tillmann (eds.) Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings Search on Bibsonomy TAP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl MocOCL: A Model Checker for CTL-Extended OCL Specifications. Search on Bibsonomy VOLT@STAF The full citation details ... 2014 DBLP  BibTeX  RDF
1Marijn Heule, Martina Seidl, Armin Biere Efficient extraction of Skolem functions from QRAT proofs. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Robert Könighofer, Martina Seidl SAT-Based Synthesis Methods for Safety Specs. Search on Bibsonomy VMCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Martina Seidl, Magdalena Widl Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. Search on Bibsonomy Softwaretechnik-Trends The full citation details ... 2013 DBLP  BibTeX  RDF
1Konrad Wieland, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel Turning Conflicts into Collaboration. Search on Bibsonomy Computer Supported Cooperative Work The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Robert Könighofer, Martina Seidl SAT-Based Synthesis Methods for Safety Specs. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Philip Langer, Manuel Wimmer, Petra Brosch, Markus Herrmannsdörfer, Martina Seidl, Konrad Wieland, Gerti Kappel A posteriori operation detection in evolving software models. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexandra Goultiaeva, Martina Seidl, Armin Biere Bridging the gap between dual propagation and CNF-based QBF solving. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Armin Biere, Martina Seidl Model-Based Testing for Verification Back-Ends. Search on Bibsonomy TAP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto Modbat: A Model-Based API Tester for Event-Driven Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl OCL meets CTL: Towards CTL-Extended OCL Model Checking. Search on Bibsonomy OCL@MoDELS The full citation details ... 2013 DBLP  BibTeX  RDF
1Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter Research Questions for Validation and Verification in the Context of Model-Based Engineering. Search on Bibsonomy MoDeVVa@MoDELS The full citation details ... 2013 DBLP  BibTeX  RDF
1Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. Search on Bibsonomy MoDeVVa@MoDELS The full citation details ... 2013 DBLP  BibTeX  RDF
1Marion Scholz, Petra Kaufmann, Martina Seidl Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. Search on Bibsonomy EduSymp@MoDELS The full citation details ... 2013 DBLP  BibTeX  RDF
1Petra Brosch, Martina Seidl, Manuel Wimmer, Gerti Kappel Conflict Visualization for Evolving UML Models. Search on Bibsonomy Journal of Object Technology The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue. Search on Bibsonomy Softwaretechnik-Trends The full citation details ... 2012 DBLP  BibTeX  RDF
1Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl On formalizing EMF modeling operations with graph transformations. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Marion Brandsteidl, Christian Huemer, Gerti Kappel UML @ Classroom - Eine Einführung in die objektorientierte Modellierung. Search on Bibsonomy 2012   RDF
1Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits Guided Merging of Sequence Diagrams. Search on Bibsonomy SLE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Florian Lonsing, Armin Biere qbf2epr: A Tool for Generating EPR Formulas from QBF. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer An Introduction to Model Versioning. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere Resolution-Based Certificate Extraction for QBF - (Tool Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer Towards Scenario-Based Testing of UML Diagrams. Search on Bibsonomy TAP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nadia Creignou, Uwe Egly, Martina Seidl A Framework for the Specification of Random SAT and QSAT Formulas. Search on Bibsonomy TAP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marion Brandsteidl, Tanja Mayerhofer, Martina Seidl, Christian Huemer Replacing traditional classroom lectures with lecture videos: an experience report. Search on Bibsonomy EduSym The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Konrad Wieland, Geraldine Fitzpatrick, Gerti Kappel, Martina Seidl, Manuel Wimmer Towards an Understanding of Requirements for Model Versioning Support. Search on Bibsonomy IJPOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Peter J. Clarke Position Paper: Software Modeling Education. Search on Bibsonomy ECEASST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Peter J. Clarke Software modeling in education. Search on Bibsonomy Computer Science Education The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Armin Biere, Florian Lonsing, Martina Seidl Blocked Clause Elimination for QBF. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer Towards Semantics-Aware Merge Support in Optimistic Model Versioning. Search on Bibsonomy MoDELS Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Peter J. Clarke Preface. Search on Bibsonomy ECEASST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Martina Seidl, Konrad Wieland Guiding modelers through conflict resolution: a recommender for model versioning. Search on Bibsonomy SPLASH/OOPSLA Companion The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Martina Seidl, Gerti Kappel A recommender for conflict resolution support in optimistic model versioning. Search on Bibsonomy SPLASH/OOPSLA Companion The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel Concurrent Modeling in Early Phases of the Software Development Life Cycle. Search on Bibsonomy CRIWG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Gerti Kappel, Martina Seidl, Konrad Wieland, Manuel Wimmer, Horst Kargl, Philip Langer Adaptable Model Versioning in Action. Search on Bibsonomy Modellierung The full citation details ... 2010 DBLP  BibTeX  RDF
1Petra Brosch, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel Conflicts as First-Class Entities: A UML Profile for Model Versioning. Search on Bibsonomy MoDELS Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martina Seidl, Peter J. Clarke Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010. Search on Bibsonomy MoDELS Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kerstin Altmanninger, Martina Seidl, Manuel Wimmer A survey on model versioning approaches. Search on Bibsonomy IJWIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Horst Kargl, Manuel Wimmer, Martina Seidl, Gerti Kappel SmartMatcher: Improving Automatically Generated Transformations. Search on Bibsonomy Datenbank-Spektrum The full citation details ... 2009 DBLP  BibTeX  RDF
1Uwe Egly, Martina Seidl, Stefan Woltran A solver for QBFs in negation normal form. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Negation normal form, Solver, QBFs
1Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer By-example adaptation of the generic model versioning system AMOR: how to include language-specific features for improving the check-in process. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF by-example configuration, model versioning
1Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer The operation recorder: specifying model refactorings by-example. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF by-example approach, refactoring, composite operation
1Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer We can work it out: Collaborative Conflict Resolution in Model Versioning. Search on Bibsonomy ECSCW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. Search on Bibsonomy MoDELS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF by-example approach, Refactoring, composite operation
1Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel On Realizing a Framework for Self-tuning Mappings. Search on Bibsonomy TOOLS (47) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 108 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license