Publications

Here are the ACM and DBLP links. All the texts below are drafts.

Journal publications

Conference publications

  • Generating None-Plans in Order to Find Plans, Proc. of Int. Conf. on Software Engineering and Formal Methods 2015 (SEFM'15), York, UK, 2015
  • Action Synthesis for Branching Time Logic: Theory and Applications, Proc. of Int. Conf. on Application of Concurrency to System Design (ACSD'14), Tunis, Tunisia, 2014
  • Parameter Synthesis for Timed Kripke Structures, Proc. of Int. Workshop on Concurrency, Specification, and Programming (CS&P'13), pp.259--270, Warsaw, Poland, 2013
  • Group synthesis for parametric temporal-epistemic logic, Proc. of Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS'12), pp.1107--1114, Valencia, Spain, 2012
  • SMT-based parameter synthesis for L/U automata, Proc. of Int. Workshop on Petri Nets and Software Engineering, 2012 (PNSE'12), pp.77--92, Hamburg, Germany, 2012
  • Parametric Computation Tree Logic with Knowledge, Proc. of Int. Workshop on Concurrency, Specification, and Programming (CS&P'11), pp.286--300, Pultusk, Poland, 2011
  • Bounded Model Checking for Parametric Timed Automata, Proc. of ACSD/Petri Nets Workshops, (SUMO'10), pp.419--435, Braga, Portugal, 2010
  • Parameter Synthesis for Parametric Timed Automata, Proc. of Int. Workshop on Concurrency, Specification, and Programming (CS&P'10), pp.184--197, Helenenau, Germany, 2010
  • Bounded Parametric Verification for Time Petri Nets with Discrete-Time Semantics, Proc. of Int. Workshop on Concurrency, Specification, and Programming (CS&P'09), pp.277--290, Krakow, Poland, 2009
  • Bounded Parametric Model Checking for Elementary Net Systems, Proc. of Int. Workshop on Petri Nets and Software Engineering, 2009 (PNSE'09), pp.97--118, Paris, France, 2009

Technical reports

Powered by CMSimple_XH | Login