Search results for "probabilistic properties"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Lars Grunske, Pengcheng Zhang	Monitoring probabilistic properties.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	security, web services, performance, reliability, safety, runtime monitoring, probabilistic properties
3	Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr	Statistical Runtime Checking of Probabilistic Properties.	RV	2007	DBLP DOI BibTeX RDF	statistical monitoring, Runtime verification, probabilistic properties
2	Osman Hasan, Sofiène Tahar	Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.	IFM	2007	DBLP DOI BibTeX RDF	Higher-Order-Logic, Interactive Theorem Proving, HOL, Probabilistic Systems, Cumulative Distribution Function
2	Alexander Kholosha, Henk C. A. van Tilborg	Tensor Transform of Boolean Functions and Related Algebraic and Probabilistic Properties.	ICICS	2002	DBLP DOI BibTeX RDF	key-stream generator, tensor transform, cryptography, Boolean function, Walsh transform, probabilistic properties
2	Marie-Jeanne Toussaint	Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract).	ASIACRYPT	1991	DBLP DOI BibTeX RDF
1	Jan Olaf Blech	On Compositional Reasoning for Guaranteeing Probabilistic Properties	CoRR	2012	DBLP BibTeX RDF
1	Ilya Tkachev, Alessandro Abate	Regularization of bellman equations for infinite-horizon probabilistic properties.	HSCC	2012	DBLP DOI BibTeX RDF
1	Ilya Tkachev, Alessandro Abate	On infinite-horizon probabilistic properties and stochastic bisimulation functions.	CDC-ECE	2011	DBLP DOI BibTeX RDF
1	Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza	Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems.	IEA/AIE	2011	DBLP DOI BibTeX RDF
1	Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani	Statistical Verification of Probabilistic Properties with Unbounded Until.	SBMF	2010	DBLP DOI BibTeX RDF
1	Igor Cappello, Paola Quaglia	A Tool for Checking Probabilistic Properties of COWS Services.	TGC	2010	DBLP DOI BibTeX RDF
1	Indika Meedeniya	An incremental methodology for quantitative software architecture evaluation with probabilistic models.	ICSE	2010	DBLP DOI BibTeX RDF	delta evaluation, incremental evaluation models, architecture evaluation, probabilistic properties
1	Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li	A Formal Syntax for Probabilistic Timed Property Sequence Charts.	ASE	2009	DBLP DOI BibTeX RDF	Property Sequence Chart, Probabilistic and Timed Property Sequence Chart, Probabilistic Properties
1	Pouya Dehghani Tafti, Dimitri Van De Ville, Michael Unser	Invariances, Laplacian-Like Wavelet Bases, and the Whitening of Fractal Processes.	IEEE Transactions on Image Processing	2009	DBLP DOI BibTeX RDF
1	Lars Grunske	Specification patterns for probabilistic quality properties.	ICSE	2008	DBLP DOI BibTeX RDF	csl, pctl, pctl*, probabilistic quality, probabilistic quality patterns, security, performance, reliability, safety, specification patterns
1	Leszek Klukowski	Estimation of the Preference Relation on the Basis of Medians from Pairwise Comparisons in the Form of Difference of Ranks.	Computer Recognition Systems 2	2008	DBLP DOI BibTeX RDF
1	Li Jiang, Lingdi Ping, Xuezeng Pan	Extending intransitive noninterference with probabilities in information flow security.	IMSCCS	2007	DBLP DOI BibTeX RDF
1	Jacek Cichon, Marek Klonowski, Lukasz Krzywiecki, Bartlomiej Rózanski, Pawel Zielinski	Random Subsets of the Interval and P2P Protocols.	APPROX-RANDOM	2007	DBLP DOI BibTeX RDF
1	Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera	Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM.	Int. J. Cooperative Inf. Syst.	2006	DBLP DOI BibTeX RDF
1	Jounaïdi Ben Hassen, Sofiène Tahar	On the numerical verification of probabilistic rewriting systems.	DATE	2006	DBLP DOI BibTeX RDF
1	Mouad Ben Mamoun, Nihal Pekergin, Sana Younès	Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions.	QEST	2006	DBLP DOI BibTeX RDF
1	Jose M. Martinez, Boudewijn R. Haverkort	MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF	DSPNs, CSL, model checking, Markov process, Markov regenerative process
1	Guillermo Ayala, Rafael Sebastián, María Elena Díaz, Ester Díaz, Roberto Zoncu, Derek Toomre	Analysis of Spatially and Temporally Overlapping Events with Application to Image Sequences.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Temporal Boolean model, 3D Boolean models, germ-grain models, coverage processes, endocytosis, total internal reflection fluorescence microscopy, functional data analysis
1	Usa Sammapun, Insup Lee, Oleg Sokolsky	RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Håkan L. S. Younes	Probabilistic Verification for "Black-Box" Systems.	CAV	2005	DBLP DOI BibTeX RDF
1	Jerzy Sas, Marek Kurzynski	Multilevel Recognition of Structured Handprinted Documents - Probabilistic Approach.	CORES	2005	DBLP DOI BibTeX RDF
1	Hillol Kargupta, Rajeev Ayyagari, Samiran Ghosh	Learning Functions Using Randomized Genetic Code-Like Transformations: Probabilistic Properties and Experimentations.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF
1	Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt	Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman	Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.	STTT	2004	DBLP DOI BibTeX RDF	Forwards reachability, Timed automata, Probabilistic model checking, IEEE standard, FireWire
1	Frédéric Galland, Nicolas Bertaux, Philippe Réfrégier	Minimum description length synthetic aperture radar image segmentation.	IEEE Transactions on Image Processing	2003	DBLP DOI BibTeX RDF
1	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Model-Checking Algorithms for Continuous-Time Markov Chains.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping
1	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
1	Alexander Kholosha, Henk C. A. van Tilborg	Tensor Transform of Boolean Functions and Related Algebraic and Probabilistic Properties.	IACR Cryptology ePrint Archive	2002	DBLP BibTeX RDF
1	Salvatore Greco, Zdzislaw Pawlak, Roman Slowinski	Generalized Decision Algorithms, Rough Inference Rules, and Flow Graphs.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
1	Zdzislaw Pawlak	Rough Sets and Decision Algorithms.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
1	Indranil Gupta, Robbert van Renesse, Kenneth P. Birman	A Probabilistically Correct Leader Election Protocol for Large Groups.	DISC	2000	DBLP DOI BibTeX RDF	scalable protocols, fault-tolerance, leader election, randomized protocols, Asynchronous networks, process groups
1	Anna Pogosyants, Roberto Segala, Nancy A. Lynch	Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.	Distributed Computing	2000	DBLP DOI BibTeX RDF	Randomized consensus, Verification, Performance analysis, Probabilistic automata
1	Yu-Wen Chang, Evaggelos Geraniotis	Optimal policies for handoff and channel assignment in networks of LEO satellites using CDMA.	Wireless Networks	1998	DBLP DOI BibTeX RDF
1	Anna Pogosyants, Roberto Segala, Nancy A. Lynch	Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.	WDAG	1997	DBLP DOI BibTeX RDF
1	David Eppstein, Mike Paterson, F. Frances Yao	On Nearest-Neighbor Graphs.	Discrete & Computational Geometry	1997	DBLP DOI BibTeX RDF
1	Igor Averbakh	Probabilistic properties of the dual structure of the multidimensional knapsack problem and fast statistically efficient algorithms.	Math. Program.	1994	DBLP DOI BibTeX RDF
1		Probabilistic properties of B-splines.	Computer-Aided Design	1993	DBLP DOI BibTeX RDF
1	E. Santoro	Some probabilistic properties of B-splines and an application to dimensional tolerance.	Computer-Aided Design	1992	DBLP DOI BibTeX RDF
1	Mike Paterson, F. Frances Yao	On Nearest-Neighbor Graphs.	ICALP	1992	DBLP DOI BibTeX RDF
1	Stéphane Grumbach	A Paradox in Database Theory.	ICDT	1992	DBLP DOI BibTeX RDF
1	Franklin S. Weinstein	Some probabilistic properties of the line-of-sight angle error to a remote object.	IEEE Transactions on Information Theory	1987	DBLP DOI BibTeX RDF