Search results for "statistical model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
2	Diana El Rabih, Nihal Pekergin	Statistical Model Checking Using Perfect Simulation.	ATVA	2009	DBLP DOI BibTeX RDF
2	Michael Katelman, José Meseguer, Jennifer C. Hou	Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking.	FMOODS	2008	DBLP DOI BibTeX RDF
2	Edmund M. Clarke, Alexandre Donzé, Axel Legay	Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
2	Koushik Sen, Mahesh Viswanathan, Gul Agha	On Statistical Model Checking of Stochastic Systems.	CAV	2005	DBLP DOI BibTeX RDF
1	Cyrille Jégourel, Axel Legay, Sean Sedwards	Cross-entropy optimisation of importance sampling parameters for statistical model checking	CoRR	2012	DBLP BibTeX RDF
1	Cyrille Jégourel, Axel Legay, Sean Sedwards	A Platform for High Performance Statistical Model Checking - PLASMA.	TACAS	2012	DBLP DOI BibTeX RDF
1	Benoît Barbot, Serge Haddad, Claudine Picaronny	Coupling and Importance Sampling for Statistical Model Checking.	TACAS	2012	DBLP DOI BibTeX RDF
1	Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer	Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.	LPAR	2012	DBLP DOI BibTeX RDF
1	Jayanand Asok Kumar, Shobha Vasudevan	Verifying dynamic power management schemes using statistical model checking.	ASP-DAC	2012	DBLP DOI BibTeX RDF
1	Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen	Checking and Distributing Statistical Model Checking.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns	Simulation and Statistical Model Checking for Modestly Nondeterministic Models.	MMB/DFT	2012	DBLP DOI BibTeX RDF
1	Sumit Kumar Jha, Christopher James Langmead	Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay	Distributed Parametric and Statistical Model Checking	PDMC	2011	DBLP DOI BibTeX RDF
1	Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang	Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata	CoRR	2011	DBLP BibTeX RDF
1	Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns	Partial Order Methods for Statistical Model Checking and Simulation.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	João Martins, André Platzer, João Leite	Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang	Statistical Model Checking for Networks of Priced Timed Automata.	FORMATS	2011	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Paolo Zuliani	Statistical Model Checking for Cyber-Physical Systems.	ATVA	2011	DBLP DOI BibTeX RDF
1	Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke	Analog circuit verification by statistical model checking.	ASP-DAC	2011	DBLP DOI BibTeX RDF
1	Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang	Time for Statistical Model Checking of Real-Time Systems.	CAV	2011	DBLP DOI BibTeX RDF
1	Musab AlTurki, José Meseguer	PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool.	CALCO	2011	DBLP DOI BibTeX RDF
1	Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin	COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.	QEST	2011	DBLP DOI BibTeX RDF	Statistical Model Checking, Discrete Event Stochastic Processes, Stochastic Logic, Hybrid Automata
1	Axel Legay, Benoît Delahaye	Statistical Model Checking : An Overview	CoRR	2010	DBLP BibTeX RDF
1	Axel Legay, Benoît Delahaye, Saddek Bensalem	Statistical Model Checking: An Overview.	RV	2010	DBLP DOI BibTeX RDF
1	Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi	Efficient Parallel Statistical Model Checking of Biochemical Networks	PDMC	2009	DBLP DOI BibTeX RDF
1	Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani	A Bayesian Approach to Model Checking Biological Systems.	CMSB	2009	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay	Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.	CMSB	2008	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian	A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.	FMOODS	2007	DBLP DOI BibTeX RDF	Probabilistic Formal Methods, Resource Management, Statistical Analysis, Cross-layer Optimization
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian	Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.	FORMATS	2007	DBLP DOI BibTeX RDF	Iterative System Tuning, Statistical Formal Methods, System Realization, Cross-layer Timing/QoS/resource Provisioning for Distributed Systems, Formal Modeling
1	David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev	How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	José Meseguer, Raman Sharykin	Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul A. Agha	VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.	QEST	2005	DBLP DOI BibTeX RDF
1	Håkan L. S. Younes	Ymer: A Statistical Model Checker.	CAV	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	Statistical Model Checking of Black-Box Probabilistic Systems.	CAV	2004	DBLP DOI BibTeX RDF