Search results for "Reachability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Feng Wang 0017, Jian Qiu, Lixin Gao 0001, Jia Wang	On understanding transient interdomain routing failures.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	transient routing failure, BGP, border gateway protocol, interdomain routing
13	Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001	Property Driven Three-Valued Model Checking on Hybrid Automata.	WoLLIC	2009	DBLP DOI BibTeX RDF
13	Francesco Longo 0001, Marco Scarpa	Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions.	EPEW	2009	DBLP DOI BibTeX RDF
13	Hallstein Asheim Hansen, Gerardo Schneider	GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
13	Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre	Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.	LICS	2009	DBLP DOI BibTeX RDF
13	PengCheng Xiong, Mengchu Zhou, Calton Pu	A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches.	ICWS	2009	DBLP DOI BibTeX RDF
13	Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko	TAGED Approximations for Temporal Properties Model-Checking.	CIAA	2009	DBLP DOI BibTeX RDF
13	Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka	Query-Based Model Checking of Ad Hoc Network Protocols.	CONCUR	2009	DBLP DOI BibTeX RDF
13	Pierre-Alain Reynier, Arnaud Sangnier	Weak Time Petri Nets Strike Back!.	CONCUR	2009	DBLP DOI BibTeX RDF
13	Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001	Concavely-Priced Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
13	Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf	Approximation of Event Probabilities in Noisy Cellular Processes.	CMSB	2009	DBLP DOI BibTeX RDF
13	Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler	Verification of Parameterized Systems with Combinations of Abstract Domains.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
13	Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta	A Broadcasting Method considering Battery Lifetime and Distance between Nodes in MANET.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
13	Shangmin Luan, Guozhong Dai	An algebraic approach to revising propositional rule-based knowledge bases.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	knowledge base revision, rule-based knowledge base, Petri net, consistency check
13	Gordon J. Pace, Gerardo Schneider	Relaxing Goodness Is Still Good.	ICTAC	2008	DBLP DOI BibTeX RDF
13	Osamu Akashi, Atsushi Terauchi	Diagnosis of IP-Service Anomalies Based on BGP-Update Temporal Analysis.	IPOM	2008	DBLP DOI BibTeX RDF
13	A. Agung Julius, George J. Pappas	Probabilistic testing for stochastic hybrid systems.	CDC	2008	DBLP DOI BibTeX RDF
13	Shun-Ren Yang, Wei-Hsiang Hung	Efficient selection of relay vehicles for broadcasting on vehicular ad-hoc networks.	Mobility Conference	2008	DBLP DOI BibTeX RDF
13	Shanshan Li 0001, Xiaoping Wang, Mo Li 0001, Xiangke Liao	Using Cable-Based Mobile Sensors to Assist Environment Surveillance.	ICPADS	2008	DBLP DOI BibTeX RDF
13	Gordon J. Pace, Gerardo Schneider	Computation and Visualisation of Phase Portraits for Model Checking SPDIs.	TACAS	2008	DBLP DOI BibTeX RDF
13	Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun	Accelerating Interpolation-Based Model-Checking.	TACAS	2008	DBLP DOI BibTeX RDF
13	Mayank Saksena, Oskar Wibling, Bengt Jonsson 0001	Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols.	TACAS	2008	DBLP DOI BibTeX RDF
13	Salvatore La Torre, P. Madhusudan, Gennaro Parlato	Context-Bounded Analysis of Concurrent Queue Systems.	TACAS	2008	DBLP DOI BibTeX RDF
13	Shenglin Gui, Lei Luo 0004, Qian Liu, Fulei Guo, Shaopeng Lu	UCaS: A Schedulability Analysis Tool for AADL Models.	EUC (2)	2008	DBLP DOI BibTeX RDF
13	Pierre Chambart, Philippe Schnoebelen	Mixing Lossy and Perfect Fifo Channels.	CONCUR	2008	DBLP DOI BibTeX RDF
13	Mila E. Majster-Cederbaum, Christoph Minnameier	Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.	SOFSEM	2008	DBLP DOI BibTeX RDF
13	Marcin Jurdzinski, Ashutosh Trivedi 0001	Concavely-Priced Timed Automata.	FORMATS	2008	DBLP DOI BibTeX RDF
13	Wonhong Nam, Hyunyoung Kil, Dongwon Lee 0001	Type-Aware Web Service Composition Using Boolean Satisfiability Solver.	CEC/EEE	2008	DBLP DOI BibTeX RDF
13	Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen	Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	lossy channels, probabilistic models, Communication protocols, Markov decision processes
13	Holger Hermanns, Sven Johr	Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.	DSN	2007	DBLP DOI BibTeX RDF
13	Chaoyi Pang, David P. Hansen, Anthony J. Maeder	Managing RBAC states with transitive relations.	AsiaCCS	2007	DBLP DOI BibTeX RDF	graph theory, data integration, distributed database, role-based access control, redundant, directed acyclic graph (DAG)
13	Luca de Alfaro, Pritam Roy	Magnifying-Lens Abstraction for Markov Decision Processes.	CAV	2007	DBLP DOI BibTeX RDF
13	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
13	Loi Wah Sun, Chung Kwong Yeung	Port placement and pose selection of the da Vinci surgical system for collision-free intervention based on performance optimization.	IROS	2007	DBLP DOI BibTeX RDF
13	Oleksiy Kurganskyy, Igor Potapov, Fernando Sancho-Caparrini	Computation in One-Dimensional Piecewise Maps.	HSCC	2007	DBLP DOI BibTeX RDF
13	Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti	Verifying Heap-Manipulating Programs in an SMT Framework.	ATVA	2007	DBLP DOI BibTeX RDF
13	Tingting Han 0001, Joost-Pieter Katoen	Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.	ATVA	2007	DBLP DOI BibTeX RDF
13	Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001	Logical Reasoning for Higher-Order Functions with Local State.	FoSSaCS	2007	DBLP DOI BibTeX RDF
13	Zhijun Ding, Junli Wang, Hong Song	AI Planning for Web Service Automatic Composition Using Petri Nets.	CSCWD	2007	DBLP DOI BibTeX RDF
13	Jian Wu 0028, Ying Zhang 0022, Zhuoqing Morley Mao, Kang G. Shin	Internet routing resilience to failures: analysis and implications.	CoNEXT	2007	DBLP DOI BibTeX RDF
13	Linmin Yang, Zhe Dang, Oscar H. Ibarra	Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing.	UC	2007	DBLP DOI BibTeX RDF
13	Xiangang Zhao, Bai Wang 0001, Liutong Xu	Grid Application Scheduling Model Based on Petri Net with Changeable Structure.	GCC	2007	DBLP DOI BibTeX RDF
13	Yi-Sheng Huang, Shung-Shing Lee, Yung-Kuer Liu	A Supervisor of Traffic Light Systems Using Statecharts.	ICNSC	2007	DBLP DOI BibTeX RDF
13	Michel dos Santos Soares, Jos L. M. Vrancken	Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic.	ICNSC	2007	DBLP DOI BibTeX RDF
13	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng	Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	model checking, formal method, timed automaton
13	Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani 0001	On using priced timed automata to achieve optimal scheduling.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Priced-timed automata, Zone-based, Linear programming, Real-time scheduling, Cost optimality
13	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston	Performance analysis of probabilistic timed automata using digital clocks.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, Digital clocks
13	Howard Bowman, Rodolfo Gómez 0001	How to stop time stopping.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Zeno-timelocks, Non-zenoness conditions, Model checking, Timed automata
13	Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar	Verifying analog oscillator circuits using forward/backward abstraction refinement.	DATE	2006	DBLP DOI BibTeX RDF
13	B. Anirudh, Tamma Bheemarjuna Reddy, C. Siva Ram Murthy	K-Tree: A Multiple Tree Video Multicast Protocol for Ad Hoc Wireless Networks.	HiPC	2006	DBLP DOI BibTeX RDF
13	Ai Hua Ho, Alexander J. Aved, Kien A. Hua	A novel broadcast technique for high-density ad hoc networks.	IWCMC	2006	DBLP DOI BibTeX RDF	cell broadcast, ad hoc network, wireless networks, broadcasting protocol, broadcasting storm
13	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Invisible Safety of Distributed Protocols.	ICALP (2)	2006	DBLP DOI BibTeX RDF
13	Stefan Edelkamp, Shahid Jabbar	Real-Time Model Checking on Secondary Storage.	MoChArt	2006	DBLP DOI BibTeX RDF
13	Ines Feki	An Incremental Approach to Enhance the Accuracy of Internet Routing.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF	security, Routing, BGP
13	Lin-Fei Sung, Cheng-Lin Wu, Yi-Kai Chiang, Shyh-In Hwang	SEER: Scalable Energy Efficient Relay Schemes in MANETs.	Euro-Par	2006	DBLP DOI BibTeX RDF
13	Alexey Gotsman, Josh Berdine, Byron Cook	Interprocedural Shape Analysis with Separated Heap Abstractions.	SAS	2006	DBLP DOI BibTeX RDF
13	Josh Karlin, Stephanie Forrest, Jennifer Rexford	Pretty Good BGP: Improving BGP by Cautiously Adopting Routes.	ICNP	2006	DBLP DOI BibTeX RDF
13	Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso	Replicated Ubiquitous Nets.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
13	Byron Cook, Daniel Kroening, Natasha Sharygina	Over-Approximating Boolean Programs with Unbounded Thread Creation.	FMCAD	2006	DBLP DOI BibTeX RDF
13	Elke Achtert, Christian Böhm 0001, Peer Kröger	DeLi-Clu: Boosting Robustness, Completeness, Usability, and Efficiency of Hierarchical Clustering by a Closest Pair Ranking.	PAKDD	2006	DBLP DOI BibTeX RDF
13	Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu	Relating Two Standard Notions of Secrecy.	CSL	2006	DBLP DOI BibTeX RDF
13	Daniel Sawitzki	Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms.	LATIN	2006	DBLP DOI BibTeX RDF
13	Weilei Zhang, Barbara G. Ryder	Constructing Accurate Application Call Graphs For Java To Model Library Callbacks.	SCAM	2006	DBLP DOI BibTeX RDF
13	Gordon J. Pace, Gerardo Schneider	Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.	FORMATS	2006	DBLP DOI BibTeX RDF
13	Peter Csaba Ölveczky, Marco Caccamo	Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.	FASE	2006	DBLP DOI BibTeX RDF
13	Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin	A classification of symbolic transition systems.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms
13	Toni Jussila, Keijo Heljanko, Ilkka Niemelä	BMC via on-the-fly determinization.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Verification, Labeled transition system, Bounded model checking
13	Ahmed Helmy, Saurabh Garg 0002, Nitin Nahata, Priyatham Pamu	CARD: A Contact-based Architecture for Resource Discovery in Wireless Ad Hoc Networks.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	sensor networks, routing, energy efficient
13	Matthew Hertz, Emery D. Berger	Quantifying the performance of garbage collection vs. explicit memory management.	OOPSLA	2005	DBLP DOI BibTeX RDF	explicit memory management, oracular memory management, performance analysis, throughput, garbage collection, paging, time-space tradeoff
13	Jirí Srba	Timed-Arc Petri Nets vs. Networks of Timed Automata.	ICATPN	2005	DBLP DOI BibTeX RDF
13	Rongjie Yan, Guangyuan Li, Zhisong Tang	Symbolic Model Checking of Finite Precision Timed Automata.	ICTAC	2005	DBLP DOI BibTeX RDF	Finite precision timed automata, model checking, symbolic methods
13	Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario	Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.	QEST	2005	DBLP DOI BibTeX RDF
13	Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen	Signaling P Systems and Verification Problems.	ICALP	2005	DBLP DOI BibTeX RDF
13	Jérôme Leroux, Grégoire Sutre	Flat Counter Automata Almost Everywhere!	ATVA	2005	DBLP DOI BibTeX RDF
13	Yang Yu 0009, Viktor K. Prasanna, Bo Hong	Communication Models for Algorithm Design in Networked Sensor Systems.	IPDPS	2005	DBLP DOI BibTeX RDF
13	Feng Wang 0017, Lixin Gao 0001, Jia Wang, Jian Qiu	On Understanding of Transient Interdomain Routing Failures.	ICNP	2005	DBLP DOI BibTeX RDF
13	Seong-il Hahm, Yongjae Jung, Seunghee Yi, Yukyoung Song, Ilyoung Chong, Kyungshik Lim	A Self-organized Authentication Architecture in Mobile Ad-Hoc Networks.	ICOIN	2005	DBLP DOI BibTeX RDF
13	Detlef Kähler, Ralf Küsters	Constraint Solving for Contract-Signing Protocols.	CONCUR	2005	DBLP DOI BibTeX RDF
13	Lorenzo Capra	Colored Petri Nets State-Space Reduction via Symbolic Execution.	SYNASC	2005	DBLP DOI BibTeX RDF	quotient graphs, symmetries, High-Level Petri Nets, linear constraints
13	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Shape Analysis by Predicate Abstraction.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Hans Hüttel, Jirí Srba	Recursion Versus Replication in Simple Cryptographic Protocols.	SOFSEM	2005	DBLP DOI BibTeX RDF
13	Pavel Krcál, Radek Pelánek	On Sampled Semantics of Timed Systems.	FSTTCS	2005	DBLP DOI BibTeX RDF
13	Hongzhi Wang 0001, Wei Wang 0011, Xuemin Lin 0001, Jianzhong Li 0001	Labeling Scheme and Structural Joins for Graph-Structured XML Data.	APWeb	2005	DBLP DOI BibTeX RDF
13	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	On Optimal Timed Strategies.	FORMATS	2005	DBLP DOI BibTeX RDF
13	Steven Noel, Sushil Jajodia	Understanding Complex Network Attack Graphs through Clustered Adjacency Matrices.	ACSAC	2005	DBLP DOI BibTeX RDF
13	Lilia Georgieva, Patrick Maier 0001	Description Logics for Shape Analysis.	SEFM	2005	DBLP DOI BibTeX RDF
13	Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma	Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	Rewriting, Confluence, Terms
13	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Covering sharing trees: a compact data structure for parameterized verification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems
13	Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh	Verification via Structure Simulation.	CAV	2004	DBLP DOI BibTeX RDF
13	Michael Köhler 0001, Heiko Rölke	Properties of Object Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
13	Pedro R. D'Argenio, Peter Niebert	Partial Order Reduction on Concurrent Probabilistic Programs.	QEST	2004	DBLP DOI BibTeX RDF
13	Andrew S. Miner	Saturation for a General Class of Models.	QEST	2004	DBLP DOI BibTeX RDF
13	Stefan Wöhrle, Wolfgang Thomas	Model Checking Synchronized Products of Infinite Transition Systems.	LICS	2004	DBLP DOI BibTeX RDF
13	Ashish Tiwari 0001, Gaurav Khanna 0001	Nonlinear Systems: Approximating Reach Sets.	HSCC	2004	DBLP DOI BibTeX RDF
13	Eugene Asarin, Thao Dang 0001	Abstraction by Projection and Application to Multi-affine Systems.	HSCC	2004	DBLP DOI BibTeX RDF
13	Kimmo Varpaaniemi	Stubborn Sets for Priority Nets.	ISCIS	2004	DBLP DOI BibTeX RDF
13	Yixin Jiang, Chuang Lin 0002, Hao Yin, Zhangxi Tan	Security analysis of mandatory access control model.	SMC (6)	2004	DBLP DOI BibTeX RDF
13	Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp	Optimal strategies for testing nondeterministic systems.	ISSTA	2004	DBLP DOI BibTeX RDF	optimal game strategies, probabilistic nondeterministic finite state machines, abstract state machines
13	Louise Burness, Philip Eardley, Jochen Eisl, Robert E. Hancock, Eleanor Hepworth, Andrej Mihailovic	Efficient Alternatives to Bi-directional Tunnelling for Moving Networks.	ICT	2004	DBLP DOI BibTeX RDF