Research Challenges in Modelling Ecosystems von Cerone, Antonio, Scotti, Marco

Volltext

A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF von Mateo, José Antonio, Valero, Valentín, Macià, Hermenegilda, Díaz, Gregorio

Volltext

Scalable Verification of Markov Decision Processes von Legay, Axel, Sedwards, Sean, Traonouez, Louis-Marie

Volltext

Model-Based Verification of Safety Contracts von Gómez-Martínez, Elena, Rodríguez, Ricardo J., Elorza, Leire Etxeberria, Rezabal, Miren Illarramendi, Earle, Clara Benac

Volltext

A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics von Provan, Gregory

Volltext

Use of Mobile Phone Data to Estimate Visitors Mobility Flows von Gabrielli, Lorenzo, Furletti, Barbara, Giannotti, Fosca, Nanni, Mirco, Rinzivillo, Salvatore

Volltext

When a Formal Model Rhymes with a Graphical Notation von Idani, Akram, Stouls, Nicolas

Volltext

Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution von Ibing, Andreas

Volltext

An Approach for Creating Domain Specific Visualisations of CSP Models von Ladenberger, Lukas, Dobrikov, Ivaylo, Leuschel, Michael

Volltext

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems von Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio

Volltext

Using Z in the Development and Maintenance of Computational Models of Real-World Systems von Moeiniyan Bagheri, Shahrzad, Smith, Graeme, Hanan, Jim

Volltext

On Generation of Context-Abstract Plans von Mikulski, Łukasz, Niewiadomski, Artur, Piątkowski, Marcin, Smyczyński, Sebastian

Volltext

Modelling and Verification of Survivability Requirements for Critical Systems von Bernardi, Simona, Dranca, Lacramioara, Merseguer, José

Volltext

Evaluation aseptic loosening of primary hip arthroplasty von al-Abbudi, Hasan H., al-Idani, Muhammad Sh, al-Sudani, Farid K.

Volltext

Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Volltext

Scaphoid fracture non union treated by bone graft and plaster of paris cast splint von Majid, Ghadir H., al-Idani, Muhammad S.

Volltext

Quantitative Anonymity Evaluation of Voting Protocols von Biondi, Fabrizio, Legay, Axel

Volltext

Results of a multicenter study of 1,057 cases of rectal cancer treated by laparoscopic surgery von Miyajima, Nobuyoshi, Fukunaga, Masaki, Hasegawa, Hirotoshi, Tanaka, Jun-ichi, Okuda, Junji, Watanabe, Masahiko

Volltext

La Modernité et les Petits Poèmes en Prose de Baudelaire von M. AL Idani, Zouhair, Hussain, Mohammed

Volltext

Effect of some microelements and biological control agents in control of tomato seedling damping-off caused by rhizoctonia solani kuhn von Fayyd, Muhammad Amir, al-Idani, Mahir Abd al-Wahhab Nahi

Volltext