The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Marta Z. Kwiatkowska Marta Kwiatkowska Marta Zofia Kwiatkowska ( http://dblp.L3S.de/Authors/Marta_Z._Kwiatkowska )

Publication years (Num. hits)
1989-1996 (15) 1997-2000 (17) 2001-2003 (17) 2004-2005 (22) 2006-2007 (21) 2008-2009 (25) 2010 (15) 2011 (15) 2012 (21) 2013 (21) 2014 (19) 2015 (17) 2016 (25) 2017 (16) 2018 (26) 2019 (15)
Publication types (Num. hits)
article(119) book(1) incollection(6) inproceedings(176) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 59 occurrences of 41 keywords

Results
Found 308 publication records. Showing 307 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001 Verification and Control of Turn-Based Probabilistic Real-Time Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Matthew Wicker, Marta Kwiatkowska Robustness of 3D Deep Learning in an Adversarial Setting. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Min Wu, Marta Kwiatkowska Robustness Guarantees for Deep Neural Networks on Videos. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik Reasoning about Cognitive Trust in Stochastic Multiagent Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker Statistical Guarantees for the Robustness of Bayesian Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski PID Control of Biochemical Reaction Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts Robustness Quantification for Classification with Gaussian Processes. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane Robustness Guarantees for Bayesian Inference with Gaussian Processes. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker Statistical Guarantees for the Robustness of Bayesian Neural Networks. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin Probabilistic Strategy Logic. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska Safety and robustness for deep learning with provable guarantees (keynote). Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman 0001, Hadas Kress-Gazit, Marta Kwiatkowska Resource-Performance Tradeoff Analysis for Mobile Robots. Search on Bibsonomy IEEE Robotics and Automation Letters The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Max Whitby Chemical reaction network designs for asynchronous logic circuits. Search on Bibsonomy Natural Computing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti Programming discrete distributions with chemical reaction networks. Search on Bibsonomy Natural Computing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. Search on Bibsonomy TCPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Milan Ceska Jr., Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti Efficient synthesis of robust models for stochastic systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Milan Ceska Jr., Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti Central Limit Model Checking. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Rhiannon Michelmore, Marta Kwiatkowska, Yarin Gal Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane Robustness Guarantees for Bayesian Inference with Gaussian Processes. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening Concolic Testing for Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska Reachability Analysis of Deep Neural Networks with Provable Guarantees. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marta Kwiatkowska, David Parker 0001, Clemens Wiltsche PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Marta Kwiatkowska Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska Model Checking Probabilistic Systems. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Patane, Shadi Ghiasi, Enzo Pasquale Scilingo, Marta Kwiatkowska Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks. (PDF / PS) Search on Bibsonomy CinC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov Experimental Biological Protocols with Formal Semantics. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska Feature-Guided Black-Box Safety Testing of Deep Neural Networks. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening Concolic testing for deep neural networks. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Eberz, Giulio Lovisotto, Andrea Patane, Marta Kwiatkowska, Vincent Lenders, Ivan Martinovic When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Patanè, Marta Kwiatkowska Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG. Search on Bibsonomy LOD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos Automated Verification of Concurrent Stochastic Games. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska Reachability Analysis of Deep Neural Networks with Provable Guarantees. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche Compositional strategy synthesis for stochastic games with multiple objectives. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Milan Ceska Jr., Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim Precise parameter synthesis for stochastic biochemical systems. Search on Bibsonomy Acta Inf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov Experimental Biological Protocols with Formal Semantics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska Feature-Guided Black-Box Safety Testing of Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001 Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patané, Marta Kwiatkowska, Ivan Martinovic Broken Hearted: How To Attack ECG Biometrics. Search on Bibsonomy NDSS The full citation details ... 2017 DBLP  BibTeX  RDF
1Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu Safety Verification of Deep Neural Networks. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska Cognitive Reasoning and Trust in Human-Robot Interactions. Search on Bibsonomy TAMC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Milan Ceska Jr., Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Azlan Ismail, Marta Kwiatkowska Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking. Search on Bibsonomy APSEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Milan Ceska Jr., Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti Designing Robust Software Systems through Parametric Markov Chain Synthesis. Search on Bibsonomy ICSA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen 0001, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli Synthesis and Verification of Self-aware Computing Systems. Search on Bibsonomy Self-Aware Computing Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang 0001 A Specification Theory of Real-Time Processes. Search on Bibsonomy Concurrency, Security, and Puzzles The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Milan Ceska 0001, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska 0001, Marta Z. Kwiatkowska Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiaowei Huang, Marta Zofia Kwiatkowska Reasoning about Cognitive Trust in Stochastic Multiagent Systems. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball 2014 CAV award announcement. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska The Presburger Award for Young Scientists 2017 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2016 DBLP  BibTeX  RDF
1María Svorenová, Marta Kwiatkowska Quantitative verification and strategy synthesis for stochastic games. Search on Bibsonomy Eur. J. Control The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu Safety Verification of Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman 0001, Hadas Kress-Gazit, Marta Kwiatkowska Resource-Performance Trade-off Analysis for Mobile Robots. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. Search on Bibsonomy Biosystems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, Andrew Phillips, Chris Thachuk Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Expected reachability-time games. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Milan Ceska Jr., Marta Kwiatkowska Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Morteza Lahijanian, Marta Kwiatkowska Social Trust: A Major Challenge for the Future of Autonomous Systems. Search on Bibsonomy AAAI Fall Symposia The full citation details ... 2016 DBLP  BibTeX  RDF
1Marta Kwiatkowska, David Parker 0001, Clemens Wiltsche PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti Building Power Consumption Models from Executable Timed I/O Automata Specifications. Search on Bibsonomy HSCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiaowei Huang, Marta Kwiatkowska Model Checking Probabilistic Knowledge: A PSPACE Case. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Max Whitby Chemical Reaction Network Designs for Asynchronous Logic Circuits. Search on Bibsonomy DNA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti Programming Discrete Distributions with Chemical Reaction Networks. Search on Bibsonomy DNA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska Advances and challenges of quantitative verification and synthesis for cyber-physical systems. Search on Bibsonomy SOSCYPS@CPSWeek The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Expected Reachability-Time Games. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti Programming Discrete Distributions with Chemical Reaction Networks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Milan Ceska Jr., Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. Search on Bibsonomy MASCOTS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice. Search on Bibsonomy ICALP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Morteza Lahijanian, Marta Z. Kwiatkowska Specification revision for Markov decision processes with optimal trade-off. Search on Bibsonomy CDC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Samuel Kounev, Xiaoyun Zhu, Jeffrey O. Kephart, Marta Kwiatkowska Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska Parameter synthesis for probabilistic real-time systems (Invited Paper). Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska Computing Cumulative Rewards Using Fast Adaptive Uniformization. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield DNA walker circuits: computational potential, design, and verification. Search on Bibsonomy Natural Computing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fedor V. Fomin, Marta Z. Kwiatkowska, David Peleg 40th international colloquium on automata, languages and programming. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. Search on Bibsonomy IEEE Design & Test The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001, Mateusz Ujma Permissive Controller Synthesis for Probabilistic Systems. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Lubos Brim, Milan Ceska Jr., Marta Z. Kwiatkowska Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. Search on Bibsonomy HSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benoît Barbot, Marta Z. Kwiatkowska On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. Search on Bibsonomy EMBC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska Compositional assume-guarantee reasoning for input/output component theories. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 307 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license