Search Results - "Piterman, Nir"

Modelling and verification of reconfigurable multi-agent systems by Abd Alrahman, Yehia, Piterman, Nir

“…We propose a formalism to model and reason about reconfigurable multi-agent systems. In our formalism, agents interact and communicate in different modes so…”
Get full text

Decoding the regulatory network of early blood development from single-cell gene expression measurements by Moignard, Victoria, Woodhouse, Steven, Haghverdi, Laleh, Lilly, Andrew J, Tanaka, Yosuke, Wilkinson, Adam C, Buettner, Florian, Macaulay, Iain C, Jawaid, Wajid, Diamanti, Evangelia, Nishikawa, Shin-Ichi, Piterman, Nir, Kouskoff, Valerie, Theis, Fabian J, Fisher, Jasmin, Göttgens, Berthold

“…An early stage in mouse blood development is reconstructed from gene expression data on thousands of single cells. Reconstruction of the molecular pathways…”
Get full text

BTR: training asynchronous Boolean models using single-cell expression data by Lim, Chee Yee, Wang, Huange, Woodhouse, Steven, Piterman, Nir, Wernisch, Lorenz, Fisher, Jasmin, Göttgens, Berthold

“…Rapid technological innovation for the generation of single-cell genomics data presents new challenges and opportunities for bioinformatics analysis. One such…”
Get full text

Heterogeneity of Myc expression in breast cancer exposes pharmacological vulnerabilities revealed through executable mechanistic modeling by Kreuzaler, Peter, Clarke, Matthew A., Brown, Elizabeth J., Wilson, Catherine H., Kortlever, Roderik M., Piterman, Nir, Littlewood, Trevor, Evan, Gerard I., Fisher, Jasmin

“…Cells with higher levels of Myc proliferate more rapidly and supercompetitively eliminate neighboring cells. Nonetheless, tumor cells in aggressive breast…”
Get full text

Interaction Models and Automated Control under Partial Observable Environments by Ciolek, Daniel, Braberman, Victor, DIppolito, Nicolas, Piterman, Nir, Uchitel, Sebastian

“…The problem of automatically constructing a software component such that when executed in a given environment satisfies a goal, is recurrent in software…”
Get full text

LTL generalized model checking revisited by Godefroid, Patrice, Piterman, Nir

“…Given a 3-valued abstraction of a program (possibly generated using static program analysis and predicate abstraction) and a temporal logic formula,…”
Get full text

Predictive modeling of signaling crosstalk during C. elegans vulval development by Fisher, Jasmin, Piterman, Nir, Hajnal, Alex, Henzinger, Thomas A

“…Caenorhabditis elegans vulval development provides an important paradigm for studying the process of cell fate determination and pattern formation during…”
Get full text

Cell‐cycle regulation of NOTCH signaling during C. elegans vulval development by Nusser‐Stein, Stefanie, Beyer, Antje, Rimann, Ivo, Adamczyk, Magdalene, Piterman, Nir, Hajnal, Alex, Fisher, Jasmin

“…C. elegans vulval development is one of the best‐characterized systems to study cell fate specification during organogenesis. The detailed knowledge of the…”
Get full text

Computational Insights into Caenorhabditis elegans Vulval Development by Fisher, Jasmin, Piterman, Nir, E. Jane Albert Hubbard, Stern, Michael J., Harel, David, Karp, Richard M.

“…Studies of Caenorhabditis elegans vulval development provide a paradigm for pattern formation during animal development. The fates of the six vulval precursor…”
Get full text

From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata by Piterman, Nir

“…In this paper we revisit Safra's determinization constructions for automata on infinite words. We show how to construct deterministic automata with fewer…”
Get full text

The Rabin index of parity games by Huth, Michael, Kuo, Jim Huan-Pu, Piterman, Nir

“…We study the descriptive complexity of parity games by taking into account the coloring of their game graphs whilst ignoring their ownership structure. Colored…”
Get full text

Adding Reconfiguration to Zielonka's Asynchronous Automata by Lehaut, Mathieu, Piterman, Nir

Get full text

Advances in verification presented in TACAS’13 by Piterman, Nir

“…Computers are becoming increasingly ubiquitous in all aspects of our life. It is becoming more and more important to ensure that the software (and hardware)…”
Get full text

Strategy logic by Chatterjee, Krishnendu, Henzinger, Thomas A., Piterman, Nir

“…We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us…”
Get full text

Synthesis of Reactive(1) designs by Bloem, Roderick, Jobstmann, Barbara, Piterman, Nir, Pnueli, Amir, Saʼar, Yaniv

“…We address the problem of automatically synthesizing digital designs from linear-time specifications. We consider various classes of specifications that can be…”
Get full text

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data by Woodhouse, Steven, Piterman, Nir, Wintersteiger, Christoph M, Göttgens, Berthold, Fisher, Jasmin

“…Reconstruction of executable mechanistic models from single-cell gene expression data represents a powerful approach to understanding developmental and disease…”
Get full text

OBLIGATION BLACKWELL GAMES AND P-AUTOMATA by CHATTERJEE, KRISHNENDU, PITERMAN, NIR

“…We generalize winning conditions in two-player games by adding a structural acceptance condition called obligations. Obligations are orthogonal to the linear…”
Get full text

Control and Discovery of Environment Behaviour by Keegan, Maureen, Braberman, Victor A., D'Ippolito, Nicolas, Piterman, Nir, Uchitel, Sebastian

“…An important ability of self-adaptive systems is to be able to autonomously understand the environment in which they operate and use this knowledge to control…”
Get full text

Language support for verifying reconfigurable interacting systems by Alrahman, Yehia Abd, Azzopardi, Shaun, Di Stefano, Luca, Piterman, Nir

“…Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction…”
Get full text

Games for Efficient Supervisor Synthesis by Hausmann, Daniel, Jha, Prabhat Kumar, Piterman, Nir

“…In recent years, there has been an increasing interest in the connections between supervisory control theory and reactive synthesis. As the two fields use…”
Get full text