Search results for "eventuality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki	Eventuality in LOTOS with a Disjunction Operator.	ASIAN	1998	DBLP DOI BibTeX RDF
58	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	From liveness to promptness.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Verification, Temporal logic, Liveness
58	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	From Liveness to Promptness.	CAV	2007	DBLP DOI BibTeX RDF
52	Jonathan S. Ostroff	Deciding Properties of Timed Transition Models.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	parallel program design, timed transition models, finite-state TTM, system reachability graph, eventuality, real-time response specifications, real-time systems, formal specification, parallel programming, petri nets, invariance, decidability, programming theory, decision procedures, formal logic, precedence, real-time temporal logic
39	Lydie du Bousquet	Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required.	ICSEA	2006	DBLP DOI BibTeX RDF
39	Anatoli Degtyarev, Michael Fisher 0001	Towards First-Order Temporal Resolution.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
39	Parosh Aziz Abdulla, Bengt Jonsson 0001	Undecidable Verification Problems for Programs with Unreliable Channels.	ICALP	1994	DBLP DOI BibTeX RDF
33	Ichiro Suzuki, Harngdar Lu	Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	Temporal Petri nets, handshake daisy chain arbiter, temporal logic operations, temporal assertions, eventuality, modeling, Petri nets, fairness, analysis, timing constraints, formal logic, temporal relationships, causal relationships
30	Cheng Jiayang, Lin Qiu, Chunkit Chan, Xin Liu 0039, Yangqiu Song, Zheng Zhang	EventGround: Narrative Reasoning by Grounding to Eventuality-centric Knowledge Graphs.	CoRR	2024	DBLP DOI BibTeX RDF
30	Jiaxin Bai, Xin Liu, Weiqi Wang, Chen Luo 0003, Yangqiu Song	Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints.	CoRR	2023	DBLP DOI BibTeX RDF
30	Idit Keidar, Oded Naor, Ouri Poupko, Ehud Shapiro	Cordial Miners: Fast and Efficient Consensus for Every Eventuality.	DISC	2023	DBLP DOI BibTeX RDF
30	Jiaxin Bai, Xin Liu, Weiqi Wang, Chen Luo 0003, Yangqiu Song	Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints.	NeurIPS	2023	DBLP BibTeX RDF
30	Idit Keidar, Oded Naor, Ehud Shapiro	Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality.	CoRR	2022	DBLP DOI BibTeX RDF
30	Ya Wang, Cungen Cao, Zhiwen Chen 0007, Shi Wang	ECCKG: An Eventuality-Centric Commonsense Knowledge Graph.	KSEM (1)	2022	DBLP DOI BibTeX RDF
30	Changlong Yu, Hongming Zhang 0009, Yangqiu Song, Wilfred Ng, Lifeng Shang	Enriching Large-Scale Eventuality Knowledge Graph with Entailment Relations.	CoRR	2020	DBLP BibTeX RDF
30	Hongming Zhang 0009, Xin Liu 0039, Haojie Pan, Yangqiu Song, Cane Wing-Ki Leung	ASER: A Large-scale Eventuality Knowledge Graph.	WWW	2020	DBLP DOI BibTeX RDF
30	Changlong Yu, Hongming Zhang 0009, Yangqiu Song, Wilfred Ng, Lifeng Shang	Enriching Large-Scale Eventuality Knowledge Graph with Entailment Relations.	AKBC	2020	DBLP DOI BibTeX RDF
30	Hongming Zhang 0009, Xin Liu 0039, Haojie Pan, Yangqiu Song, Cane Wing-Ki Leung	ASER: A Large-scale Eventuality Knowledge Graph.	CoRR	2019	DBLP BibTeX RDF
30	Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong	Augmenting Stream Constraint Programming with Eventuality Conditions.	CoRR	2018	DBLP BibTeX RDF
30	Sahil Sholla, Roohie Naaz Mir, Mohammad Ahsan Chishti	Eventuality of an Apartheid State of Things: An Ethical Perspective on the Internet of Things.	Int. J. Technoethics	2018	DBLP DOI BibTeX RDF
30	Xiaoying Bai	Verification of Eventuality Properties for Discrete-time Affine Systems.	CDC	2018	DBLP DOI BibTeX RDF
30	Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong	Augmenting Stream Constraint Programming with Eventuality Conditions.	CP	2018	DBLP DOI BibTeX RDF
30	Babatunde Opeoluwa Akinkunmi	A Partitioning Algorithm for Detecting Eventuality Coincidence in Temporal Double recurrence.	CoRR	2017	DBLP BibTeX RDF
30	Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima 0001	Verifying eventuality properties of imprecise system requirements using event-B.	SAC	2015	DBLP DOI BibTeX RDF
30	Lydie du Bousquet, Olivier Gaudoin	Telephony Feature Validation against Eventuality Properties and Interaction Detection based on a Statistical Analysis of the Time to Service.	FIW	2005	DBLP BibTeX RDF
30	Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon	Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.	SLAP	2003	DBLP DOI BibTeX RDF
30	Anastasios Trontis, Michael P. Spathopoulos	Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems.	ADHS	2003	DBLP DOI BibTeX RDF
30	Hao Xia, Yan Pang, Anastasios Trontis, Michael P. Spathopoulos	Eventuality synthesis for controlled linear automata.	ACC	2002	DBLP DOI BibTeX RDF
30	A. Prasad Sistla, Lenore D. Zuck	On the Eventuality Operator in Temporal Logic	LICS	1987	DBLP BibTeX RDF
19	Pushpa Kumar, Nary Subramanian, Kang Zhang 0001	SaViT: Technique for Visualization of Digital Home Safety.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
19	Yuyue Du, Changjun Jiang, MengChu Zhou	A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
19	Akira Otaka, Tsuyoshi Takagi, Osamu Takahashi	Network Forensics on Mobile Ad-Hoc Networks.	KES (3)	2008	DBLP DOI BibTeX RDF	backward incidence, mobile ad hoc networks, security policy, network forensics
19	Guillaume Malod	The Complexity of Polynomials and Their Coefficient Functions.	CCC	2007	DBLP DOI BibTeX RDF
19	Randeep Bhatia, Murali S. Kodialam, T. V. Lakshman	Finding disjoint paths with related path costs.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF
19	Orna Kupferman, Yoad Lustig, Moshe Y. Vardi	On Locally Checkable Properties.	LPAR	2006	DBLP DOI BibTeX RDF
19	Chandra Chekuri, Anupam Gupta 0001, Amit Kumar 0001, Joseph Naor, Danny Raz	Building Edge-Failure Resilient Networks.	Algorithmica	2005	DBLP DOI BibTeX RDF	Backup path, Approximation algorithm, Network design, Restoration, Link failure
19	Stephen Prajna, Anders Rantzer	Primal-Dual Tests for Safety and Reachability.	HSCC	2005	DBLP DOI BibTeX RDF
19	E. V. Kouzmin, Nikolay V. Shilov 0002, Valery A. Sokolov	Model Checking mu-Calculus in Well-Structured Transition Systems.	TIME	2004	DBLP DOI BibTeX RDF
19	Nachum Dershowitz, Doddaballapur Narasimha-Murthy Jayasimha, Seungjoon Park	Bounded Fairness.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
19	Rajeev Alur, Kenneth L. McMillan, Doron A. Peled	Deciding Global Partial-Order Properties.	ICALP	1998	DBLP DOI BibTeX RDF
19	Stefan Schwendimann	A New One-Pass Tableau Calculus for PLTL.	TABLEAUX	1998	DBLP DOI BibTeX RDF
19	Dominique Méry, Abdelillah Mokkedem	Crocos: An Integrated Environment for Interactive Verification of SDL Specifications.	CAV	1992	DBLP DOI BibTeX RDF
19	Dominique Méry	A Proof System to Derive Evantually Properties Under Justice Hypothesis.	MFCS	1986	DBLP DOI BibTeX RDF
19	Zohar Manna, Amir Pnueli	The Modal Logic of Programs.	ICALP	1979	DBLP DOI BibTeX RDF