| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernhard K. Aichernig, T. S. E. Maibaum (eds.) |
Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers  |
10th Anniversary Colloquium of UNU/IIST  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dines Bjørner |
"What Is an Infrastructure?" Towards an Informatics Answer. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
An Algebraic Approach to the VERILOG Programming. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Type Systems for Concurrent Programs. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare |
Towards the Verifying Compiler. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, P. S. Thiagarajan |
An Executable Specification Language Based on Message Sequence Charts. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George |
The Development of the RAISE Tools. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Bailes, Colin J. M. Kemp |
Formal Methods within a Totally Functional Approach to Programming. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi |
A Tool Architecture for the Next Generation of Uppaal. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig |
Contract-Based Testing. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zohar Manna, Calogero G. Zarba |
Combining Decision Procedures. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Chen, Huimin Lin |
Making Timed Automata Communicate. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
value-passing, timed symbolic transition graph, real-time, timed automata |
| 1 | Egidio Astesiano, Gianna Reggio, Maura Cerioli |
From Formal Techniques to Well-Founded Software Development Methods. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Multi-view Modeling of Software Systems. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen |
UNU and UNU/IIST. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Strother Moore |
A Grand Challenge Proposal for Formal Methods: A Verified Stack. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
simulation, modeling, model checking, theorem proving, software verification, hardware verification |
| 1 | Dang Van Hung |
Real-Time Systems Development with Duration Calculi: An Overview. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones |
A Formal Basis for Some Dependability Notions. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro |
Coordination Technologies for Just-in-Time Integration. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingxu Wang |
Real-Time Process Algebra and Its Applications. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification |
| 1 | Tomasz Janowski |
X2Rel: An XML Relation Language with Formal Semantics. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jackson |
Where, Exactly, Is Software Development? |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto |
Graph-Based Models of Internetworking Systems. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Kaltenbach, Jayadev Misra |
A Theory of Hints in Model Checking. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Douglas R. Smith |
Software Development by Refinement. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Natarajan Shankar |
Verification by Abstraction. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")