Concepedia

S. Visnovsky

SV

2

Publications

382

Citations

2

H-Index

2002

Active since

Affiliations

Charles University(Current)

Czech Academy of Sciences, Institute of Computer Science

S. Visnovsky is an author at Charles University specializing in formal verification, software engineering, and engineering.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal SpecificationSoftware Engineering

Publications per year

2002–2003

2

Publications

2

Behavior protocols for software components

František Plášil, S. Visnovsky · IEEE Transactions on Software Engineering · 2002 · 345 citations

Software Maintenance, Engineering, Verification +21

Bounding component behavior via protocols

František Plášil, S. Visnovsky, M. Besta · 2003 · 37 citations

Engineering, Software Engineering, Semantics +19

Rows per page

1–2 of 2