 | 2012 |
|---|
| 11 |       | Ahmed Bouajjani,
Cezara Dragoi,
Constantin Enea,
Mihaela Sighireanu:
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.
VMCAI 2012: 1-22 |
| 2011 |
|---|
| 10 | | Ahmed Bouajjani,
Cezara Dragoi,
Constantin Enea,
Mihaela Sighireanu:
On inter-procedural analysis of programs with lists and data.
PLDI 2011: 578-589 |
| 2010 |
|---|
| 9 | | Ahmed Bouajjani,
Cezara Dragoi,
Constantin Enea,
Ahmed Rezine,
Mihaela Sighireanu:
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.
CAV 2010: 72-88 |
| 2009 |
|---|
| 8 | | Ahmed Bouajjani,
Cezara Dragoi,
Constantin Enea,
Mihaela Sighireanu:
A Logic-Based Framework for Reasoning about Composite Data Structures.
CONCUR 2009: 178-195 |
| 7 | | Ahmed Bouajjani,
Cezara Dragoi,
Yan Jurski,
Mihaela Sighireanu:
Rewriting Systems over Nested Data Words.
MEMICS 2009 |
| 6 | | 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 5(2): (2009) |
| 2008 |
|---|
| 5 | | Cezara Dragoi,
Gheorghe Stefanescu:
On Compiling Structured Interactive Programs with Registers and Voices.
SOFSEM 2008: 259-270 |
| 4 | | Cezara Dragoi,
Gheorghe Stefanescu:
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
CoRR abs/0810.3332: (2008) |
| 3 | | Cezara Dragoi,
Gheorghe Stefanescu:
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System.
Electr. Notes Theor. Comput. Sci. 203(3): 69-94 (2008) |
| 2 | | Cezara Dragoi,
Florin Manea:
On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections.
Int. J. Found. Comput. Sci. 19(5): 1113-1132 (2008) |
| 2007 |
|---|
| 1 | | Cezara Dragoi,
Florin Manea,
Victor Mitrana:
Accepting Networks of Evolutionary Processors with Filtered Connections.
J. UCS 13(11): 1598-1614 (2007) |
Data released under the ODC-BY 1.0 license — See also our legal information page