\n \n \n
\n\n\n
\n
\n\n \n \n \n \n \n \n Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development.\n \n \n \n \n\n\n \n Piterman, N.\n\n\n \n\n\n\n In
38th International Symposium on Mathematical Foundations of Computer Science, volume 8087, of
Lecture Notes in Computer Science, pages 45-49, Klosterneuburg, Austria, 2013. &Copy; Springer-Verlag\n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@inproceedings{Pit13,\n author = {N. Piterman},\n title = {Synthesis from Temporal Specifications: New Applications\n in Robotics and Model-Driven Development},\n year = {2013},\n pages = {45-49},\n booktitle = {38th International Symposium on Mathematical Foundations of Computer Science},\n publisher = {{&Copy; Springer-Verlag}},\n series = \t {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},\n volume = {8087},\n url_Paper = {2013/Pit13.pdf},\n address = {Klosterneuburg, Austria},\n keywords = {Synthesis},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.\n \n \n \n \n\n\n \n Claessen, K.; Fisher, J.; Ishtiaq, S.; Piterman, N.; and Wang, Q.\n\n\n \n\n\n\n In
The 25th Conference on Computer Aided Verification, volume 8044, of
Lecture Notes in Computer Science, pages 85-100, St Petersburg, Russia, 2013. © Springer-Verlag\n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@InProceedings{CFIPW13,\n author = \t {K. Claessen and J. Fisher and S. Ishtiaq and N. Piterman and Q. Wang},\n title = \t {Model-Checking Signal Transduction Networks through Decreasing Reachability Sets},\n booktitle = {The 25th Conference on Computer Aided Verification},\n pages = \t {85-100},\n year = \t {2013},\n volume = \t {8044},\n series = \t {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},\n address = \t {St Petersburg, Russia},\n publisher = {© Springer-Verlag},\n url_Paper = {2013/CFIPW13.pdf},\n keywords = {Executable Biology},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Controller synthesis: From modelling to enactment.\n \n \n \n \n\n\n \n Braberman, V.; D'Ippolito, N.; Piterman, N.; Sykes, D.; and Uchitel, S.\n\n\n \n\n\n\n In
35th International Conference on Software Engineering, pages 1347-1350, San Francisco, CA, USA, 2013. © ieee press\n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@InProceedings{BDPSU13,\n author = {V. Braberman and N. D'Ippolito and N. Piterman and D. Sykes and S. Uchitel},\n title = {Controller synthesis: From modelling to enactment},\n booktitle = {35th International Conference on Software Engineering},\n pages = {1347-1350},\n year = {2013},\n address = {San Francisco, CA, USA},\n publisher = {© ieee press},\n keywords = {Synthesis},\n url_Paper = {2013/BDPSU13.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations.\n \n \n \n \n\n\n \n Raman, V.; Piterman, N.; and Kress-Gazit, H.\n\n\n \n\n\n\n In
IEEE International Conference on Robotics and Automation, pages 4075-4081, Karlsruhe, Germany, 2013. © ieee press\n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@InProceedings{RPK13,\n author = {V. Raman and N. Piterman and H. Kress-Gazit},\n title = {Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations},\n booktitle = {IEEE International Conference on Robotics and Automation},\n pages = {4075-4081},\n year = {2013},\n address = {Karlsruhe, Germany},\n publisher = {© ieee press},\n url_Paper = {2013/RPK13.pdf},\n keywords = {Games,Synthesis},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n The Rabin index of parity games.\n \n \n \n \n\n\n \n Huth, M.; Kuo, J. H.; and Piterman, N.\n\n\n \n\n\n\n In
4th International Symposium on Games, Automata, Logics and Formal Verification, volume 119, of
EPTCS, pages 35-49, Borca di Cadore, Dolomites, Italy, August 2013. \n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@inproceedings{HKP13b,\n author = {M. Huth and J. H. Kuo and N. Piterman},\n title = {The Rabin index of parity games},\n year = {2013},\n pages = {35-49},\n booktitle = {4th International Symposium on Games, Automata,\n Logics and Formal Verification},\n address = {Borca di Cadore, Dolomites, Italy},\n month = {August},\n series = {EPTCS},\n url_Paper = {2013/HKP13b.pdf},\n volume = {119},\n keywords = {Games},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Fatal Attractors in Parity Games.\n \n \n \n \n\n\n \n Huth, M.; Kuo, J.; and Piterman, N.\n\n\n \n\n\n\n In
16th International Conference on Foundations of Software Science and Computation Structures, volume 7794, of
Lecture Notes in Computer Science, pages 34-49, Rome, Italy, 2013. © Springer-Verlag\n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@InProceedings{HKP13,\n author = \t {M. Huth and J.H. Kuo and N. Piterman},\n title = \t {Fatal Attractors in Parity Games},\n booktitle = {16th International Conference on Foundations of Software Science and Computation Structures},\n pages = \t {34-49},\n year = \t {2013},\n volume = \t {7794},\n series = \t {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},\n address = \t {Rome, Italy},\n publisher = {© Springer-Verlag},\n url_Paper = {2013/HKP13.pdf},\n keywords = {Games},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals.\n \n \n \n \n\n\n \n D'Ippolito, N.; Braberman, V.; Piterman, N.; and Uchitel, S.\n\n\n \n\n\n\n
Transactions on Software Engineering and Methodology, 22(1): 9. 2013.\n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@Article{DBPU13,\n author = \t {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},\n title = {Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals},\n journal = {Transactions on Software Engineering and Methodology},\n year = {2013},\n publisher = {ACM},\n volume = \t {22},\n number = \t {1},\n pages = \t {9},\n url_Paper = {2013/DBPU13.pdf},\n keywords = {Synthesis,Model Driven Development},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n At the Interface of Biology and Computation.\n \n \n \n \n\n\n \n Taylor, A.; Benque, D.; Cockerton, C.; Cook, B.; Fisher, J.; Ishtiaq, S.; and Piterman, N.\n\n\n \n\n\n\n In
ACM SIGCHI Conference on Human Factors in Computing Systems, pages 493-502, Paris, France, 2013. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@InProceedings{TBCCFIP13,\n author = \t {A. Taylor and D. Benque and C. Cockerton and B. Cook and J. Fisher and S. Ishtiaq and N. Piterman},\n title = \t {At the Interface of Biology and Computation},\n booktitle = {ACM SIGCHI Conference on Human Factors in Computing Systems},\n pages = \t {493-502},\n year = \t {2013},\n address = \t {Paris, France},\n publisher = {ACM},\n keywords = {Executable Biology},\n url_Paper = {2013/TPIFCCBB13.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Synthesis of Biological Models from Mutation Experiments.\n \n \n \n \n\n\n \n Koskal, A.; Pu, Y.; Srivastava, S.; Bodik, R.; Piterman, N.; and Fisher, J.\n\n\n \n\n\n\n In
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 7794, pages 34-49, Rome, Italy, 2013. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@InProceedings{KPSBPF13,\n author = \t {A.S. Koskal and Y. Pu and S. Srivastava and R. Bodik and N. Piterman and J. Fisher},\n title = \t {Synthesis of Biological Models from Mutation Experiments},\n booktitle = {40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},\n pages = \t {34-49},\n year = \t {2013},\n volume = \t {7794},\n address = \t {Rome, Italy},\n publisher = {ACM},\n keywords = {Synthesis,Executable Biology},\n url_Paper = {2013/KPSBPF13.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n