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
Computer Aided Verification	2005-08-25	Paper
Algebraic Methodology and Software Technology	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Farn Wang