Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Roberto M. Negrini

dblp:22/1610 · DBLP profile ↗
← Back
5ranked-venue papers
2as first author
0since 2021 · last 1988
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 4 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 77% Software testing · 23%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
static analysis
0.011983
Some Properties Derived from Structural Analysis of Program Graph Models · IEEE Trans. Software Eng. 1983
Software testing › software validation
acceptance testing
0.011983
Some Properties Derived from Structural Analysis of Program Graph Models · IEEE Trans. Software Eng. 1983

Methods — techniques the papers use, named apart from their topics

structural analysis · 0.0control flow analysis · 0.0
YearPublicationVenuePosition
1988 Microelectronics: Fault tolerance and reliability
Roberto M. Negrini
Microprocess. Microprogramming1
1987 Systolic arrays for serial signal processing
Otello Bruschi, Roberto M. Negrini, Stefano Ravaglia
Microprocessing and Microprogramming2
1986 An approach to fault-tolerance in architectures for discrete fourier transforms
Anna Antola, Roberto M. Negrini, Nello Scarabottolo
Microprocessing and Microprogramming2
1983 Some Properties Derived from Structural Analysis of Program Graph Models
abstract
It is considered interesting to identify, from the structure of control flow and of relationships among variables in a program, some properties allowing to point out possible sources of errors or of faulty behavior. In particular, it is found that information about termination of loops and about meaningfulness of acceptance tests in recopery block strategy can be extracted from such structural analysis. Criteria for applying this analysis to programs with arbitrary structures are presented.
Roberto M. Negrini, Mariagiovanna Sami
IEEE Trans. Software Eng.1
1977 Some implementations at the microcomputer laboratory of politecnico di Milano
Lorenzo Mezzalira, Roberto M. Negrini
Euromicro Newsletter2