|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 5 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rodica Bozianu, Catalin Dima, Constantin Enea |
Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Catalin Dima, Constantin Enea |
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. |
Journal of Applied Non-Classical Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
On inter-procedural analysis of programs with lists and data. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalin Dima, Constantin Enea, Dimitar P. Guelev |
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu |
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
A Logic-Based Framework for Reasoning about Composite Data Structures. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Catalin V. Birjoveanu, Constantin Enea, Ioana Boureanu |
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantin Enea |
Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
equational abstraction, CEGAR, verification, refinement |
| 1 | Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia |
Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantin Enea, Catalin Dima |
Abstractions of Multi-agent Systems. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Constantin Enea |
Abstractions of data types. |
Acta Inf. |
2006 |
DBLP DOI BibTeX RDF |
Verification, Abstraction, Data type, Universal algebra |
| 1 | Constantin Enea |
Unifying Decidability Results on Protection Systems Using Simulations. |
Formal Aspects in Security and Trust |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu |
Decidability and Complexity Results for Security Protocols. |
VISSAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea |
SE-Systems, Timing Mechanisms, and Time-Varying Codes. |
Int. J. Comput. Math. |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")