Towards formally validated crystallographic software von Gražulis, S., Merkys, A., Vaitkus, A., Petrauskas, K., Laibinis, L.

Volltext

Formal reasoning about resilient goal-oriented multi-agent systems von Laibinis, L., Pereverzeva, I., Troubitsyna, E.

Volltext

Refinement of Fault Tolerant Control Systems in B von Laibinis, Linas, Troubitsyna, Elena

Volltext

Formal Development of Reactive Fault Tolerant Systems von Laibinis, Linas, Troubitsyna, Elena

Volltext

Derivation and Formal Verification of a Mode Logic for Layered Control Systems von Prokhorova, Y., Laibinis, L., Troubitsyna, E., Varpaaniemi, K., Latvala, T.

Volltext

Formal Model-Driven Development of Communicating Systems von Laibinis, Linas, Troubitsyna, Elena, Leppänen, Sari, Lilius, Johan, Malik, Qaisar

Volltext

Fault tolerance in a layered architecture: a general specification pattern in B von Laibinis, L., Troubitsyna, E.

Volltext bestellen

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems von Iliasov, A., Romanovsky, A., Budi Arief, Laibinis, L., Troubitsyna, E.

Volltext

Formal Development of Critical Multi-agent Systems: A Refinement Approach von Pereverzeva, I., Troubitsyna, E., Laibinis, L.

Volltext bestellen

Augmenting Event-B modelling with real-time verification von Iliasov, A., Romanovsky, A., Laibinis, L., Troubitsyna, E., Latvala, T.

Volltext bestellen

Developing Components in the Presence of Re-entrance von Mikhajlov, Leonid, Laibinis, Linas, Sekerinski, Emil

Volltext

Functional Procedures in Higher-Order Logic von Laibinis, Linas, von Wright, Joakim

Volltext

Scenario-Based Test Case Generation Using Event-B Models von Malik, Q.A., Lilius, J., Laibinis, L.

Volltext bestellen

A Framework for Open Distributed System Design von Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.

Volltext

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols von Ilic, D., Troubitsyna, E., Laibinis, L., Leppanen, S.

Volltext bestellen

Bilayer Surfactant Stabilized Magnetic Fluids:  Synthesis and Interactions at Interfaces von Shen, Lifen, Laibinis, Paul E, Hatton, T. Alan

Volltext

Genetic determinants facilitating the evolution of resistance to carbapenem antibiotics von Ma, Peijun, He, Lorrie L, Pironti, Alejandro, Laibinis, Hannah H, Ernst, Christoph M, Manson, Abigail L, Bhattacharyya, Roby P, Earl, Ashlee M, Livny, Jonathan, Hung, Deborah T

Volltext

Effect of DNA-Induced Corrosion on Passivated Porous Silicon Biosensors von Zhao, Yiliang, Lawrie, Jenifer L, Beavers, Kelsey R, Laibinis, Paul E, Weiss, Sharon M

Volltext

Surface-Enhanced Raman Spectroscopy of Aromatic Thiols and Disulfides on Gold Electrodes von Szafranski, Cory A, Tanner, Weslene, Laibinis, Paul E, Garrell, Robin L

Volltext

Comparative Kinetic Analysis of Closed-Ended and Open-Ended Porous Sensors von Zhao, Yiliang, Gaur, Girija, Mernaugh, Raymond L., Laibinis, Paul E., Weiss, Sharon M.

Volltext