default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Baar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c31]Pauline Hergersberg, Judith Lippold, Bastian Nahrstedt, Thomas Baar:
Visualization Support for Contracts in VeriFast. GI-Jahrestagung 2023: 265-275- 2021
- [c30]Tatiana V. Liakh
, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov:
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. FedCSIS 2021: 485-488
2010 – 2019
- 2019
- [c29]Thomas Baar:
A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax. Ershov Informatics Conference 2019: 125-139 - 2017
- [c28]Marcel Toussaint, Thomas Baar:
Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor. Ershov Informatics Conference 2017: 394-401 - 2015
- [c27]Thomas Baar:
Verification Support for a State-Transition-DSL Defined with Xtext. Ershov Memorial Conference 2015: 50-60 - 2014
- [c26]Thomas Baar, Issam Bendaas:
Making the Evolution of Graphical Models Visible. Ershov Memorial Conference (Posters) 2014: 1-8 - 2012
- [c25]Cédric Jeanneret, Martin Glinz, Thomas Baar:
Modeling the Purposes of Models. Modellierung 2012: 11-26 - [c24]Thomas Baar:
Improving software engineering education by modeling real-world implementations. EduSym@MoDELS 2012: 36-39 - 2011
- [c23]Thomas Baar, Philipp Kumar:
Detecting Entry Points in Java Libraries. Ershov Memorial Conference 2011: 42-54 - [c22]Thomas Baar:
Modellbasierte GUI-Entwicklung mit Wireframes. GI-Jahrestagung 2011: 123 - 2010
- [j10]Thomas Baar:
On the Need of User-defined Libraries in OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010)
2000 – 2009
- 2009
- [c21]Philipp Kumar, Thomas Baar:
Using AOP for Discovering and Defining Executable Test Cases. Ershov Memorial Conference 2009: 269-281 - 2008
- [j9]Slavisa Markovic, Thomas Baar:
Refactoring OCL annotated UML class diagrams. Softw. Syst. Model. 7(1): 25-47 (2008) - [j8]Thomas Baar:
Correctly defined concrete syntax. Softw. Syst. Model. 7(4): 383-398 (2008) - [j7]Slavisa Markovic, Thomas Baar:
Semantics of OCL specified with QVT. Softw. Syst. Model. 7(4): 399-422 (2008) - 2007
- [j6]Thomas Baar, Ana Moreira:
Guest Editorial to the Special Issue on UML 2004. Softw. Syst. Model. 6(2): 111-112 (2007) - [c20]Slavisa Markovic, Thomas Baar:
Synchronizing Refactored UML Class Diagrams and OCL Constraints. WRT 2007: 15-16 - 2006
- [c19]Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier:
Definition and Correct Refinement of Operation Specifications. Research Results of the DICS Program 2006: 127-144 - [c18]Thomas Baar, Slavisa Markovic:
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Ershov Memorial Conference 2006: 70-83 - [c17]Thomas Baar, Jon Whittle:
On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97 - [c16]Thomas Baar:
Correctly Defined Concrete Syntax for Visual Modeling Languages. MoDELS 2006: 111-125 - [c15]Slavisa Markovic, Thomas Baar:
An OCL Semantics Specified with QVT. MoDELS 2006: 661-675 - 2005
- [j5]Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt:
The KeY tool. Softw. Syst. Model. 4(1): 32-54 (2005) - [c14]Frédéric Fondement, Thomas Baar:
Making Metamodels Aware of Concrete Syntax. ECMDA-FA 2005: 190-204 - [c13]Thomas Baar:
Non-deterministic Constructs in OCL - What Does any() Mean. SDL Forum 2005: 32-46 - [c12]Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer:
Tool Support for OCL and Related Formalisms - Needs and Trends. MoDELS (Satellite Events) 2005: 1-9 - [c11]Thomas Baar:
OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. MoDELS (Satellite Events) 2005: 20-31 - [c10]Slavisa Markovic, Thomas Baar:
Refactoring OCL Annotated UML Class Diagrams. MoDELS 2005: 280-294 - 2004
- [c9]Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer:
OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75 - [e1]Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor:
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Lecture Notes in Computer Science 3273, Springer 2004, ISBN 3-540-23307-5 [contents] - 2003
- [b1]Thomas Baar:
Über die Semantikbeschreibung OCL-artiger Sprachen. Karlsruhe Institute of Technology, 2003, ISBN 3-8325-0433-8, pp. 1-184 - [j4]Thomas Baar:
Metamodels without Metacircularities. Obj. Logiciel Base données Réseaux 9(4): 95-114 (2003) - [c8]Thomas Baar:
The Definition of Transitive Closure with OCL - Limitations and Applications. Ershov Memorial Conference 2003: 358-365 - [c7]Alfred Strohmeier, Thomas Baar, Shane Sendall:
Applying Fondue to Specify a Drink Vending Machine. OCL 2.0 @ UML 2003: 155-173 - 2002
- [c6]Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt:
The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330 - [c5]Thomas Baar:
Executable and Symbolic Conformance Tests for Implementation Models. OOIS Workshops 2002: 231-234 - 2001
- [c4]Thomas Baar, Bernhard Beckert, Peter H. Schmitt:
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54 - 2000
- [j3]Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt:
Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20(3) (2000) - [c3]Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt:
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. GI Jahrestagung 2000: 389-404 - [c2]Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36
1990 – 1999
- 1999
- [j2]Thomas Baar, Ekkart Kindler:
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool. Fundam. Informaticae 37(3): 201-211 (1999) - [j1]Thomas Baar, Bernd Fischer, Dirk Fuchs:
Integrating Deduction Techniques in a Software Reuse Application. J. Univers. Comput. Sci. 5(3): 52-72 (1999) - [c1]Thomas Baar, Ekkart Kindler, Hagen Völzer:
Verifying Intuition - ILF Checks DAWN Proofs. ICATPN 1999: 404-424
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
