The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for eventuality with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-2003 (15) 2004-2017 (15) 2018-2024 (14)
Publication types (Num. hits)
article(14) inproceedings(30)
Venues (Conferences, Journals, ...)
CoRR(7) ICALP(3) CAV(2) ACC(1) ACIS-ICIS(1) ADHS(1) AKBC(1) Algorithmica(1) ASIAN(1) CCC(1) CDC(1) CP(1) DISC(1) FIW(1) Formal Methods Syst. Des.(1) HSCC(1) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 27 keywords

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