70 citations · 81 across the 3 of their papers we have counts for
3 papers
cs.HC2024★ 70 cited
ChatGPT in the classroom. Exploring its potential and limitations in a Functional Programming course
Dan-Matei Popovici
In November 2022, OpenAI has introduced ChatGPT, a chatbot based on supervised and reinforcement learning. Not only can it answer questions emulating human-like responses, but it c…
cs.NI2016★ 10 cited
SymNet: scalable symbolic execution for modern networks
Radu Stoenescu, Matei Popovici, Lorina Negreanu +1
We present SymNet, a network static analysis tool based on symbolic execution. SymNet quickly analyzes networks by injecting symbolic packets and tracing their path through the net…
cs.SE2012★ 1 cited
A Formal Approach for the Development of Service-Oriented Applications
Lorina Negreanu, Cristian Giumale, Alexandru Agache +3
Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Ap…