default search action
Thomas Weigert
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c42]Alexander Kolchin
, Stepan Potiyenko, Thomas Weigert:
Extending data flow coverage with redefinition analysis. IDT 2021: 293-296 - 2020
- [c41]Alexander Kolchin, Stepan Potiyenko, Thomas Weigert:
Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation. UkrPROG 2020: 331-341
2010 – 2019
- 2019
- [c40]Alexander Kolchin
Challenges for Automated, Model-Based Test Scenario Generation. ICIST 2019: 182-194 - [c39]Thomas Weigert, Alexander Kolchin
Generating Test Suites to Validate Legacy Systems. SAM 2019: 3-23 - 2015
- [c38]Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko
Insertion Modeling and Symbolic Verification of Large Systems. SDL Forum 2015: 3-18 - 2014
- [j14]Venkata Krishna Suhas Nerella, Swetha Surapaneni, Sanjay Kumar Madria, Thomas Weigert:
Exploring optimization and caching for efficient collection operations. Autom. Softw. Eng. 21(1): 3-40 (2014) - [c37]Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert:
Efficient Caching and Incrementalization of Object Queries on Collections in Programming Codes. COMPSAC 2014: 229-238 - [c36]Oleksandr A. Letychevskyi, Thomas Weigert:
Symbolic verification of requirements in VRS system. RE 2014: 331-332 - 2013
- [c35]Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert:
Optimization of Object Queries on Collections Using Annotations for the String Valued Attributes. COMPSAC 2013: 313-318 - [c34]Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert:
An Approach for Optimization of Object Queries on Collections Using Annotations. CSMR 2013: 273-282 - 2012
- [c33]Thomas Cottenier, Aswin van den Berg, Thomas Weigert:
Architecture composition for concurrent systems. NEMARA@AOSD 2012: 17-22 - [c32]Thomas Cottenier, Aswin van den Berg, Thomas Weigert:
Management of feature interactions with transactional regions. AOSD 2012: 119-130 - [c31]Thomas Cottenier, Aswin van den Berg, Thomas Weigert:
Modular reasoning about region composition. FOAL 2012: 15-20 - [c30]Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert:
Exploring Compile Time Caching of Explicit Queries in Programming Codes. SRDS 2012: 477-478 - 2011
- [j13]Tolga Ovatman
Exploring implicit parallelism in class diagrams. J. Syst. Softw. 84(5): 821-834 (2011) - [c29]Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert:
Performance Improvement for Collection Operations Using Join Query Optimization. COMPSAC 2011: 668-673 - [c28]Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert:
Exploring caching for efficient collection operations. ASE 2011: 468-471 - [c27]Stefan Van Baelen, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011). MoDELS (Workshops) 2011: 257-261 - [c26]Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert:
Verifiable Coverage Criteria for Automated Testing. SDL Forum 2011: 79-89 - [c25]Thomas Cottenier, Aswin van den Berg, Thomas Weigert:
Separation of Concerns with Transactional Regions. SDL Forum 2011: 168-185 - 2010
- [c24]Alexander A. Letichevsky, Alexander Kolchin
Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR 2010: 148-149 - [c23]Venkata Krishna Suhas Nerella, Swetha Surapaneni, Sanjay Kumar Madria, Thomas Weigert:
Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution. COMPSAC 2010: 407-412 - [c22]Stefan Van Baelen, Iulian Ober, Huáscar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010). MoDELS (Workshops) 2010: 70-74 - [c21]Tolga Ovatman, Feza Buzluca, Thomas Weigert:
Applying Enhanced Graph Clustering to Software Dependency Analysis. SEDE 2010: 210-216
2000 – 2009
- 2009
- [c20]Gunter Mussbacher, Daniel Amyot, Thomas Weigert, Thomas Cottenier:
Feature Interactions in Aspect-Oriented Scenario Models. ICFI 2009: 75-90 - [c19]Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huáscar Espinoza, Iulian Ober:
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). MoDELS (Workshops) 2009: 63-67 - [e1]Stefan Van Baelen, Thomas Weigert, Ileana Ober:
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems ( MoDELS'09 ) Denver, Colorado, USA, October 6, 2009. CEUR Workshop Proceedings 507, CEUR-WS.org 2009 [contents] - 2008
- [j12]Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert:
An adaptive automatically tuning intrusion detection system. ACM Trans. Auton. Adapt. Syst. 3(3): 10:1-10:25 (2008) - [c18]Thomas Weigert, Frank Weil, Aswin van den Berg, Paul H. Dietz, Kevin Marth:
Automated Code Generation for Industrial-Strength Systems. COMPSAC 2008: 464-472 - [c17]Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems. MoDELS (Workshops) 2008: 1-4 - 2007
- [j11]Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert:
An Automatically Tuning Intrusion Detection System. IEEE Trans. Syst. Man Cybern. Part B 37(2): 373-384 (2007) - [c16]Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul H. Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook:
Experiences in Deploying Model-Driven Engineering. SDL Forum 2007: 35-53 - 2006
- [c15]Thomas Weigert:
Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems. SUTC (1) 2006: 208-217 - 2005
- [j10]Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert:
Basic protocols, message sequence charts, and the verification of requirements specifications. Comput. Networks 49(5): 661-675 (2005) - [c14]Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert:
Semantics of Message Sequence Charts. SDL Forum 2005: 117-132 - [c13]G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert:
Network Element Testing Using TTCN-3: Benefits and Comparison. SDL Forum 2005: 265-280 - [r2]Øystein Haugen, Thomas Weigert, Birger Møller-Pedersen:
Introduction to UML and the Modeling of Embedded Systems. Embedded Systems Handbook 2005 - [r1]Alexander A. Letichevsky, Julia V. Kapitonova, Thomas Weigert, Vladislav A. Volkov:
System Validation. Embedded Systems Handbook 2005 - 2004
- [c12]Frank Weil, Thomas Weigert:
Guidelines for Using SDL in Product Development. SAM 2004: 271-289 - 2003
- [c11]Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert:
Challenges and Recent Advances in Developing Trustworthy Software-Based Systems. COMPSAC 2003: 208- - [c10]Thomas Weigert, Paul H. Dietz:
Automated Generation of Marshaling Code from High-Level Specifications. SDL Forum 2003: 374-386 - [p3]Øystein Haugen, Birger Møller-Pedersen, Thomas Weigert:
Structural Modeling with UML 2.0. UML for Real 2003: 53-76 - [p2]Thomas Weigert, Rick Reed:
Specifying Telecommunications Systems with UML. UML for Real 2003: 301-322 - [p1]Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert:
Leveraging UML to Deliver Correct Telecom Applications. UML for Real 2003: 323-342 - 2000
- [c9]Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic:
Modeling of Architectures with UML (Panel). UML 2000: 556-569
1990 – 1999
- 1998
- [j9]Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert:
A Logic-Based Transformation System. IEEE Trans. Knowl. Data Eng. 10(1): 91-107 (1998) - [c8]Paul H. Dietz, Thomas Weigert, Frank Weil:
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. WIFT 1998: 40- - 1996
- [c7]Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert:
Verification Criterion Directed Testing for Formal Specifications. SEKE 1996: 393-399 - [c6]Jeffrey J. P. Tsai, Thomas J. Weigert:
A logic-based requirements language for the specification and analysis of real-time systems. WORDS 1996: 8-16 - 1995
- [c5]Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert:
Improving Software Quality through a Novel Testing Strategy. COMPSAC 1995: 224-229 - 1994
- [j8]Thomas J. Weigert, Jeffrey J. P. Tsai:
A Computationally Tractable Nonmonotonic Logic. IEEE Trans. Knowl. Data Eng. 6(1): 57-63 (1994) - 1993
- [b1]Jeffrey J. P. Tsai, Thomas J. Weigert:
Knowledge-Based Software Development for Real-Time Distributed Systems. Series on Software Engineering and Knowledge Engineering 1, WorldScientific 1993, ISBN 978-981-02-1128-8, pp. 1-236 - [j7]Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu:
Fuzzy Operator Logic and Fuzzy Resolution. J. Autom. Reason. 10(1): 59-78 (1993) - 1992
- [j6]Jeffrey J. P. Tsai, Thomas J. Weigert:
An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic. Inf. Sci. 63(3): 261-283 (1992) - [j5]Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang:
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. IEEE Trans. Software Eng. 18(12): 1076-1100 (1992) - 1991
- [j4]Jeffrey J. P. Tsai, Thomas Weigert:
HCLIE: a logic-based requirement language for new software engineering paradigms. Softw. Eng. J. 6(4): 137-151 (1991) - [j3]Xuhua Liu, Kwang-Ya Fang, Jeffrey J. P. Tsai, Thomas J. Weigert:
lambda-Resolution and interpretation of -implication in fuzzy operator logic. Inf. Sci. 56(1-3): 259-278 (1991) - [j2]Jeffrey J. P. Tsai, Thomas J. Weigert, Xuhua Liu:
Reasoning under uncertainty in fuzzy operator logic. IEEE Trans. Syst. Man Cybern. 21(6): 1604-1608 (1991) - 1990
- [j1]Jeffrey J. P. Tsai, Thomas J. Weigert:
A knowledge-based approach for checking software information using a non-monotonic reasoning system. Knowl. Based Syst. 3(3): 131-138 (1990) - [c4]Thomas J. Weigert:
Resolution-based Reasoning for Fuzzy Logic. Expert Systems in Engineering 1990: 176-189 - [c3]Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang:
A hybrid knowledge representation as a basis of requirement specification and reasoning. TAI 1990: 70-76
1980 – 1989
- 1989
- [c2]Jeffrey J. P. Tsai, Thomas Weigert:
Exploratory prototyping through the use of frames and production rules. COMPSAC 1989: 455-462 - 1988
- [c1]Jeffrey J. P. Tsai, Thomas J. Weigert, Mikio Aoyama:
A declarative approach to software requirement specification languages. ICCL 1988: 414-421
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-10-13 17:59 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: