If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 8 Similar Profiles
Semantics Engineering & Materials Science
Specifications Engineering & Materials Science
Rewriting Logic Mathematics
Monitoring Engineering & Materials Science
Temporal logic Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Maude Mathematics
Rewriting Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1997 2019

A complete formal semantics of x86-64 user-level instruction set architecture

Dasgupta, S., Park, D., Kasampalis, T., Adve, V. S. & Rosu, G., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 1133-1148 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Semantics
Testing

All-Path reachability logic

Ştefanescu, A., Ciobâcă, S., Mereuta, R., Moore, B. M., Rosu, G. & şerbănuţă, T. F., Jan 1 2019, In : Logical Methods in Computer Science. 15, 2, p. 5:1-5:23

Research output: Contribution to journalArticle

Reachability
Proof System
Semantics
Logic
Path

Dealing with C's Original Sin

Hathhorn, C. & Rosu, G., Sep 1 2019, In : IEEE Software. 36, 5, p. 24-28 5 p., 8802866.

Research output: Contribution to journalArticle

UNIX
Computer operating systems

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., Feb 6 2019, In : International Journal on Software Tools for Technology Transfer. 21, 1, p. 31-70 40 p.

Research output: Contribution to journalArticle

Monitoring
Satellites

Matching μ-Logic

Chen, X. & Rosu, G., Jun 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. Institute of Electrical and Electronics Engineers Inc., 8785675. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Computer programming languages
Acoustic waves
Logic
Pattern matching