|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|