Marta Z. Kwiatkowska
发表
Zhenqi Huang,
Chuchu Fan,
Alexandru Mereacre,
2015,
IEEE Design & Test.
Krishnendu Chatterjee,
Jan Kretínský,
Tomás Brázdil,
2014,
ATVA.
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2017,
2017 IEEE International Conference on Software Architecture (ICSA).
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2019,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Nicola Paoletti,
Marta Z. Kwiatkowska,
Andrea Patanè,
2018,
ACM Trans. Cyber Phys. Syst..
Marta Z. Kwiatkowska,
David Parker,
Clemens Wiltsche,
2017,
International Journal on Software Tools for Technology Transfer.
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2017,
QEST.
Luca Cardelli,
Marta Z. Kwiatkowska,
Max Whitby,
2016,
DNA.
Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman,
2002,
Electron. Notes Theor. Comput. Sci..
Marta Z. Kwiatkowska,
Gethin Norman,
M. Kwiatkowska,
2002,
FORTE.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Jörg Kreiker,
2010,
Quantitative and Qualitative Analysis of Network Protocols.
Kousha Etessami,
Mihalis Yannakakis,
Moshe Y. Vardi,
2007,
Log. Methods Comput. Sci..
Wen Gao,
Zhenyu Liu,
Marta Z. Kwiatkowska,
2008,
2008 International Conference on Cyberworlds.
Marta Z. Kwiatkowska,
Gethin Norman,
Aleksandra Jovanovic,
2015,
FORMATS.
Flemming Nielson,
Hanne Riis Nielson,
Marta Z. Kwiatkowska,
2012,
ArXiv.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1998,
Distributed Computing.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2011,
CAV.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2011,
BICoB.
Marta Z. Kwiatkowska,
Aleksandra Jovanovic,
M. Kwiatkowska,
2014,
RP.
Marta Z. Kwiatkowska,
2016,
ICALP.
Kousha Etessami,
Mihalis Yannakakis,
Moshe Y. Vardi,
2007,
TACAS.
Xiaowei Huang,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
AAAI.
Radu Calinescu,
Jim Davies,
Jeremy Gibbons,
2008,
2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID).
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1997,
Fundam. Informaticae.
Daniel Kroening,
Min Wu,
Xinping Yi,
2018,
ArXiv.
Marta Z. Kwiatkowska,
2013,
ICTAC.
Radu Calinescu,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2008,
Monterey Workshop.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
CMSB.
Taolue Chen,
Marta Z. Kwiatkowska,
David Parker,
2013,
TACAS.
António Pacheco,
Marta Z. Kwiatkowska,
Gethin Norman,
2006,
Comput. Math. Appl..
Radu Calinescu,
John A. McDermid,
Tim Kelly,
2009,
SAFECOMP.
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
ArXiv.
Marta Z. Kwiatkowska,
Nicolas Basset,
Clemens Wiltsche,
2017,
Inf. Comput..
Holger Giese,
Tingting Han,
Marta Z. Kwiatkowska,
2013,
QAPL.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2011,
SFM.
Hongyang Qu,
Marta Z. Kwiatkowska,
Henri Hansen,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Faron Moller,
Marta Z. Kwiatkowska,
Xu Wang,
2017,
Concurrency, Security, and Puzzles.
Taolue Chen,
Marta Z. Kwiatkowska,
David Parker,
2012,
Formal Methods in System Design.
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2006,
FSTTCS.
Alessandro Abate,
Marta Z. Kwiatkowska,
Gethin Norman,
2014,
Horizons of the Mind.
Sandeep K. Shukla,
Rajesh Gupta,
Marta Z. Kwiatkowska,
2005,
Formal Aspects of Computing.
Lubos Brim,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2016,
TACAS.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2005,
PERV.
Radu Calinescu,
Dave Cliff,
Richard F. Paige,
2011,
Commun. ACM.
Chris Thachuk,
Marta Z. Kwiatkowska,
Andrew J. Turberfield,
2013,
Natural Computing.
Marta Z. Kwiatkowska,
Gethin Norman,
M. Kwiatkowska,
1998,
EXPRESS.
Yi Zhang,
Marta Z. Kwiatkowska,
Rashid Mehmood,
2004,
The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..
Morteza Lahijanian,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
2000,
Mathematical Structures in Computer Science.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Luca Cardelli,
Luca Laurenti,
Luca Bortolussi,
2018,
ACM Trans. Comput. Log..
Luca Cardelli,
Morteza Lahijanian,
Alessandro Abate,
2019,
HSCC.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Ashutosh Trivedi,
Taolue Chen,
Marta Z. Kwiatkowska,
2012,
CONCUR.
Marta Z. Kwiatkowska,
Gethin Norman,
Rashid Mehmood,
2002,
Electron. Notes Theor. Comput. Sci..
Felicita Di Giandomenico,
Hongyang Qu,
Marta Z. Kwiatkowska,
2010,
ISoLA.
Hongyang Qu,
Marta Z. Kwiatkowska,
David Parker,
2011,
2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).
Lu Feng,
Marta Z. Kwiatkowska,
David Parker,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Marta Z. Kwiatkowska,
Xu Wang,
2006,
EXPRESS.
Lu Feng,
Tingting Han,
Marta Z. Kwiatkowska,
2011,
ATVA.
Wojciech Penczek,
Doron A. Peled,
Marta Z. Kwiatkowska,
1994,
ICTL.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2006,
Proceedings of the 2006 Winter Simulation Conference.
Taolue Chen,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2012,
2012 IEEE 33rd Real-Time Systems Symposium.
Taolue Chen,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2014,
Inf. Comput..
Alexandru Mereacre,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2014,
MCPS.
Lubos Brim,
Alessandro Abate,
Marta Z. Kwiatkowska,
2015,
CAV.
Sandeep K. Shukla,
Rajesh K. Gupta,
Marta Z. Kwiatkowska,
2002,
Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
Radu Calinescu,
Lars Grunske,
Raffaela Mirandola,
2011,
IEEE Transactions on Software Engineering.
Enzo Pasquale Scilingo,
Andrea Patane,
Shadi Ghiasi,
2018,
2018 Computing in Cardiology Conference (CinC).
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2018,
J. Syst. Softw..
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
PERV.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1992,
REX Workshop.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2010,
FORMATS.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2009,
PERV.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2006,
CAV.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
1999,
Theor. Comput. Sci..
Ufuk Topcu,
Marta Z. Kwiatkowska,
Nicolas Basset,
2015,
TACAS.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1998,
Inf. Process. Lett..
Luca Cardelli,
Matthew Wicker,
Nicola Paoletti,
2019,
IJCAI.
Fedor V. Fomin,
David Peleg,
Marta Z. Kwiatkowska,
2015,
Inf. Comput..
Marcin Jurdzinski,
Ashutosh Trivedi,
Marta Z. Kwiatkowska,
2009,
CONCUR.
Taolue Chen,
Marta Z. Kwiatkowska,
David Parker,
2012,
TACAS.
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2016,
DNA.
Marta Z. Kwiatkowska,
2019,
CONCUR.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Jörg Kreiker,
2010,
Quantitative and Qualitative Analysis of Network Protocols.
Farhad Arbab,
Sun Meng,
Hongyang Qu,
2009,
ESEC/SIGSOFT FSE.
Bengt Jonsson,
Taolue Chen,
Marta Z. Kwiatkowska,
2012,
ESOP.
Marta Z. Kwiatkowska,
David Parker,
Clemens Wiltsche,
2016,
TACAS.
Sabina Rossi,
Tingting Han,
Marta Z. Kwiatkowska,
2013,
MSWiM.
Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
2000,
TACAS.
Marta Z. Kwiatkowska,
2013,
Computer Science - Research and Development.
Marta Z. Kwiatkowska,
Simon Ambler,
Nicholas Measor,
1993,
CSL.
Matthew Wicker,
Xiaowei Huang,
Marta Z. Kwiatkowska,
2017,
TACAS.
Sandeep K. Shukla,
Marta Z. Kwiatkowska,
Gethin Norman,
2005,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Clifford A. Shaffer,
John J. Tyson,
Adelinde M. Uhrmacher,
2006,
Proceedings of the 2006 Winter Simulation Conference.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
Bull. EATCS.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2017,
Models, Algorithms, Logics and Tools.
Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman,
2002,
International Journal on Software Tools for Technology Transfer.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2007,
Inf. Comput..
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2018,
Journal of Systems and Software.
Christel Baier,
Mark Ryan,
Marta Z. Kwiatkowska,
1998,
PROBMIV.
Hongyang Qu,
Marta Z. Kwiatkowska,
David Parker,
2014,
Theor. Comput. Sci..
Chrysafis Hartonas,
Marta Z. Kwiatkowska,
1994,
Theory and Formal Methods.
Luca Cardelli,
Martin Fränzle,
Nicola Paoletti,
2017,
CAV.
Marta Z. Kwiatkowska,
2017,
TAMC.
Miklós Telek,
Jane Hillston,
Marta Z. Kwiatkowska,
2009,
IEEE Trans. Software Eng..
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1997,
Fundamenta Informaticae.
Holger Hermanns,
Markus Siegle,
Marta Z. Kwiatkowska,
2003,
J. Log. Algebraic Methods Program..
Radu Calinescu,
Marta Z. Kwiatkowska,
Tianyi Zang,
2011,
Computer systems science and engineering.
Samuel Kounev,
Xiaoyun Zhu,
Jeffrey O. Kephart,
2015,
Dagstuhl Reports.
Luca Cardelli,
Luca Laurenti,
Luca Bortolussi,
2016,
QEST.
Marta Z. Kwiatkowska,
Andrea Patanè,
2018,
LOD.
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2015,
CMSB.
Ashutosh Trivedi,
Marta Z. Kwiatkowska,
Gethin Norman,
2010,
ArXiv.
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2016,
Bio Systems.
Artur Czumaj,
Marta Z. Kwiatkowska,
Éva Tardos,
2019,
Bull. EATCS.
Min Wu,
Matthew Wicker,
Xiaowei Huang,
2018,
Theor. Comput. Sci..
Fedor V. Fomin,
David Peleg,
Marta Z. Kwiatkowska,
2013,
International Colloquium on Automata, Languages and Programming.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2002,
Computer Performance Evaluation / TOOLS.
Michael Huth,
Marta Z. Kwiatkowska,
M. Huth,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Marta Z. Kwiatkowska,
Klaus Dräger,
2012,
Monterey Workshop.
Joost-Pieter Katoen,
Marta Z. Kwiatkowska,
Gethin Norman,
2001,
PAPM-PROBMIV.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2004,
International Journal on Software Tools for Technology Transfer.
Marta Z. Kwiatkowska,
Iain Phillips,
1993,
Theory and Formal Methods.
Marta Z. Kwiatkowska,
Azlan Ismail,
M. Kwiatkowska,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Alexandru Mereacre,
Marta Z. Kwiatkowska,
Chang Hwan Peter Kim,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Marie Duflot,
Marta Z. Kwiatkowska,
Gethin Norman,
2006,
37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.
Christel Baier,
Marta Z. Kwiatkowska,
Gethin Norman,
1998,
PROBMIV.
Lijun Zhang,
Hongyang Qu,
Taolue Chen,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Marta Z. Kwiatkowska,
Gethin Norman,
Aleksandra Jovanovic,
2017,
Theor. Comput. Sci..
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1989,
Formal Aspects of Computing.
Radu Calinescu,
Marta Z. Kwiatkowska,
2009,
FASE.
Marta Z. Kwiatkowska,
2016,
2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS).
Chris Thachuk,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2014,
Software Systems Safety.
Marta Z. Kwiatkowska,
Stefano Cattani,
M. Kwiatkowska,
2005,
Formal Aspects of Computing.
Hongyang Qu,
Marta Z. Kwiatkowska,
David Parker,
2014,
HOWARD-60.
Marta Z. Kwiatkowska,
2009,
SPIN.
Sandeep K. Shukla,
Marta Z. Kwiatkowska,
Gethin Norman,
2004,
17th International Conference on VLSI Design. Proceedings..
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2016,
Natural Computing.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000,
CONCUR.
Marta Z. Kwiatkowska,
Sibusisiwe Chiyangwa,
M. Kwiatkowska,
2005,
FMOODS.
Taolue Chen,
Marta Z. Kwiatkowska,
David Parker,
2011,
CLIMA.
Marta Z. Kwiatkowska,
Antonio Filieri,
Todd Mytkowicz,
2015,
Dagstuhl Reports.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Chris Chilton,
2014,
Sci. Comput. Program..
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
VMCAI.
Radu Calinescu,
Jim Davies,
Charles Crichton,
2008,
2008 IEEE Fourth International Conference on eScience.
Marta Z. Kwiatkowska,
Xu Wang,
Qianyi Zhang,
2005,
AVoCS.
Taolue Chen,
Marta Z. Kwiatkowska,
Clemens Wiltsche,
2013,
QEST.
Abbas Edalat,
Klaus Keimel,
Marta Z. Kwiatkowska,
1998,
Electron. Notes Theor. Comput. Sci..
Marta Z. Kwiatkowska,
2007,
ESEC/SIGSOFT FSE.
Sabina Rossi,
Alvise Spanò,
Tingting Han,
2012,
2012 IFIP Wireless Days.
Doina Bucur,
Marta Z. Kwiatkowska,
Doina Bucur,
2011,
J. Syst. Softw..
Marta Z. Kwiatkowska,
Gethin Norman,
M. Kwiatkowska,
1996,
MFCS.
Xiaowei Huang,
Marta Z. Kwiatkowska,
Wenjie Ruan,
2018,
IJCAI.
Zhenyu Liu,
Costas C. Constantinou,
Marta Z. Kwiatkowska,
2022
.
Zhenqi Huang,
Chuchu Fan,
Alexandru Mereacre,
2014,
CAV.
Andrew Hinton,
Marta Z. Kwiatkowska,
Gethin Norman,
2006,
TACAS.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2002,
PAPM-PROBMIV.
Luca Cardelli,
Marta Z. Kwiatkowska,
Max Whitby,
2016,
Natural Computing.
Christel Baier,
Mark Ryan,
Edmund M. Clarke,
1997,
ICALP.
Marta Z. Kwiatkowska,
2015,
SynCoP.
Taolue Chen,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2011,
FORMATS.
Doina Bucur,
Marta Z. Kwiatkowska,
2009,
AmI.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1990,
FSTTCS.
Daniel Kroening,
Marta Z. Kwiatkowska,
Chang Hwan Peter Kim,
2016,
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS).
Marta Z. Kwiatkowska,
Fuzhi Wang,
2005,
ATVA.
Marta Z. Kwiatkowska,
Xu Wang,
Chris Chilton,
2013,
ArXiv.
Taolue Chen,
Tingting Han,
Marta Z. Kwiatkowska,
2013,
Inf. Process. Lett..
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2010,
TACAS.
Taolue Chen,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2013,
TOCL.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
PERV.
Paola Inverardi,
Massimo Tivoli,
Marta Z. Kwiatkowska,
2010,
ISoLA.
Marta Z. Kwiatkowska,
David Parker,
Aistis Simaitis,
2013,
SR.
Zhenyu Liu,
Costas C. Constantinou,
Marta Z. Kwiatkowska,
2004,
Communications, Internet, and Information Technology.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1991
.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2012,
Int. J. Comput. Their Appl..
Marta Z. Kwiatkowska,
2007,
ESEC-FSE '07.
Marta Z. Kwiatkowska,
Xu Wang,
M. Kwiatkowska,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2003,
Formal Aspects of Computing.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
QAPL.
Hongyang Qu,
Marta Z. Kwiatkowska,
David Parker,
2012,
RV.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Chris Chilton,
2014,
Theor. Comput. Sci..
Marta Z. Kwiatkowska,
David Parker,
Vojtech Forejt,
2014,
TACAS.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2010,
Formal Methods Syst. Des..
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2014,
2014 IEEE International Conference on Healthcare Informatics.
Marta Z. Kwiatkowska,
Ernst Moritz Hahn,
Frits Dannenberg,
2015,
ACM Trans. Model. Comput. Simul..
Michael Huth,
Marta Z. Kwiatkowska,
M. Huth,
1998,
PROCOMET.
Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
2001,
CAV.
Maria Grazia Vigliotti,
Marta Z. Kwiatkowska,
Gethin Norman,
2009,
Theoretical Computer Science.
Marta Z. Kwiatkowska,
David Parker,
Vojtech Forejt,
2014,
TACAS.
Marta Z. Kwiatkowska,
Nicolas Basset,
Clemens Wiltsche,
2014,
CONCUR.
Min Wu,
Sen Wang,
Xiaowei Huang,
2016,
CAV.
Wan Fokkink,
Marta Z. Kwiatkowska,
Rob van Glabbeek,
2019,
CONCUR.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2006,
QAPL.
Bard Bloom,
Marta Z. Kwiatkowska,
B. Bloom,
1991,
MFPS.
Matthew Wicker,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2019,
2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Lubos Brim,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2014,
Acta Informatica.
Marta Z. Kwiatkowska,
1993,
Theory and Formal Methods.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2001,
CONCUR.
Radu Calinescu,
Marta Z. Kwiatkowska,
Tianyi Zang,
2011,
Guide to e-Science.
Marta Z. Kwiatkowska,
Gethin Norman,
M. Kwiatkowska,
1997,
COMPROX.
Christel Baier,
Marta Z. Kwiatkowska,
1997,
PODC '97.
Marta Z. Kwiatkowska,
Zhenyu Liu,
M. Kwiatkowska,
2005
.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2004,
International Journal on Software Tools for Technology Transfer.
Radu Calinescu,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Doina Bucur,
Marta Z. Kwiatkowska,
Doina Bucur,
2010,
IPSN '10.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
HSCC.
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2016,
CMSB.
Marta Z. Kwiatkowska,
Xu Wang,
Qianyi Zhang,
2006,
Electron. Notes Theor. Comput. Sci..
Taolue Chen,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2013,
HSCC '13.
Ivan Martinovic,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2017,
NDSS.
Marta Z. Kwiatkowska,
María Svorenová,
M. Kwiatkowska,
2016,
European Journal of Control.
Zhenyu Liu,
Costas C. Constantinou,
Marta Z. Kwiatkowska,
2005,
Third IEEE International Conference on Pervasive Computing and Communications Workshops.
Marta Z. Kwiatkowska,
David Parker,
Vojtech Forejt,
2012,
ATVA.
Taolue Chen,
Marta Z. Kwiatkowska,
Vojtech Forejt,
2013,
MFCS.
Marta Z. Kwiatkowska,
Oksana Tymchyshyn,
M. Kwiatkowska,
2008,
FMSB.
Håkan L. S. Younes,
Marta Z. Kwiatkowska,
Gethin Norman,
2004,
TACAS.
Lu Feng,
Marta Z. Kwiatkowska,
David Parker,
2011,
FASE.
Alessio Lomuscio,
Hongyang Qu,
Marta Z. Kwiatkowska,
2010,
ECAI.
Carlo Ghezzi,
Radu Calinescu,
Raffaela Mirandola,
2012,
CACM.
Marc Beunardeau,
Marta Z. Kwiatkowska,
Benoît Barbot,
2016,
QEST.
Alessandro Abate,
Marta Z. Kwiatkowska,
Milan Ceska,
2016,
ATVA.
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2011,
TACAS.
Ashutosh Trivedi,
Marta Z. Kwiatkowska,
Gethin Norman,
2010,
FORMATS.
Nicola Paoletti,
Marta Z. Kwiatkowska,
Milan Ceska,
2014,
CMSB.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2007,
Inf. Comput..
Marta Z. Kwiatkowska,
Xu Wang,
Chris Chilton,
2012,
FORMATS.
Jan J. M. M. Rutten,
Prakash Panangaden,
Marta Z. Kwiatkowska,
2004,
CRM monograph series.
António Pacheco,
Marta Z. Kwiatkowska,
Gethin Norman,
2002,
PAPM-PROBMIV.
Marta Z. Kwiatkowska,
Yarin Gal,
Rhiannon Michelmore,
2018,
ArXiv.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1991,
TAPSOFT, Vol.1.
Luca Cardelli,
Luca Laurenti,
Mirco Tribastone,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Nils Jansen,
Joost-Pieter Katoen,
Javier Cámara,
2017,
Self-Aware Computing Systems.
Ahmed Bouajjani,
Moshe Y. Vardi,
Thomas Ball,
2016,
Formal Methods Syst. Des..
Marta Z. Kwiatkowska,
Benoît Barbot,
M. Kwiatkowska,
2015,
Petri Nets.
Marta Z. Kwiatkowska,
David Parker,
M. Kwiatkowska,
2013,
ATVA.
Marta Z. Kwiatkowska,
Rashid Mehmood,
2002,
PAPM-PROBMIV.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2009,
FORMATS.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2012,
Formal Aspects of Computing.
Zhenyu Liu,
Costas C. Constantinou,
Marta Z. Kwiatkowska,
2005,
Eur. Trans. Telecommun..
Yi Zhang,
Marta Z. Kwiatkowska,
David Parker,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2016,
HSCC.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
Theor. Comput. Sci..
Marta Z. Kwiatkowska,
Simon Ambler,
Nicholas Measor,
1995,
Theor. Comput. Sci..
Håkan L. S. Younes,
Marta Z. Kwiatkowska,
Gethin Norman,
2006,
International Journal on Software Tools for Technology Transfer.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Chris Chilton,
2012,
FACS.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2003,
Formal Methods Syst. Des..
Gabriel Santos,
Marta Z. Kwiatkowska,
Gethin Norman,
2018,
FM.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
2013,
Formal methods in system design.
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1990,
Inf. Process. Lett..
Gabriel Santos,
Marta Z. Kwiatkowska,
Gethin Norman,
2018,
QEST.
Morteza Lahijanian,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
AAAI Fall Symposia.
Marta Z. Kwiatkowska,
David Parker,
2012,
Software Safety and Security.
Marta Z. Kwiatkowska,
Ernst Moritz Hahn,
Frits Dannenberg,
2013,
Computational Methods in Systems Biology.
Christel Baier,
Luca de Alfaro,
Marta Z. Kwiatkowska,
2018,
Handbook of Model Checking.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2007,
SFM.
Nicola Paoletti,
Andrea Patane,
Alexandru Mereacre,
2015,
HSB.
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2014,
ISoLA.
Chris Barker,
Nicola Paoletti,
Andrea Patane,
2015,
2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2013,
Inf. Comput..
Ashutosh Trivedi,
Marta Z. Kwiatkowska,
Gethin Norman,
2016,
Theor. Comput. Sci..
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
Theor. Comput. Sci..
Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
2005,
FoSSaCS.
Chris Thachuk,
Marta Z. Kwiatkowska,
Andrew J. Turberfield,
2013,
DNA.
Valérie Issarny,
Gordon S. Blair,
Radu Calinescu,
2009,
2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1995
.