Farn Wang

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Synthesizing Coalitions for Multi-agent Games	2022-11-04	Paper
A temporal logic for real-time partial-ordering with named transactions	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4986502	2021-04-27	Paper
Efficient and user-friendly verification	2018-07-09	Paper
Model-checking iterated games	2017-10-26	Paper
Complexity of node coverage games	2015-05-18	Paper
Model-Checking Iterated Games	2013-08-05	Paper
Efficient model-checking of dense-time systems with time-convexity analysis	2013-02-19	Paper
Efficient verification of distributed real-time systems with broadcasting behaviors	2012-01-26	Paper
A Temporal Logic for the Interaction of Strategies	2011-09-02	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
Timing Parameter Characterization of Real-Time Systems	2010-05-07	Paper
TCTL Inevitability Analysis of Dense-Time Systems	2010-05-07	Paper
LTL model checking for recursive programs	2009-12-01	Paper
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment	2009-04-30	Paper
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions	2008-11-20	Paper
Symbolic Simulation-Checking of Dense-Time Automata	2008-07-03	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis	2005-02-28	Paper
Reachability solution characterization of parametric real-time systems	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414389	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4778706	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2729076	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4493884	2001-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4942018	2000-03-19	Paper
A temporal logic for real-time partial ordering with named transactions	1998-07-22	Paper
Parametric timing analysis for real-time systems	1997-10-13	Paper

Research outcomes over time

This page was built for person: Farn Wang