• Published

  An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking

  Publication: Research - peer-review › Journal article

• Published

  Checking and Distributing Statistical Model Checking

  Publication: Research - peer-review › Article in proceeding

• Published

  Computing Nash Equilibrium in Wireless Ad Hoc Networks : A Simulation-Based Approach

  Publication: Research - peer-review › Article in proceeding

View all »

• Lecture Notes in Computer Science

  ISSNs: 0302-9743, 0302-8743, 1865-0929

  Springer, Germany

  Central database

  Journal: Book series

• Electronic Proceedings in Theoretical Computer Science

  ISSNs: 2075-2180

  Open Publishing Association, Australia

  Central database

  Journal

• Science in China. Series F: Information Sciences

  ISSNs: 1009-2757

  Zhongguo Kexue Zazhishe

  Central database

  Journal

• Electronic Notes in Theoretical Computer Science

  ISSNs: 1571-0661

  Elsevier BV, Netherlands

  Central database

  Journal

• CoRR

  Local database

  Journal

View all »

• ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

  Project

• Model-based Analysis and Testing of Embedded Systems

  Project

• Completed

  Games for Analysis and Synthesis of Interactive Computational Systems

  Project

View all »

• Springer Berlin / Heidelberg, 3-540, 978-3-540

  Local database

  Publisher

• Springer, 0-387

  Central database

  Publisher

• BRICS

  Local database

  Publisher

• IEEE Computer Society Press, 0-7695

  United States

  Central database

  Publisher

• Association for Computing Machinery, 0-89791

  United States

  Central database

  Publisher

View all »