International Journal of Software and Informatics

Propositional Attitudes and Causation.

Konstantine Arkoudas, Selmer Bringsjord · 2009 · 41 citations

Humanities, Computer Science, Artificial Intelligence +16

Living Models - Ten Principles for Change-Driven Software Engineering.

Ruth Breu, Berthold Agreiter, Matthias Farwick et al. · 2011 · 31 citations

Computing, Computer Science, Requirements Engineering +11

Confidentiality Protection in Cloud Computing Systems.

Stephen S. Yau, Ho G. An · 2010 · 26 citations

Computing, Cloud Computing, Computer Science +14

Formal Verification of a Consensus Algorithm in the Heard-Of Model

Bernadette Charron-Bost, Stephan Merz · 2009 · 25 citations

Computing, Computer Engineering, Computer Science +15

Fault-Based Conformance Testing in Practice

Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa · 2009 · 21 citations

Engineering, Computer Engineering, Computer Science +12