The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

International Conference on Engineering of Complex Computer Systems (iceccs)
2007 (conf/iceccs/2007)

  1. Leo Freitas, Zheng Fu, Jim Woodcock
    POSIX file store in Z/Eves: an experiment in the verified software repository. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:3-14 [Conf]
  2. John M. Rushby
    Just-in-Time Certification. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:15-24 [Conf]
  3. Petra Malik, Robi Malik, David Streader, Steve Reeves
    Modular Synthesis of Discrete Controllers. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:25-34 [Conf]
  4. Anton Wijs
    Achieving Discrete Relative Timing with Untimed Process Algebra. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:35-46 [Conf]
  5. Huaikou Miao, Hongwei Zeng
    Model Checking-based Verification of Web Application. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:47-55 [Conf]
  6. Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano
    A light-weight static approach to analyzing UML behavioral properties. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:56-63 [Conf]
  7. Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
    A Formal Model for Compensable Transactions. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:64-73 [Conf]
  8. Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun
    A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:74-86 [Conf]
  9. Paul A. Strooper, Margaret A. Wojcicki
    Selecting V&V Technology Combinations: How to Pick a Winner? [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:87-96 [Conf]
  10. Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers
    A Novel Approach to the Detection of Cheating in Multiplayer Online Games. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:97-106 [Conf]
  11. Lindsay Groves
    Reasoning about Nonblocking Concurrency using Reduction. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:107-116 [Conf]
  12. Tim McComb, Luke Wildman
    A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:117-128 [Conf]
  13. Jeongkyu Park, Jiung Han, Kibong Kang, Keung Hae Lee
    The Registry for Sensor Network Discovery. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:129-137 [Conf]
  14. Simon Connelly, Peter A. Lindsay, Marcus Gallagher
    An agent based approach to examining shared situation awareness. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:138-147 [Conf]
  15. Weishan Zhang, Thomas Kunz, Klaus Marius Hansen
    Product Line Enabled Intelligent Mobile Middleware. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:148-160 [Conf]
  16. Wolfram Schulte
    Pex - An Intelligent Assistant for Rigorous Developer Testing. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:161- [Conf]
  17. Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang
    Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:165-174 [Conf]
  18. Jens Dietrich, John G. Hosking, Jonathan Giles
    A Formal Contract Language for Plugin-based Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:175-184 [Conf]
  19. Shengchao Qin, Guanhua He
    Linking Object-Z with Spec#. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:185-196 [Conf]
  20. Urjaswala Vora
    Architectural Design Methodologies for Complex Evolving Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:197-206 [Conf]
  21. Tien Nguyen
    EmVC: Managing Changes and Configurations in Designs of Complex, Embedded Computing Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:207-216 [Conf]
  22. Thomas Panas, Thomas Epperly, Daniel J. Quinlan, Andreas Sæbjørnsen, Richard W. Vuduc
    Communicating Software Architecture using a Unified Single-View Visualization. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:217-228 [Conf]
  23. Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron J. Quigley
    A first approach to the closed-form specification and analysis of an autonomic control system. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:229-237 [Conf]
  24. Roy Sterritt, Sarah Eowyn, Patricia O'Hagan, Edward Hanna
    The Imminent Complexity Quagmire in Pervasive Computing - Autonomic Agents a Solution? [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:238-250 [Conf]
  25. Andrew Butterfield, Jim Woodcock
    Formalising Flash Memory: First Steps. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:251-260 [Conf]
  26. Joseph Kiniry
    Formally Counting Electronic Votes (But Still Only Trusting Paper). [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:261-269 [Conf]
  27. John M. Rushby
    What Use is Verified Software? [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:270-276 [Conf]
  28. Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
    A Refinement Driven Component-Based Design. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:277-289 [Conf]
  29. Leo Freitas, Konstantinos Mokos, Jim Woodcock
    Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:290-298 [Conf]
  30. Wolfram Schulte
    Experiments in Verifying Low Level Concurrent C Code. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:299- [Conf]
  31. Cliff B. Jones, Ken G. Pierce
    What Can the pi-calculus Tell Us About the Mondex Purse System? [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:300-306 [Conf]
  32. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
    Automated Verification of Shape, Size and Bag Properties. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:307-320 [Conf]
  33. María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán
    On-the-fly model checking for C programs with extended CADP in FMICS-jETI. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:321-329 [Conf]
  34. Jiri Barnat, Lubos Brim, Martin Leucker
    Parallel Model Checking and the FMICS-jETI Platform. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:330-339 [Conf]
  35. Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
    The LearnLib in FMICS-jETI. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:340-352 [Conf]
  36. Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber
    Managing Complexity of Automotive Electronics Using the EAST-ADL. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:353-358 [Conf]
  37. Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard
    MARTE: Also an UML Profile for Modeling AADL Applications. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:359-364 [Conf]
  38. Peter H. Feiler, Dio de Niz, Chris Raistrick, Bruce A. Lewis
    From PIMs to PSMs. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:365-370 [Conf]
  39. Isabelle Perseil, Laurent Pautet
    A Co-Modeling Methodology Designed for RT Architecture Models Integration. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:371-376 [Conf]
  40. Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas
    The AADL behaviour annex - experiments and roadmap. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:377-382 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002