Search - Fundamentals of Software Engineering

17 results

Contributor/author Internal identifier : 200187

	For these 17 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Improving Time Bounded Reachability Computations in Interactive Markov Chains Hassan Hatefi , Holger Hermanns 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.250-266, ⟨10.1007/978-3-642-40213-5_16⟩ Conference papers hal-01514669v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming I.T. Banu-Demergian , C.I. Paduraru , G. Stefanescu 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.183-198, ⟨10.1007/978-3-642-40213-5_12⟩ Conference papers hal-01514660v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Checking Compatibility of Web Services Behaviorally Kais Klai , Hanen Ochi 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.267-282, ⟨10.1007/978-3-642-40213-5_17⟩ Conference papers hal-01514668v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Compiling Cooperative Task Management to Continuations Keiko Nakata , Andri Saar 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.95-110, ⟨10.1007/978-3-642-40213-5_7⟩ Conference papers hal-01514661v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Validating SCTP Simultaneous Open Procedure Somsak Vanit-Anunchai 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.233-249, ⟨10.1007/978-3-642-40213-5_15⟩ Conference papers hal-01514670v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Fundamentals of Software Engineering Farhad Arbab , Marjan Sirjani Farhad Arbab; Marjan Sirjani. Springer Berlin Heidelberg, LNCS-8161, 2013, Lecture Notes in Computer Science, 978-3-642-40212-8. ⟨10.1007/978-3-642-40213-5⟩ Books hal-01514876v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On the Complexity of Adding Convergence Alex Klinkhamer , Ali Ebnenasir 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.17-33, ⟨10.1007/978-3-642-40213-5_2⟩ Conference papers hal-01514662v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks Luca Battisti , Damiano Macedonio , Massimo Merro 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.168-182, ⟨10.1007/978-3-642-40213-5_11⟩ Conference papers hal-01514659v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties Dimitris Vekris , Catalin Dima 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.133-149, ⟨10.1007/978-3-642-40213-5_9⟩ Conference papers hal-01514655v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On Efficiency Preorders Manish Gaur , S. Arun-Kumar 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.83-94, ⟨10.1007/978-3-642-40213-5_6⟩ Conference papers hal-01514657v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair Elham Ramezani , Natalia Sidorova , Christian Stahl 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.150-167, ⟨10.1007/978-3-642-40213-5_10⟩ Conference papers hal-01514666v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Delta Modeling and Model Checking of Product Families Hamideh Sabouri , Ramtin Khosravi 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.51-65, ⟨10.1007/978-3-642-40213-5_4⟩ Conference papers hal-01514656v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Push-Down Automata with Gap-Order Constraints Parosh Aziz Abdulla , Mohamed Faouzi Atig , Giorgio Delzanno , Andreas Podelski 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.199-216, ⟨10.1007/978-3-642-40213-5_13⟩ Conference papers hal-01514667v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Model Checking MANETs with Arbitrary Mobility Fatemeh Ghassemi , Saeide Ahmadi , Wan Fokkink , Ali Movaghar 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.217-232, ⟨10.1007/978-3-642-40213-5_14⟩ Conference papers hal-01514658v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Deadlock Checking by Data Race Detection Ka I Pun , Martin Steffen , Volker Stolz 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.34-50, ⟨10.1007/978-3-642-40213-5_3⟩ Conference papers hal-01514663v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Lending Petri Nets and Contracts Massimo Bartoletti , Tiziana Cimoli , G. Michele Pinna 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.66-82, ⟨10.1007/978-3-642-40213-5_5⟩ Conference papers hal-01514665v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Unbounded Allocation in Bounded Heaps Jurriaan Rot , Frank De Boer , Marcello Bonsangue 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩ Conference papers hal-01514664v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More