default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTraian-Florin Serbanuta
Person information
- affiliation: University of Bucharest, Romania
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c32]Jan Tusil, Traian Serbanuta, Jan Obdrzálek:
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. LPAR 2023: 405-456- [c31]Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir:
Asynchronous Muddy Children Puzzle (work in progress). FROM 2023: 152-166 - 2022
- [i4]Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay:
VLSM: Validating Labelled State Transition and Message Production Systems. CoRR abs/2202.12662 (2022) - 2021
- [j12]Ioana Leustean
, Natalia Moanga, Traian-Florin Serbanuta:
Many-sorted hybrid modal languages. J. Log. Algebraic Methods Program. 120: 100644 (2021) - 2020
- [j11]Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta:
A Many-sorted Polyadic Modal Logic. Fundam. Informaticae 173(2-3): 191-215 (2020) - [c30]Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu:
Formalizing Correct-by-Construction Casper in Coq. IEEE ICBC 2020: 1-3 - [i3]Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta:
Many-Sorted Hybrid Modal Languages. CoRR abs/2007.01709 (2020)
2010 – 2019
- 2019
- [j10]Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu:
All-Path Reachability Logic. Log. Methods Comput. Sci. 15(2) (2019) - [c29]Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu:
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. FM 2019: 593-610 - [c28]Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta:
Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. TABLEAUX 2019: 446-476 - [c27]Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta:
From Hybrid Modal Logic to Matching Logic and back. FROM 2019: 16-31 - [i2]Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta:
Operational semantics and program verification using many-sorted hybrid modal logic. CoRR abs/1905.05036 (2019) - 2018
- [i1]Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu:
All-Path Reachability Logic. CoRR abs/1810.10826 (2018) - 2016
- [j9]Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu:
Language definitions as rewrite theories. J. Log. Algebraic Methods Program. 85(1): 98-120 (2016) - [c26]Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu:
Towards a \mathbb K K ool Future. Theory and Practice of Formal Methods 2016: 325-343 - [c25]Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu:
Runtime Verification at Work: A Tutorial. RV 2016: 46-67 - [c24]Traian-Florin Serbanuta, Liviu P. Dinu:
Maximally Parallel Contextual String Rewriting. WRLA 2016: 152-166 - 2015
- [c23]Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu:
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV 2015: 342-357 - 2014
- [j8]Regina Frei, Traian-Florin Serbanuta, Giovanna Di Marzo Serugendo:
Self-organising assembly systems formally specified in Maude. J. Ambient Intell. Humaniz. Comput. 5(4): 491-510 (2014) - [c22]Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu:
All-Path Reachability Logic. RTA-TLCA 2014: 425-440 - [c21]Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu:
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. RV 2014: 285-300 - [c20]Claudia Elena Chirita, Traian-Florin Serbanuta:
An Institutional Foundation for the K Semantic Framework. WADT 2014: 9-29 - [c19]Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu:
Language Definitions as Rewrite Theories. WRLA 2014: 97-112 - 2012
- [c18]David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu:
Executing Formal Semantics with the K Tool. FM 2012: 267-271 - [c17]Traian-Florin Serbanuta, Grigore Rosu:
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations. ICGT 2012: 294-310 - [c16]Traian-Florin Serbanuta, Feng Chen, Grigore Rosu:
Maximal Causal Models for Sequentially Consistent Systems. RV 2012: 136-150 - [c15]Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu:
K Framework Distilled. WRLA 2012: 31-53 - [c14]Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu:
Making Maude Definitions More Interactive. WRLA 2012: 83-98 - 2011
- [c13]Grigore Rosu, Traian-Florin Serbanuta:
K Overview and SIMPLE Case Study. K 2011: 3-56 - [c12]Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu:
The K Primer (version 3.3). K 2011: 57-80 - [c11]Traian-Florin Serbanuta:
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language. K 2011: 167-182 - 2010
- [b1]Traian Serbanuta:
A rewriting approach to concurrent programming language design and semantics. University of Illinois Urbana-Champaign, USA, 2010 - [j7]Regina Frei, Giovanna Di Marzo Serugendo, Traian-Florin Serbanuta:
Ambient intelligence in self-organising assembly systems using the chemical reaction model. J. Ambient Intell. Humaniz. Comput. 1(3): 163-184 (2010) - [j6]Camelia Chira, Traian-Florin Serbanuta, Gheorghe Stefanescu:
P systems with control nuclei: The concept. J. Log. Algebraic Methods Program. 79(6): 326-333 (2010) - [j5]Grigore Rosu, Traian-Florin Serbanuta:
An overview of the K semantic framework. J. Log. Algebraic Methods Program. 79(6): 397-434 (2010) - [c10]Traian-Florin Serbanuta, Grigore Rosu:
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. WRLA 2010: 104-122
2000 – 2009
- 2009
- [j4]Traian-Florin Serbanuta, Grigore Rosu, José Meseguer:
A rewriting logic approach to operational semantics. Inf. Comput. 207(2): 305-340 (2009) - [j3]Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu:
A semantic approach to interpolation. Theor. Comput. Sci. 410(12-13): 1109-1128 (2009) - [c9]Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta:
Runtime Verification of C Memory Safety. RV 2009: 132-151 - 2008
- [c8]Feng Chen, Traian-Florin Serbanuta, Grigore Rosu:
jPredictor: a predictive runtime analysis tool for java. ICSE 2008: 221-230 - [c7]Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu:
Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing 2008: 374-393 - [c6]Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu:
A Rewriting Logic Approach to Type Inference. WADT 2008: 135-151 - 2007
- [c5]Traian-Florin Serbanuta, Grigore Rosu, José Meseguer:
A Rewriting Logic Approach to Operational Semantics (Extended Abstract). SOS@LICS/ICALP 2007: 125-141 - 2006
- [j2]Virgil Nicolae Serbanuta, Traian-Florin Serbanuta:
Injectivity of the Parikh Matrix Mappings Revisited. Fundam. Informaticae 73(1-2): 265-283 (2006) - [c4]Andrei Popescu, Traian Serbanuta, Grigore Rosu:
A Semantic Approach to Interpolation. FoSSaCS 2006: 307-321 - [c3]Traian-Florin Serbanuta, Grigore Rosu:
Computationally Equivalent Elimination of Conditions. RTA 2006: 19-34 - [c2]Mark Hills, Traian Serbanuta, Grigore Rosu:
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. WRLA 2006: 215-231 - [c1]Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta:
Rewriting Logic Systems. WRLA 2006: 233-247 - 2004
- [j1]Traian-Florin Serbanuta:
Extending Parikh matrices. Theor. Comput. Sci. 310(1-3): 233-246 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
