Thomas Weigert

According to our database, Thomas Weigert authored at least 62 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Extending data flow coverage with redefinition analysis.

Alexander Kolchin, Stepan Potiyenko, Thomas Weigert

Proceedings of the International Conference on Information and Digital Technologies, 2021

2020

Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation.

Alexander Kolchin, Stepan Potiyenko, Thomas Weigert

Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), 2020

2019

Generating Test Suites to Validate Legacy Systems.

Thomas Weigert, Alexander Kolchin, Stepan Potiyenko, Oleg Gurenko, Aswin van den Berg, Valentyn Banas, Roman Chetvertak, Roman Yagodka, Vlad Volkov

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Challenges for Automated, Model-Based Test Scenario Generation.

Alexander Kolchin, Stepan Potiyenko, Thomas Weigert

Proceedings of the Information and Software Technologies - 25th International Conference, 2019

2015

Insertion Modeling and Symbolic Verification of Large Systems.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

2014

Exploring optimization and caching for efficient collection operations.

Venkata Krishna Suhas Nerella, Swetha Surapaneni, Sanjay Kumar Madria, Thomas Weigert

Autom. Softw. Eng., 2014

Symbolic verification of requirements in VRS system.

Oleksandr A. Letychevskyi, Thomas Weigert

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Efficient Caching and Incrementalization of Object Queries on Collections in Programming Codes.

Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

An Approach for Optimization of Object Queries on Collections Using Annotations.

Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Optimization of Object Queries on Collections Using Annotations for the String Valued Attributes.

Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Exploring Compile Time Caching of Explicit Queries in Programming Codes.

Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Modular reasoning about region composition.

Thomas Cottenier, Aswin van den Berg, Thomas Weigert

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

Architecture composition for concurrent systems.

Thomas Cottenier, Aswin van den Berg, Thomas Weigert

Proceedings of the 2012 Workshop on Next Generation Modularity Approaches for Requirements and Architecture, 2012

Management of feature interactions with transactional regions.

Thomas Cottenier, Aswin van den Berg, Thomas Weigert

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Exploring implicit parallelism in class diagrams.

Tolga Ovatman, Thomas Weigert, Feza Buzluca

J. Syst. Softw., 2011

Separation of Concerns with Transactional Regions.

Thomas Cottenier, Aswin van den Berg, Thomas Weigert

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Verifiable Coverage Criteria for Automated Testing.

Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011).

Stefan Van Baelen, Sébastien Gérard, Ileana Ober, Thomas Weigert, Huáscar Espinoza, Iulian Ober

Proceedings of the Models in Software Engineering, 2011

Exploring caching for efficient collection operations.

Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Performance Improvement for Collection Operations Using Join Query Optimization.

Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Applying Enhanced Graph Clustering to Software Dependency Analysis.

Tolga Ovatman, Feza Buzluca, Thomas Weigert

Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010).

Stefan Van Baelen, Iulian Ober, Huáscar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard

Proceedings of the Models in Software Engineering, 2010

Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution.

Venkata Krishna Suhas Nerella, Swetha Surapaneni, Sanjay Kumar Madria, Thomas Weigert

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Formal Requirements Capturing using VRS system.

Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009).

Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huáscar Espinoza, Iulian Ober

Proceedings of the Models in Software Engineering, 2009

Feature Interactions in Aspect-Oriented Scenario Models.

Gunter Mussbacher, Daniel Amyot, Thomas Weigert, Thomas Cottenier

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

An adaptive automatically tuning intrusion detection system.

Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert

ACM Trans. Auton. Adapt. Syst., 2008

Model Based Architecting and Construction of Embedded Systems.

Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Automated Code Generation for Industrial-Strength Systems.

Thomas Weigert, Frank Weil, Aswin van den Berg, Paul H. Dietz, Kevin Marth

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

An Automatically Tuning Intrusion Detection System.

Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert

IEEE Trans. Syst. Man Cybern. Part B, 2007

Experiences in Deploying Model-Driven Engineering.

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

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2006

Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems.

Thomas Weigert

Proceedings of the IEEE International Conference on Sensor Networks, 2006

2005

System Validation.

Alexander A. Letichevsky, Julia V. Kapitonova, Thomas Weigert, Vladislav A. Volkov

Proceedings of the Embedded Systems Handbook., 2005

Introduction to UML and the Modeling of Embedded Systems.

Øystein Haugen, Thomas Weigert, Birger Møller-Pedersen

Proceedings of the Embedded Systems Handbook., 2005

Basic protocols, message sequence charts, and the verification of requirements specifications.

Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert

Comput. Networks, 2005

Network Element Testing Using TTCN-3: Benefits and Comparison.

G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert

Proceedings of the SDL 2005: Model Driven, 2005

Semantics of Message Sequence Charts.

Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert

Proceedings of the SDL 2005: Model Driven, 2005

2004

Guidelines for Using SDL in Product Development.

Frank Weil, Thomas Weigert

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

2003

Automated Generation of Marshaling Code from High-Level Specifications.

Thomas Weigert, Paul H. Dietz

Proceedings of the SDL 2003: System Design, 2003

Challenges and Recent Advances in Developing Trustworthy Software-Based Systems.

Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Specifying Telecommunications Systems with UML.

Thomas Weigert, Rick Reed

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

Structural Modeling with UML 2.0.

Øystein Haugen, Birger Møller-Pedersen, Thomas Weigert

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

Leveraging UML to Deliver Correct Telecom Applications.

Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2000

Modeling of Architectures with UML (Panel).

Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic

Proceedings of the «UML» 2000, 2000

1998

A Logic-Based Transformation System.

Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert

IEEE Trans. Knowl. Data Eng., 1998

Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications.

Paul H. Dietz, Thomas Weigert, Frank Weil

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1996

A logic-based requirements language for the specification and analysis of real-time systems.

Jeffrey J. P. Tsai, Thomas J. Weigert

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Verification Criterion Directed Testing for Formal Specifications.

Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995

Improving Software Quality through a Novel Testing Strategy.

Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

A Computationally Tractable Nonmonotonic Logic.

Thomas J. Weigert, Jeffrey J. P. Tsai

IEEE Trans. Knowl. Data Eng., 1994

1993

Knowledge-Based Software Development for Real-Time Distributed Systems

Jeffrey J. P. Tsai, Thomas J. Weigert

Series on Software Engineering and Knowledge Engineering 1, WorldScientific, ISBN: 978-981-4505-22-2, 1993

Fuzzy Operator Logic and Fuzzy Resolution.

Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu

J. Autom. Reason., 1993

1992

A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.

Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang

IEEE Trans. Software Eng., 1992

An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic.

Jeffrey J. P. Tsai, Thomas J. Weigert

Inf. Sci., 1992

1991

Reasoning under uncertainty in fuzzy operator logic.

Jeffrey J. P. Tsai, Thomas J. Weigert, Xuhua Liu

IEEE Trans. Syst. Man Cybern., 1991

lambda-Resolution and interpretation of -implication in fuzzy operator logic.

Xuhua Liu, Kwang-Ya Fang, Jeffrey J. P. Tsai, Thomas J. Weigert

Inf. Sci., 1991

HCLIE: a logic-based requirement language for new software engineering paradigms.

Jeffrey J. P. Tsai, Thomas Weigert

Softw. Eng. J., 1991

1990

A knowledge-based approach for checking software information using a non-monotonic reasoning system.

Jeffrey J. P. Tsai, Thomas J. Weigert

Knowl. Based Syst., 1990

A hybrid knowledge representation as a basis of requirement specification and reasoning.

Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Resolution-based Reasoning for Fuzzy Logic.

Thomas J. Weigert

Proceedings of the Expert Systems in Engineering, 1990

1989

Exploratory prototyping through the use of frames and production rules.

Jeffrey J. P. Tsai, Thomas Weigert

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

A declarative approach to software requirement specification languages.

Jeffrey J. P. Tsai, Thomas J. Weigert, Mikio Aoyama

Proceedings of the 1988 Internation Conference on Computer Languages, 1988